Narges Khakpour

Senior lecturer
Department of Computer Science and Media Technology Faculty of Technology
+46470708704
Save contact

I am a Senior Lecturer (Tenured Assistant Professor) at the Department of Computer Science and Media Technology, Linnaeus University. 

Research

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.

Publications

Article in journal (Refereed)

Conference paper (Refereed)

Chapter in book (Refereed)

Report (Other academic)