Physicist and developer.
-
Infineon
- Munich
- https://speicherleck.de/michael
Oxford Ion Trap Quantum Computing group
OxfordIonTrapGroup
Open-source projects by our research group at the Department of Physics, University of Oxford.
Clarendon Laboratory, Oxford
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 Padova Augsburg, Germany