Unifying Correctness for Communicating Software

Alen Arslanagić

PhD student

I am interested in programming languages, particularly static verification and analysis techniques such as type systems.