We are hiring new doctoral researchers, student research assistants, and tutors. Apply now!
Case study on firmware verification accepted at TACAS 2026!

Max Barth

Picture of Max Barth

Software and Computational Systems Lab
Department of Computer Science
Ludwig-Maximilians-Universität München (LMU Munich)
Oettingenstraße 67
80538 Munich (Germany)

Office
Room G U110, Oettingenstr. 67
Office Hours
By appointment
E-Mail
max.barth @ sosy.ifi.lmu.de
ORCID
0009-0002-7716-3898