The browser you are using is not supported by this website. All versions of Internet Explorer are no longer supported, either by us or Microsoft (read more here: https://www.microsoft.com/en-us/microsoft-365/windows/end-of-ie-support).

Please use a modern browser to fully experience our website, such as the newest versions of Edge, Chrome, Firefox or Safari etc.

28

Nov

Andy Oertel's Licentiate Seminar

28 November 2025 13:30 | Seminar

Welcome to Andy Oertel's licentiate thesis seminar on Friday November 28th at 13:30-15:45 in E:1406

  • Thesis title: Certifying Combinatorial Optimization Using Pseudo-Boolean Reasonings
  • Author: Andy Oertel, Department of Computer Science, Lund University
  • Faculty opponent: Associate Professor Marco Chiarandini, University of Southern Denmark
  • Examiner: Professor Jacek Malec, LTH
  • Supervisor: Professor Jakob Nordström, LTH
  • Co-supervisor: Assistant Professor Susanna de Rezende, LTH
  • Date and time: Friday 28 November at 13:30
  • Location: E:1406, E-huset, LTH, Klas Anshelms väg 10/Ole Römers väg 3, Lund
  • A link to download the thesis will be added later

 

Abstract

An abstract will be added later

 

About the event

Location:

E:1406, E-huset, LTH, Ole Römers väg 3, Lund

Contact:

andy [dot] oertel [at] cs [dot] lth [dot] se