PEOPLE

meridian-computer.gif (19819 bytes)          Meridian Personnel   

 

Senior Personnel

Betty H.C. Cheng:conducts research in formal methods for software engineering, software development environments, and object-oriented analysis and design.
Laura K. Dillon: conducts research in formal methods for specification and validation of concurrent systems, software engineering, and programming languages.
Philip K. McKinley: conducts research in computer network protocols, network interface design, parallel processing, and distributed computing.
Kurt Stirewalt: conducts research in the engineering of interactive systems, program reasoning, and formal methods to support software engineering.

Graduate Students

PhD

Hamid Alavi
Laura Campbell
Min Deng
Eric Kasten*
Sascha Konrad
Chad Meiners*
Masoud Sadjadi*
Chipeng Tang (MS 2001, current PhD student) 
Zhenxiao Yang
Ji Zhang*
Zhinan Zhou

MS

Grant Birchmeier (BS 2001, current MS student)
Heather Goldsby (BS 2001, current MS student)
Rahul Kalaskar* (MS 2002)
Ancha Nandagopal (MS 2001)
Udiyan Padmanabhan (MS 2001)
Ramy Shahin (MS 2001)
Kyle Taylor* (BS 2001, current MS student)
Matt Wallace

 

Undergraduate Students

Ryan Dhuse* (BS 2001, currently graduate student at Carnegie Mellon University)
Sherri Goings*
Mark Groulx* (BS 2002)
Anjani Shah* (BS 2002)
Ryan Stephenson* 
Adam Todd*

 

Visiting Faculty

W. McUmber*, Adjunct Faculty at Michigan State University
G. Sivakumar*, IIT-Bombay, India
M. Capel*, Univ. of Granada, Spain

*Denotes that funds from sources in addition to those from the Meridian project have been leveraged to provide support for work contributing to the Meridian project.

BACK to Meridian Homepage