Michael Hanus

Summary

Michael Hanus is a human^[1]. He was born on January 1, 1959^[2]. He worked as a computer scientist^[3].

Key Facts

• Michael Hanus was born on January 1, 1959^[2].
• Michael Hanus's professions included computer scientist^[3].
• Michael Hanus's education included a stint at Technical University of Dortmund^[4].
• Michael Hanus's doctoral advisor was Harald Ganzinger^[5].
• Michael Hanus's doctoral advisor was Armin B. Cremers^[6].
• Michael Hanus is recorded as male^[7].
• Michael Hanus's instance of is recorded as human^[8].
• Michael Hanus supervised Frank Günther Huch as a doctoral student^[9].
• Michael Hanus's family name is recorded as Hanus^[10].
• Michael Hanus's given name is recorded as Michael^[11].
• Michael Hanus's maintained by WikiProject is recorded as WikiProject Mathematics^[12].

Body

Origins and Family

Michael Hanus was born on January 1, 1959^[2].

Education

Michael Hanus was educated at Technical University of Dortmund^[4]. Doctoral advisors include Harald Ganzinger^[5], a mathematician^[13], 1950–2004^[14], of Germany^[15], awarded the Herbrand Award^[16] and Armin B. Cremers^[6], a computer scientist^[17], b. 1946^[18], of Germany^[19].

Career and Affiliations

Michael Hanus worked as a computer scientist^[3]. He supervised Frank Günther Huch as a doctoral student^[9].

FAQs

What did Michael Hanus do for work?

Michael Hanus worked as computer scientist^[3].

Where did Michael Hanus go to school?

Michael Hanus was educated at Technical University of Dortmund^[4].