|
Professor dr.scient.
Flemming Nielson
I have been serving as Head of Computer Science and
Engineering from January 2002 to December 2006.
From January 2007 I am doing research and teaching as
part of the Language Based Technology group. My main interests are modelling and validating safe and secure
IT-systems; in particular program analysis, software security, and
process algebras for concurrency and mobility.
E-mail:
nielson(at)imm.dtu.dk
|