Researcher in Computer Science at MPI-SWS, formerly Marie Curie fellow at Imperial College. Verification, concurrency, looking at things from different angles. Music enthusiast.
Researcher in Computer Science at MPI-SWS, formerly Marie Curie fellow at Imperial College. Verification, concurrency, looking at things from different angles. Music enthusiast.
Joined Dec 2022
A Mastodon instance for programming language theorists and mathematicians. Or just anyone who wants to hang out.