Announcement_4

I have won the Informatics Europe 2026 Best Dissertation Award for my Ph.D. research on model enumeration in SAT and SMT! I received the award at ECSS 2026 in Porto, Portugal. I am grateful for this recognition of my work and of the role of automated reasoning and formal verification in Informatics. Read the announcement.