Hamed Nemati

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 concern different aspects of computer security mainly employing Virtualization Technology to secure commodity operating systems, interactive theorem proving and machine code verification. My advisor is Prof. Mads Dam .


Contact Information

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