Presentation

Dean

Ulf Nilsson is the Dean of the Institute of Technology at Linköping University and a professor of Computer Science. He has been leading the Institute of Technology since 2011. Previously he served as Deputy Head of the Department of Computer and Information Science (1998-2011), Deputy Dean at the Institute of Technology (2004-2011) and Deputy Vice-Chancellor (2011).

Dean Nilsson began his academic career with a Master of Engineering degree in Computer Science (Linköping, 1986), followed by a Doctorate in Computer Science (Linköping, 1992, Thesis titled: ”Abstract Interpretations & Abstract Machines : Contributions to a Methodology for the Implementation of Logic Programs”) and post-doctorate work at the State University of New York, Stony Brook. He has been a recurring guest researcher at École normale supérieure de Cachan in Paris and been rewarded with The Royal Swedish Academy of Engineering Sciences's Chester Carlson award. His research interests are in the fields of computational logic and formal modeling/verification.

Dean Nilsson's home page at the Department of Computer and Information Science