Amirmahmood Ahmadian

I'm a PhD student in the Theoretical Computer Science (TCS) Division, working under the supervision of Musard Balliu and Dilian Gurov.

My main research interests include Information Security, Formal Methods, and Software Engineering. Right now, my research is mostly focused on Language-Based Security, Dynamic Policies and Information Flow Security.