Geoffrey Hulette
Biography
Dr. Geoffrey C Hulette's research focuses on formal specification, formal verification, and correct-by-construction design for high-consequence digital systems.
Presentations
Workshop
Recorded
Correctness
Software Engineering
W