Narges Khakpour

Senior lecturer
Department of Computer Science Faculty of Technology
+46 470 70 87 04
Hus B 3012
Save contact

I am a Senior Lecturer (Tenured Assistant Professor) with Department of Computer Science, Linnaeus University. 

My research interest lies on formal verification and synthesis, interactive theorem proving and security. In particular, I've focused on synthesis and verification of self-protecting systems and machine code verification.


Article in journal (Refereed)

Conference paper (Refereed)

Chapter in book (Refereed)

Report (Other academic)