The Language-Based Security cluster focuses on applying programming-language-based techniques to enhance the safety and security of software.
How to Join
You can join the cluster by registering through this form. (It only takes a few clicks!)
We also recommend joining the #ctc_language-based_security channel on Slack, since that’s where most of the planning and communication happens.
If you’re not in the WASP Slack workspace yet, or if you have any questions, please contact the cluster leader (see details below).
Cluster Activities
We plan to hold monthly meetings over Zoom, including paper readings and research presentations. These will be organized and announced on the Slack channel, so make sure to join there!
- None yet.
Current Members
Below is a (non-exhaustive) list of the cluster's current members. Please contact the cluster leader if you'd like to be added (or removed from) here.
| Research interests | Language-based security, Functional programming, Choreographic programming |
| Affiliation | Chalmers University of Technology |
| Main Supervisor | Alejandro Russo |
