Calendar
29
May
Dissertation in Computer Science
Andy Oertel defends his thesis in Computer Science with the title "Certifying Combinatorial Optimization:
A Unified Approach Using Pseudo-Boolean Reasoning".
Faculty opponent is Professor Emeritus Randal Bryant, Carnegie Mellon University, USA.
The dissertation will be live streamed, but part of the premises is to be excluded from the live stream.
Om händelsen
From:
2026-05-29 13:30
Plats
Lecture Hall E:1406, building E, Ole Römers väg 3, Faculty of Engineering LTH, Lund. Zoom: https://lu-se.zoom.us/j/62120595427?pwd=WxX7P4o79C4XRQAfrwmQPaunS1ieBh.1
Kontakt
jakob [dot] nordstrom [at] cs [dot] lth [dot] se