Programming Languages and Compiler Construction

Institute of Computer Science and Applied Mathematics

Frank Huch

Frank Huch
Programming Languages and Compiler Construction
Institute of Computer Science and Applied Mathematics
Christian-Albrechts-University of Kiel
Olshausenstr. 40
D-24098 Kiel
Germany

Phone: +49-431/880-7277
Fax: +49-431/8880-7613
Email: fhu@informatik.uni-kiel.de

Research Interests

My main research interests are:

the specification and verification (model checking) of concurrent systems
the verification of distributed/concurrent systems using abstract interpretation and model checking
the extension of programming languages for elegant developement of distributed systems: Distributed Haskell, Erlang
automatic code generation from specifications
functional programming
Concurrent Programming and Debugging (including some programs for downloading)

Research Activities

Vice-chairman of Working Group 2.1.4 ``Programming Languages and Computing Concepts'' of the German Computer Science Organization GI
Co-organizer of the next anual meating ``22. Workshop der GI-Fachgruppe 2.1.4'' in Bad Honnef.
16 International Workshop on Implementation and Application of Functional Languages (IFL'04),
Lübeck, Germany, September 8-10, 2004

Publications

A List of recent publications (Under Construction)

Lehrveranstaltungen (in German)

Here you can find a list of teaching courses.

Other Interests

Wormworld "Tag der Informatik '97"

Last modified: Wed Nov 23 16:17:14 CET 2005 Christian-Albrechts-University of Kiel