Stephen Anthony Edwards
Original record- Institution
- University of California, Berkeley
- Year
- 1997
- Country
- United States
- MGP identifier
- 97527
Dissertation: The Specification and Execution of Heterogeneous Synchronous Reactive Systems
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Edward Ashford LeeUniversity of California, Berkeley · 1986
Students 5
| Name | Institution | Year | Students |
|---|---|---|---|
| Marcio O. Buss | Columbia University | 2008 | 0 |
| Ayaan Mehdi Kazerouni | Virginia Polytechnic Institute and State University | 2020 | 0 |
| Jan Lukoschus | Christian-Albrechts-Universität zu Kiel | 2006 | 0 |
| Cristian Soviani | Columbia University | 2007 | 0 |
| Jia Zeng | Columbia University | 2008 | 0 |