I mainly do research in the following areas:

  • Intelligent tutors for (functional) programming
  • Property-based testing using QuickCheck

In particular I am interested in functional programming, program language design, parsers, strategies, and generic programming.

Software

See the Ideas Subversion server. I have also a GitHub account, but most of my activities are on private repositories.

Awards

Best Student Paper Award from CSEDU 2009 for the `Constructing Strategies for Programming’ paper.

How to reach me

dr. ir. Alex Gerdes

Chalmers
Rännvägen 6
412 96 Göteborg, Sweden
Room: 6479 (EDIT building)
(λ n . n@chalmers.se) alexg

GPG public key

Quote

"You do not really understand something unless you can explain it to your grandmother." (A. Einstein)