Amirmahmood Ahmadian
DOCTORAL STUDENT
Kungliga Tekniska Högskolanhttps://www.kth.se/profile/ahmadia
Details
Works for
Address
LINDSTEDTSVÄGEN 5, PLAN 5
E-mail
Room
About me
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.
Courses
Applied Cryptography (DD2520), assistant | Course web
Computer Security (DD2395), assistant | Course web
Cybersecurity Project (DD2394), assistant | Course web
Language-Based Security (DD2525), assistant | Course web
Programming Techniques (DD1310), assistant | Course web
Software Engineering (DD1385), assistant | Course web