Guannan Wei
Kraks
Assistant professor at Tufts University; programming languages, formal methods, compilers
Tufts University
Amir Shaikhha
amirsh
Associate Professor (Reader) at Edinburgh,
Former PhD Student at EPFL and Lecturer at Oxford,
Interested in Databases, Programming Languages, and Compilers
Edinburgh, United Kingdom
Axel Kramer
axkr
Symja computer algebra language & symbolic math library. Algorithms and bots implemented in pure Java.
Germany
Conal Elliott
conal
Play/learn/work with me: https://github.com/conal/Collaboration
(open to employment) San Andreas, California, USA
Samuel Judson
sjudson
"Indeed, what happened with the Random Oracle Model reminds us of the biblical story of the Bronze Serpent..."