Frank Günther Huch
Dr. rer. nat. Rheinisch-Westfälische Technische Hochschule Aachen 2001
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.
| Name | School | Year | Descendants |
|---|---|---|---|
| Christiansen, Jan | Christian-Albrechts-Universität zu Kiel | 2012 | |
| Danilenko, Nikita | Christian-Albrechts-Universität zu Kiel | 2015 |
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.