Florian Haftmann

Summary

Florian Haftmann is a human^[1]. They worked as a computer scientist^[2].

Key Facts

• Florian Haftmann worked as a computer scientist^[2].
• Florian Haftmann's education included a stint at Technical University of Munich^[3].
• Florian Haftmann's doctoral advisor was Tobias Nipkow^[4].
• Florian Haftmann's instance of is recorded as human^[5].
• Florian Haftmann's Mathematics Genealogy Project ID is recorded as 149901^[6].
• Florian Haftmann's family name is recorded as Haftmann^[7].
• Florian Haftmann's given name is recorded as Florian^[8].
• Florian Haftmann's ACM Digital Library author ID is recorded as 81100626997^[9].
• Florian Haftmann's zbMATH author ID is recorded as haftmann.florian^[10].
• Florian Haftmann's MR Author ID is recorded as 874327^[11].
• Florian Haftmann's maintained by WikiProject is recorded as WikiProject Mathematics^[12].

Body

Education

Florian Haftmann was educated at Technical University of Munich^[3]. Their doctoral advisor was Tobias Nipkow^[4].

Career and Affiliations

Florian Haftmann's professions included computer scientist^[2].

FAQs

What did Florian Haftmann do for work?

Florian Haftmann worked as computer scientist^[2].

Where did Florian Haftmann go to school?

Florian Haftmann was educated at Technical University of Munich^[3].