Narges Khakpour

Senior lecturer
Department of computer science and media technology Faculty of Technology
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)