We are hiring new student research assistants and tutors. Apply now!
Paper accepted at ICSE 2023: "CoVeriTeam Service: Verification as a Service"

Marvin Brieger

Picture of Marvin Brieger

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 009, Oettingenstr. 67
E-Mail
firstname.lastname@sosy.ifi.lmu.de
Office Hours
By appointment
ORCID
0000-0001-9656-2830

GPG-Key

Please send me encrypted mails!
My GPG key: 0xF52541AF5BCA78FC
Fingerprint: D877 F639 6831 5FB9 91FC 40B5 F525 41AF 5BCA 78FC

Teaching