- Royce Fellowship
Thomas
Wooldridge
Concentration
Computer Science and Mathematics
Award Year
2003
Software Verification: Making Elegance Practical
Faculty Sponsor: Shriram Krishnamurthi
Model checking is a computationally intensive technique used to determine whether a property is satisfied by a finite state machine. Building on his previous research, Tom investigated intuitive notations for specifying such properties. He believed that these notations would provide for a more efficient form of model checking.