Matthew Barbour Dwyer
Original record- Institution
- University of Massachusetts Amherst
- Year
- 1995
- Country
- United States
- MGP identifier
- 94889
Dissertation: Data Flow Analysis for Verifying Correctness Properties of Concurrent Programs
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Lori A. ClarkeUniversity of Colorado at Boulder · 1976
Students 9
| Name | Institution | Year | Students |
|---|---|---|---|
| Robby | Kansas State University | 2004 | 1 |
| Du Li | University of Nebraska-Lincoln | 2012 | 0 |
| Corina S. Pasareanu | Kansas State University | 2001 | 0 |
| Suzette Person | Not recorded | — | 0 |
| Rahul Purandare | University of Nebraska-Lincoln | 2011 | 3 |
| Elena Sherman | University of Nebraska-Lincoln | 2012 | 0 |
| Jiangfan Shi | University of Nebraska-Lincoln | 2012 | 0 |
| Oksana Tkachuk | Kansas State University | 2008 | 0 |
| Haitao Zhu | University of Nebraska-Lincoln | 2013 | 0 |