Flemming Nielson

If you are a student you are probably interested in the courses taught by the LBT section and in our project proposals.

If you have an idea for a project within my area of interests please contact me; ideas might include the modelling and analysis of service oriented systems including software security.

I have taught courses on a variety of topics at the BSc-, MSc- and PhD-level: Automata Theory, Principles of Programming Languages, Semantics, Principles of Program Analysis, Abstract Interpretation, Program Transformations, Functional Languages, Safety and Security of Systems, and Stochastic Models and Logics.
I have also taught several international PhD-courses on Operational Semantics, Principles of Program Analysis, Foundations on Security Analysis and Design, and Analysis Methods for Global Computing.
I have supervised students at the BSc-, MSc- and PhD-levels and has served as an external examiner at the MSc- and PhD-levels. I am currently supervising the PhD-students Nataliya Skrypnyuk, Fan Yang and Ye Zhang and is co-supervising the PhD-students Christoffer Rosenkilde Nielsen and Ender Yuksel.