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
Ralf Hinze's home page
[go: Go Back, main page]

Address
Ralf

Hochschuldozent Dr. Ralf Hinze

Institut für Informatik III
Universität Bonn
Römerstr. 164
D-53117 Bonn

Room: Altbau A224 (Sprechstunde: Di 10.00 - 11.00)
Telephone: +49 (2 28) 73 - 45 35
Fax: +49 (2 28) 73 - 43 82
Email: ralf@informatik.uni-bonn.de (Please don't sent me documents in proprietary formats - I won't be able to read them.)

Please, note!

Attend ICFP 2007!

Research interests

My research centers around functional programming. I am particularly interested in functional algorithm design and purely functional data structures. At the moment I am mainly working on generic functional programming (Generic Haskell, Generic Haskell II). In the past I worked on strictness analysis and type systems.

Activities

I am the general chair of ICFP 2007 and a member of the ICFP steering committee.

I am the organizer and chair of the Workshop on Generic Programming 2006 (WGP2006).

I am the secretary of IFIP Working Group 2.8 (Functional Programming).

I am a member of IFIP Working Group 2.1 (Algorithmic Languages and Calculi) and EAPLS.

I am a member of the editorial board of the Journal of Functional Programming.

I shall serve on the program committee of IFL 2006.

I served on the Haskell 98 committee and on the program committees of WAAAPL'99, WGP 2000, ICFP 2000, HW 2000, WCGP '02, ICFP 2003, HW 2003, MetaOCaml workshop, Second MetaOCaml Workshop, and POPL 2005. I was the organizer and chair of the 2001 Haskell Workshop.

I served as Guest Editor of the Special Issue on Functional Pearls of the Journal of Functional Programming.

I co-organised the Spring School on Datatype-Generic Programming; I was also one of the lecturers.

Links

  1. Teaching
  2. Publications NEW
  3. Talks NEW
  4. Software
  5. Links


Ralf Hinze, ralf@informatik.uni-bonn.de, 25th May 2006.

Valid HTML 4.01!