• 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.

Tom Psy.D. is Chair and Assistant Professor in the Department of Psychology at Golden Gate University, where he teaches courses in counseling skills, family therapy, and psychodynamic therapy. His clinical and research focus is on psychosomatic illnesses, particularly anorexia nervosa in males. Most recently, he published an article on this topic in Eating Disorders: The Journal of Treatment & Prevention. In addition, Tom has a small private practice in Berkeley, CA, where he provides psychoanalytic psychotherapy and family therapy. Tom is a candidate at the Psychoanalytic Institute of Northern California. Before licensure, Tom completed a post-doctoral fellowship at Children’s Hospital and Research Center Oakland in the Early Childhood Mental Health Department, where he worked with children and families involved in the child welfare system.