Principal Investigators
![]() Somesh Jha (608) 262-9519 |
![]() Barton Miller (608) 263-3378 |
![]() Thomas Reps (608) 262-2091 |
Graduate Students
![]() |
Gogul
Balakrishnan (608) 263-0475 |
Mihai
Christodorescu (608) 262-6625 |
![]() |
![]() |
Vinod Ganapathy (608) 890-0019 |
Jonathon Giffin (608) 262-6625 |
![]() |
![]() |
Pratap
Ramamurthy (608) 262-5786 |
Shai Rubin (608) 890-0019 |
![]() |
![]() |
Hao
Wang (608) 262-6611 |
Affiliated Graduate Students
These Wisconsin students work for the joint Software Model Checking project between Carnegie Mellon University and the University of Wisconsin. Their work applies to our own research.
![]() Denis Gopan (608) 265-9458 |
![]() Akash Lal (608) 265-4892 |
![]() Junghee Lim (608) 263-0475 |
![]() Alexey Loginov (608) 265-9458 |
![]() Nicholas Kidd (608) 265-4892 |
Louis Kruger works with a joint project between the Computer Sciences and Mathematics Departments at the University of Wisconsin.
Louis Kruger
(608) 262-6611
Previous Project Members
![]() Hong is now working for Sun Microsystems in China. |
![]() Dave was part of the project as a post-doctoral fellow. He has now moved to research work outside the University of Wisconsin. |
![]() Mulhern is now working on an independent project with Professor Charles Fischer. |