Li Huang completes her PhD

Last week on January 13th Li Huang defended her PhD thesis! She will get a double PhD degree from Constructor Institute of Technology and from Constructor University.

Her work on verification counterexamples made the biggest everyday improvement in my daily work in AutoProof. The counterexample work was described in Improving Counterexample Quality from Failed Program Verification and later papers. I cannot imagine writing verified software without seeing the exact counterexamples of failed verifications.

Photos by Flavia Trifa.