Ulf Nilsson

Professor emeritus

Har varit professor emeritus sedan 2022 efter att ha varit professor i datavetenskap i nästan 20 år vid institutionen för datavetenskap.

Professor emeritus i datavetenskap

Ulf Nilsson blev professor emeritus 2022 efter att ha varit professor i datavetenskap i nästan 20 år vid institutionen för data- och informationsvetenskap.

Professor Ulf Nilsson, född 1961, började sin akademiska bana som civilingenjörsstudent i datateknik vid Linköpings universitet. Han tog examen 1986 och påbörjade därpå doktorandstudier inom teoretisk datalogi vid Institutionen för datavetenskap (IDA), även det vid Linköpings universitet.

1992 erhöll han doktorsexamen med sin avhandling ”Abstract Interpretations & Abstract Machines: Contributions to a Methodology for the Implementation of Logic Programs” som belönades med Ingenjörsvetenskapsakademiens Chester Carlsonpris. Han gjorde sin post-doc vid SUNY, Stony Brook och återvände därefter till Linköpings universitet och Institutionen för datavetenskap. Han har gästforskat i flera omgångar vid École normale supérieure de Cachan i Paris.

Ulf Nilsson utnämndes till proprefekt vid IDA 1998, professor 2003, prodekan 2004 och prorektor 2011. Från juli 2011 till den 31 december 2020 var han dekan vid Tekniska högskolan vid Linköpings universitet. Han blev professor emeritus 2022.

Publikationer

2025

Yiran Wang, Willem Meijer, Jose Antonio Hernandez Lopez, Ulf Nilsson, Daniel Varro (2025)

Why Do Machine Learning Notebooks Crash? An Empirical Study on Public Python Jupyter Notebooks IEEE Transactions on Software Engineering, Vol. 51, s. 2181-2196 (Artikel i tidskrift)

https://dx.doi.org/10.1109/TSE.2025.3574500

2024

Yiran Wang, José Antonio Hernández López, Ulf Nilsson, Daniel Varro (2024)

Using Run-Time Information to Enhance Static Analysis of Machine Learning Code in Notebooks COMPANION PROCEEDINGS OF THE 32ND ACM INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, FSE COMPANION 2024, s. 497-501 (Konferensbidrag)

https://dx.doi.org/10.1145/3663529.3663785

2008

Pär Emanuelsson, Ulf Nilsson (2008)

A Comparative Study of Industrial Static Analysis Tools (extended version) (Rapport)

Pär Emanuelsson, Ulf Nilsson (2008)

A Comparative Study of Industrial Static Analysis Tools Electronic Notes in Theoretical Computer Science, Vol. 217 (Artikel i tidskrift)

https://dx.doi.org/10.1016/j.entcs.2008.06.039

2005

Karolina Andersson, Eva Lindblad, Karin Mårdsjö Blume, Ulf Nilsson, Anette Philipsson, Maria Sundkvist (2005)

Livet som doktorand vid Linköpings universitet: Resultat från en enkätundersökning våren 2004 (Rapport)

Om avdelningen

Robothunden Spot överlämnar en första hjälpen väska till en knäböjande man

Artificiell intelligens och integrerade datorsystem (AIICS)

Verksamheten vid avdelningen AIICS, Institutionen för datavetenskap, är fokuserad på forskning och undervisning inom artificiell intelligens, dess teoretiska grunder och dess tillämpningar.

Kollegor vid AIICS