IP
KeY
Byron Cook
Formal methods
Applied mathematics
Theoretical computer science
Static program analysis
Termination analysis