Paper "Software Verification with PDR: An Implementation of the State of the Art" published in Proc. TACAS'20 and available now!

Prof. Miryung Kim, PhD

Humboldt Professor

Picture of Prof. Miryung Kim, PhD

Software and Computational Systems Lab
Institute for Informatics
Ludwig-Maximilians-Universität München (LMU Munich)
Oettingenstraße 67
80538 Munich (Germany)

Room F 010, Oettingenstr. 67
+49 (89) 2180-9183

For more information on myself and my research visit my webpage at the University of California, Los Angeles.