Ingo Blechschmidt
iblech
Mathematician working in applied topos theory. Also interested in functional programming.
University of Padova Augsburg, Germany
Tim Baumann
timjb
Interested in type theory, category theory and concurrent collaborative editing.
@TNG Technology Consulting GmbH Augsburg, Europe