Andy Oertel's PhD defence
29 maj 2026 13:30 | Disputation The public defence of the thesis takes place on Friday May 29th, 2026 at 13:30 in E:1406 Thesis title: Certifying Combinatorial Optimization: A Unified Approach Using Pseudo-Boolean Reasoning”Author: Andy Oertel, Department of Computer Science, Lund UniversityFaculty opponent: Professor Emeritus Randal Bryant, Carnegie Mellon University, USAExamination Committee:Pro
https://www.cs.lth.se/evenemang/andy-oertels-phd-defence - 2026-05-23
