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