Reiner Hähnle
Ph.D. Karlsruher Institut für Technologie (KIT) 1992
Dissertation:
Automated deduction in multiple valued logics
Mathematics Subject Classification: 68—Computer science
Advisor: Peter Hans Schmitt
Students:
Click
here to see the students ordered by family name.
| Name | School | Year | Descendants |
|---|---|---|---|
| Ahrendt, Wolfgang | Karlsruher Institut für Technologie (KIT) | 2001 | 1 |
| Baar, Thomas | Karlsruher Institut für Technologie (KIT) | 2002 | 2 |
| Giese, Martin | Karlsruher Institut für Technologie (KIT) | 2002 | |
| Mostowski, Wojciech | Chalmers Tekniska Högskola | 2005 | |
| Björk, Magnus | Chalmers Tekniska Högskola | 2006 | |
| Bubel, Richard | Karlsruher Institut für Technologie (KIT) | 2007 | |
| Darvas, Ádám | ETH Zürich | 2009 |
According to our current on-line database, Reiner Hähnle has 7 students and 10 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 95454 for the advisor ID.