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
Vaishnavi
vaishna77
Assistant Professor, Department of Data Science and Artificial Intelligence, IIIT Bangalore
IIIT Bangalore Bangalore
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