Reiner Hähnle

Summary

Reiner Hähnle is a human^[1]. He was born on January 1, 1962^[2]. He worked as a researcher^[3] and computer scientist^[4].

Key Facts

• Reiner Hähnle was born on January 1, 1962^[2].
• Reiner Hähnle worked as a researcher^[3].
• Reiner Hähnle worked as a computer scientist^[4].
• Reiner Hähnle was employed by Technical University of Darmstadt^[5].
• Reiner Hähnle's doctoral advisor was Peter Hans Schmitt^[6].
• Reiner Hähnle is recorded as male^[7].
• Reiner Hähnle's instance of is recorded as human^[8].
• Reiner Hähnle supervised Martin Giese as a doctoral student^[9].
• Reiner Hähnle supervised Thomas Baar as a doctoral student^[10].
• Reiner Hähnle supervised Wolfgang Ahrendt as a doctoral student^[11].
• Reiner Hähnle supervised Wojciech Mostowski as a doctoral student^[12].
• Reiner Hähnle supervised Magnus P. Björk as a doctoral student^[13].
• Reiner Hähnle supervised Richard Bubel as a doctoral student^[14].
• Reiner Hähnle supervised Ádám Péter Darvas as a doctoral student^[15].
• Reiner Hähnle's family name is recorded as Hähnle^[16].
• Reiner Hähnle's given name is recorded as Reiner^[17].
• Reiner Hähnle's official website is recorded as https://www.informatik.tu-darmstadt.de/se/gruppenmitglieder/groupmembers_detailseite_30784.en.jsp^[18].
• Reiner Hähnle's maintained by WikiProject is recorded as WikiProject Mathematics^[19].

Body

Origins and Family

Reiner Hähnle was born on January 1, 1962^[2].

Education

Reiner Hähnle's doctoral advisor was Peter Hans Schmitt^[6].

Career and Affiliations

Recorded occupations include researcher^[3] and computer scientist^[4]. Reiner Hähnle was employed by Technical University of Darmstadt^[5]. Doctoral students include Martin Giese^[9], a computer scientist^[20], b. 1970^[21]; Thomas Baar^[10], a computer scientist^[22]; Wolfgang Ahrendt^[11], a computer scientist^[23], specialised in formal methods^[24]; Wojciech Mostowski^[12], b. 1976^[25]; Magnus P. Björk^[13], b. 1977^[26]; and Richard Bubel^[14], a computer scientist^[27], specialised in formal methods^[28].

Why It Matters

Reiner Hähnle's notable doctoral advisees include Thomas Baar^[29], a computer scientist^[30]; Wolfgang Ahrendt^[31], a computer scientist^[32], specialised in formal methods^[33]; Richard Bubel^[34], a computer scientist^[35], specialised in formal methods^[36]; and Martin Giese^[37], a computer scientist^[38], b. 1970^[39].

FAQs

What did Reiner Hähnle do for work?

Reiner Hähnle worked as researcher^[3] and computer scientist^[4].