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