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

Anton Fasching

Technical Assistant

Picture of Anton Fasching

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

E-Mail
fasching @ sosy.ifi.lmu.de

GPG-Key

Please send me encrypted mails!
My GPG key: 0x401d5e7f