9th Competition on Software Verification (SV-COMP 2020) has announced the results. Congratulations to all participants and winners!

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)

Office
Room F 010, Oettingenstr. 67
Phone
+49 (89) 2180-9183
E-Mail
lastname@cs.ucla.edu

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