Computer Science • • •

Dr. Christoph A. Herrmann

Contact
phone office: +44 (0)1334-46-1629
phone home: +44 (0)1334-47-8648
fax at office: +44 (0)1334-46-3278
office address:
North Haugh, Jack Cole Building 0.08
School of Computer Science , University of StAndrews
KY16 9SX St Andrews, Fife , Scotland, UK
email: initials@cs.st-and.ac.uk where initials="ch"

Research Interests

  • Programming Languages and Implementation Techniques
    • Domain-specific languages: high-level design, analysis, optimisation and verification
    • Functional programming in Haskell and with dependent types using Agda
    • Metaprogramming, abstract interpretation, partial evaluation
    • Embedded and resource-critical systems in Hume
  • High-Performance Parallel Computing
    • Application areas: scientific computing, simulation
    • Methods: parallel skeletons, performance-directed program transformations, space/time mapping
    • Architectures: many-core, clusters, grids and clouds

Publications

Links

content last modified: Wed, 12 Aug 2009 13:00:10 +0000
Christoph Herrmann