Student Projects

I am looking for outstanding students who would like to do a thesis project (exjobb) in the area of formal methods. Please take a look at current project ideas below. Contact me if this appeals to you! I will be happy to discuss how these project outlines can be turned into full proposals.
Last modified: 2023-11-06 Home Valid HTML 4.01 Transitional Valid CSS