About me
My name is Amir M. Ahmadian, and I am a postdoctoral researcher at the Safe and Trustworthy Autonomous Reasoning lab (STARlab) at Chalmers University of Technology, working with Hazem Torfah.
I received my Ph.D. from KTH Royal Institute of Technology under the supervision of Musard Balliu.
Prior to KTH, I earned an M.Sc. in Information Security from Amirkabir University of Technology.
Research Interests
My research is centered around the the theoretical foundations of computer security, specifically on the intersection of formal methods, software security, and programming languages.
More specifically, my research interests are:
- Information flow control
- Language-based security
- Formal methods
- Software security