Education
|
||
|---|---|---|
| Ph.D. |
1996
|
University of Texas - Arlington Major: Computer Science Advisor: Krishna M. Kavi Dissertation Topic: Specification and Analysis of Stochastic Properties for Concurrent Systems Expressed Using CSP |
|
M.S. |
1988 |
University of Texas - Arlington Major: Computer Science Advisor: Krishna M. Kavi Thesis Topic: A New Software Reliabilty Model |
|
B.S. |
1983 |
University of Minnesota -Institute of Technology Major: Computer Science |
|
B.S. |
1977 |
University of Minnesota - College of Biological Sciences Major: Microbiology |