Frank Günther Huch

MathSciNet


Dr. rer. nat. Rheinisch-Westfälische Technische Hochschule Aachen 2001 Germany
Dissertation: Verification of Erlang programs using abstract interpretation and model checking
Mathematics Subject Classification: 94—Information and communication, circuits

Advisor 1: Klaus Indermark
Advisor 2: Michael Hanus

Students:
Click here to see the students ordered by family name.

NameSchoolYearDescendants
Christiansen, JanChristian-Albrechts-Universität zu Kiel2012
Danilenko, NikitaChristian-Albrechts-Universität zu Kiel2015

According to our current on-line database, Frank Huch has 2 students and 2 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 161406 for the advisor ID.