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

Sophia Hans

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 F 005, Oettingenstr. 67
E-Mail
firstname.lastname@sosy.ifi.lmu.de