Florian Horn

Summary

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

Key Facts

• Florian Horn worked as a computer scientist^[2].
• Florian Horn's doctoral advisor was Anca Muscholl^[3].
• Florian Horn's doctoral advisor was Wolfgang Thomas^[4].
• Florian Horn's instance of is recorded as human^[5].
• Florian Horn's Mathematics Genealogy Project ID is recorded as 139037^[6].
• Florian Horn's family name is recorded as Horn^[7].
• Florian Horn's given name is recorded as Florian^[8].
• Florian Horn's zbMATH author ID is recorded as horn.florian^[9].
• Florian Horn's MR Author ID is recorded as 820576^[10].
• Florian Horn's maintained by WikiProject is recorded as WikiProject Mathematics^[11].

Body

Education

Doctoral advisors include Anca Muscholl^[3], a computer scientist^[12], b. 1967^[13], awarded the CNRS silver medal^[14], specialised in formal methods^[15] and Wolfgang Thomas^[4], a computer scientist^[16], b. 1947^[17], awarded the honorary doctor of the École normale supérieure de Cachan^[18].

Career and Affiliations

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

FAQs

What did Florian Horn do for work?

Florian Horn worked as computer scientist^[2].