Proposals for Master's projects (Examensarbete)

If you are interested in performing a Master's project (sv. examensarbete) in the area of Program Analysis and Verification, please contact me at: dilian at csc.kth.se.

I am currently interested in supervising Master's projects on the following topics:

Comparing program models and logics for verification of temporal properties
A product construction for efficient computation of maximal flow graphs
A pushdown automata model checker for the mu-calculus

Prospective Master's students are also invited to propose a project of their own in the area of Program Analysis and Verification.

Last modified: 3 February 2012