- Freiburg im Breisgau (Germany)
Tim Baumann
timjb
Interested in type theory, category theory and concurrent collaborative editing.
@TNG Technology Consulting GmbH Augsburg, Europe
Jan Christiansen
jan-christiansen
Professor for Programming Languages and Theory of Programming
Flensburg University of Applied Scienes Kiel, Germany
Sandra Dylus
ichistmeinname
holds PhD in PL; likes functional programming languages
@Cap3 Germany, Kiel