Roderick Bloem
Ph.D. University of Colorado at Boulder 2001
Dissertation:
Search Techniques and Automata for Symbolic Model Checking
Mathematics Subject Classification: 68—Computer science
Advisor: Fabio Somenzi
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Griesmayer, Andreas | Technische Universität Graz | 2007 | |
| Jobstmann, Barbara | Technische Universität Graz | 2007 | |
| Staber, Stefan | Technische Universität Graz | 2007 | |
| Pill, Ingo | 2008 | ||
| Koenighofer, Robert | Technische Universität Graz | 2015 | |
| Fazekas, Katalin | Johannes Kepler Universität Linz | 2020 | |
| Könighofer, Bettina | Technische Universität Graz | 2020 |
According to our current on-line database, Roderick Bloem has 7 students and 7 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 118390 for the advisor ID.