Matthew Barbour Dwyer
Ph.D. University of Massachusetts Amherst 1995
Dissertation:
Data Flow Analysis for Verifying Correctness Properties of Concurrent Programs
Mathematics Subject Classification: 68—Computer science
Advisor: Lori A. Clarke
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Pasareanu, Corina | Kansas State University | 2001 | |
| , Robby | Kansas State University | 2004 | 1 |
| Tkachuk, Oksana | Kansas State University | 2008 | |
| Person, Suzette | University of Nebraska-Lincoln | 2009 | |
| Purandare, Rahul | University of Nebraska-Lincoln | 2011 | 2 |
| Li, Du | University of Nebraska-Lincoln | 2012 | |
| Sherman, Elena | University of Nebraska-Lincoln | 2012 | |
| Shi, Jiangfan | University of Nebraska-Lincoln | 2012 | |
| Zhu, Haitao | University of Nebraska-Lincoln | 2013 |
According to our current on-line database, Matthew Dwyer has 9 students and 12 descendants.
We welcome any additional information.
If you have additional information or corrections regarding this mathematician, please use the update form. To submit students of this mathematician, please use the new data form, noting this mathematician's MGP ID of 94889 for the advisor ID.