Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Frank Huch

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