Peter Schachte

Why they're in the Luvo100

Schachte contributes methods for reasoning about program behaviour that simple mathematical models miss. Modelling fixed-width arithmetic makes static analysis more faithful to real execution, while his continuing memory-safety research addresses another major source of software defects.