Associate Professor at University of New South Wales
Sydney Area, Australia
Associate Professor at University of New South Wales
Sydney Area, Australia
Haskell, functional programming, parallel programming, compiler construction
(Educational Institution; Higher Education industry)
January 2009 — Present (7 months)
(Educational Institution; 5001-10,000 employees; Higher Education industry)
July 2002 — December 2008 (6 years 6 months)
(Non-Profit; Research industry)
September 2003 — December 2005 (2 years 4 months)
(Educational Institution; 5001-10,000 employees; Higher Education industry)
January 2000 — June 2002 (2 years 6 months)
(Educational Institution; Higher Education industry)
May 1997 — December 1999 (2 years 8 months)
(Educational Institution; Higher Education industry)
January 1992 — January 1997 (5 years 1 month)
Dr. rer. nat. , Informatics , 1992 — 1997
Dipl.-Inform. , Informatics , 1986 — 1991
programming languages, functional programming, Haskell, type systems, compilers, code optimisation, high-performance computing, parallel computing, gpgpu, formal methods, mathematical logic, operating systems