Nelli Funk
nellifunk
Graph Theory Enthusiast | Student Master of Science Mathematik @ Uni Augsburg | Coding Newbie | Currently interested in Webdevelopment & DevOps
University of Augsburg
Nho Luong
nholuongut
💁 🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳
- Vietnam DevOps Engineer
Lead
- Vietnam Timeless Charm
- Enjoy Every Moment
DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam
Jonathan Weinberger
jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.
Chapman University Orange, CA
Oromion
carlosal1015
My interests ⊆ Mathematics ∩ LaTeX.
National University of Engineering Lima, Peru
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