Rupak Majumdar
Original record- Institution
- University of California, Berkeley
- Year
- 2003
- Country
- United States
- MGP identifier
- 79895
Dissertation: Symbolic Algorithms for Verification and Control
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Thomas A. HenzingerStanford University · 1991
Students 13
| Name | Institution | Year | Students |
|---|---|---|---|
| Michael Joseph Emmi | University of California, Los Angeles | 2010 | 0 |
| Jeffrey M. Fischer | University of California, Los Angeles | 2008 | 0 |
| Ivan Gavran | Not recorded | — | 0 |
| Rafit Izhak-Ratzin | University of California, Los Angeles | 2010 | 0 |
| Johannes Kloos | Not recorded | — | 0 |
| Kaushik Mallik | Not recorded | — | 0 |
| Aman Shankar Mathur | Not recorded | — | 0 |
| Filip Nikšić | Not recorded | — | 0 |
| Indranil Saha | University of California, Los Angeles | 2013 | 0 |
| Felix Stutz | Not recorded | — | 0 |
| Zilong Wang | Not recorded | — | 0 |
| Ru-Gang Xu | University of California, Los Angeles | 2009 | 0 |
| Majid Zamani | University of California, Los Angeles | 2012 | 2 |