Lambda the Ultimate

BSc comp-sci, Hebrew University, Jerusalem, 1997
MSc logic, University of Amsterdam, 2000

Working as a programmer since 1990.

Functional programming, Meta-programming, Relational databases, Object-oriented programming