Luvo100
Gillian Dobbie
Professor of Computer Science
University of Auckland
New Zealand
Formal model repair & software engineering research
Why they're in the Luvo100
Dobbie’s co-authored model-repair research diagnoses faults in formal designs, generates repairs and evaluates whether the repaired model retains useful quality properties. The published experiments provide a bounded contribution to automated software engineering, with shared credit to Cheng-Hao Cai and Jing Sun.