PhD Ludwig-Maximilians University Munich 2000; CWI Amsterdam and Masaryk University Brno 2000-2002; University of Leicester 2002-2018; Chapman University 2018-
Highlights
- Pro
Jonathan Weinberger
jonweinb
Types, Categories, Homotopy. Asst Prof @ Chapman U, Orange, CA.
Avatar: (c) Cafenated, Berkeley, CA. https://cafenated.myshopify.com
Chapman University Orange, CA
Lucius Meredith
leithaus
Inventor of the rho-calculus, namespace logic, founder of RChain Cooperative, CEO of F1R3FLY.io
F1R3FLY.io Seattle
Jeff
jeffrey-l-turner
Interests: Lightning BTC, Consensus Algos; JavaScript, Solidity, DLC/PTLCs, EVM compatible chains, Atomic Swaps, React PWAs, & DenoJS
Crypteriat USA
Damian Kurpiewski
blackbat13
I am a teacher, a programmer and a scientist. I focus mainly on computer science didactics and I believe education should be free and available to all.
Andrea Censi
AndreaCensi
Roboticist; senior researcher at ETH Zürich @idsc-frazzoli; director @duckietown foundation.
ETH Zürich @idsc-frazzoli & @duckietown Zürich, Switzerland
Conal Elliott
conal
Play/learn/work with me: https://github.com/conal/Collaboration
(open to employment) San Andreas, California, USA
Tom Ridge
tomjridge
Ex-academic. Currently working as a programmer, particularly with OCaml, golang, Python, AWS. Interested in reliable systems.
UK