Trustworthy Tools
About Us
Home | About Us | Projects | HOL-Omega | Publications | Dissertation | Divine Support

Staff

Dr. Peter Vincent Homeier

addr2.jpg

Ph.D. in Computer Science, UCLA, 1995
M.S. in Computer Science, UCLA, 1981
B.S. in Mathematics/Computer Science, Summa Cum Laude, UCLA, 1979

Research Postdoctoral Fellow, University of Pennsylvania, 1997

Personal encounter with God

Drawing of computer; Size=240 pixels wide

Dissertation:

Publications

Making formal methods into normal methods.