Narges Khakpour

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

Teaching

I have been the course coordinator of the master thesis course (5DV50E and 4DV50E) from 2015 until 2018. I had the pleasure to work with students and help them choose and formulate a scientific topic, prepare a project plan and guide them through a procedure designed to assure good quality master thesis reports.  

In Spring 2018, I taught a course on Software Safety Verification. This course discusses model checking techniques in addition to program verification using Hoar Logic. The students used Dafny to develop and verify safe programs and UPPAAL to verify models.

I am the course coordinator of Language and Logic course. 

I was also involved in Scientific Methods in Computer Science (Fall 2016, Fall 2017), Algorithms and Advanced Data Structure (Fall 2015), Compiler Construction I (Fall 2015) and Operating Systems (Fall 2014).

Research

My research interests lie in 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.

In the context of PROSSES, we are working on developing scalable tools and techniques to control information flow in Java (Android) applications. Self-protection using information flow control, self-adaptive software design techniques, security modeling and verification is another direction that we have recently focused on.

I am currently supervising two PhD students in addition to a few master/bachelor students.