Li Huang Completes First PhD Defense at Constructor Institute of Technology

On January 13, Li Huang, a hashtagPhD student in Prof. Bertrand Meyer's research group, successfully defended her thesis, "Straddling the Border Between Tests and Proofs." Her groundbreaking work in software verification was unanimously praised by the committee.
This milestone marks the first PhD defense at Constructor Institute of Technology, held in collaboration with Constructor University Bremen.
Well done, Li Huang, for this remarkable achievement and contribution to the field!