Giuseppe Spallitta, PhD graduate from the Department of Information Engineering and Computer Science at the University of Trento, Italy, won the fourth edition of the Informatics Europe 2026 Best Dissertation Award (BDA) with his thesis titled “Efficient and Effective Model Enumeration in SAT and SMT: Investigating Novel Procedures and Applications”. The Award, sponsored by Springer, was presented during the 22nd European Informatics Leaders Summit (ECSS 2026), an in-person event in Porto, Portugal. Alongside the winner, one runner-up and two distinguished finalists were honoured.
Runner-up
- Michal Štefánik, Faculty of Informatics, Masaryk University (CZ):
“Axes of Robustness of Neural Language Models”
Distinguished finalists:
- Joachim Baumann, Department of Informatics, University of Zurich (CH):
“On the Societal Impact of Machine Learning” - Thibault Dardinier, Department of Computer Science, ETH Zurich (CH):
“Formal Foundations for Automated Deductive Verifiers”
Learn more about the Award, 2026 winner, runners-up and distinguished finalists in the post-ceremony press-release.
|
On the photo from left to right: Ernestina Menasalvas, (Award Committee Chair, Technical University of Madrid); Giuseppe Spallitta (winner, PhD graduate the Department of Information Engineering and Computer Science at the University of Trento) and Jean-Marc Jézéquel (Informatics Europe President). |
We close this year's process by warmly thanking the 2026 Award Committee:
- Ernestina Menasalvas, Technical University of Madrid, Spain (Chair)
- Přemek Brada, University of West Bohemia, Czechia
- Timo Kehrer, University of Bern, Switzerland
- Gabriella Pasi, University of Milano-Bicocca, Italy
- Heri Ramampiaro, NTNU, Norway
Netlogica