Professor emeritus in computer science

Ulf Nilsson became Professor emeritus 2022 after being Professor in Computer Science for almost 20 years at the Department of Computer and Information Science.

Professor emeritus Ulf Nilsson began his academic career with a Master of Engineering degree in Computer Engineering (Linköping, 1986), followed by a Ph.D. 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 Stony Brook University, New York. 

He has been guest researcher on multiple occasions at École Normale Supérieure de Cachan in Paris and has been awarded The Royal Swedish Academy of Engineering Sciences's Chester Carlson Award. His research is mainly in the fields of computational logic and formal modeling/verification.

Ulf Nilsson was Dean of the Institute of Technology 2011-2020. Prior to that he served as Deputy Head of the Department of Computer and Information Science (1998-2004), Deputy Dean at the Institute of Technology (2004-2010) and Deputy Vice-Chancellor (2011).

He has been chairman of the board of the National Supercomputing Center (NSC) since 2010, and board member of WASP (Wallenberg AI, Autonomous Systems and Software Program) since 2015. 

WASP

NSC

Publications Show/Hide content

2008

2005

2004

About the Division Artificial Intelligence and Integrated Computer Systems (AIICS) Show/Hide content

Colleagues at AIICS Show/Hide content

About the Department of Computer and Information Science (IDA) Show/Hide content