Computing Science Division
Chalmers University of Technology
EDIT building | Floor 6V Office 6112
412 96 Gothenburg, Sweden
amir.ahmadian at chalmers.se
I am a postdoctoral researcher at the Computer Science and Engineering Department at Chalmers University of Technology. I have received my Ph.D. from KTH Royal Institute of Technology in 2025 under the supervision of Musard Balliu.
My research interests are centered around the the theoretical foundations of computer security, specifically on the intersection of formal methods, software security, and programming languages.
For further information, please visit my personal website.