I'm a PhD student in the Theoretical Computer Science group (TCS) at the School of Computer Science and Communication at Royal Institute of Technology (KTH) in Stockholm, Sweden. My research interests lie at the intersection of formal methods and computer security. Specifically, I am interested in Operating System security, formal modeling and verification of systems, virtualization technology, interactive theorem proving and machine code analysis. My advisor is Prof. Mads Dam.

University of KTH, Lindstedtsvägen 3, level 5,room 4540 SE- 100 44 Stockholm, Sweden
Tel: --
Fax: +46- 8- 790 09 30
hnnemati [at]kth[dot]se
Skype name: hnnemati