computer scientist, automated theorem proving
-
University of Southampton
- UK
- http://rawsons.uk/michael/
Xiyu Zhai
xiyuzhai
A visored working on an ancient programming language called Husky. It's going to fundamentally change how we see huskies.
UW Seattle, WA
Alun Cennyth Stokes
aluncstokes
Dessins d'enfants, graph embeddings (metric kind), and various machines learnings. Most repos are private by necessity (for now). I study number theory.
McMaster University Hamilton, Ontario
Carlos Toxtli
toxtli
PhD, Prof, Director of the Human-AI Empowerment Lab at Clemson University, Dad
Microsoft, Google, Amazon, Snapchat, GitHub, United Nations, Freelancer United States