Roderick Bloem
Original record- Institution
- University of Colorado at Boulder
- Year
- 2001
- Country
- United States
- MGP identifier
- 118390
Dissertation: Search Techniques and Automata for Symbolic Model Checking
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Fabio SomenziInstitution not recorded
Students 7
| Name | Institution | Year | Students |
|---|---|---|---|
| Katalin Fazekas | Not recorded | — | 0 |
| Andreas Griesmayer | Technische Universität Graz | 2007 | 0 |
| Barbara Jobstmann | Technische Universität Graz | 2007 | 0 |
| Robert Koenighofer | Technische Universität Graz | 2015 | 0 |
| Bettina Könighofer | Technische Universität Graz | 2020 | 0 |
| Ingo Pill | Not recorded | 2008 | 0 |
| Stefan Staber | Technische Universität Graz | 2007 | 0 |