About me
I'm interested in data visualization, machine learning, distributed systems, automated reasoning, programming languages, quantum information, chinese martial arts, and argentine tango.
|
My work
PAIR, Conversation AI, WikiDetox, Unfiltered News, Digital Attack Map, Project Shield, uProxy, Quantomatic, Syria Defection Tracker, TheoryMine, IsaPlanner, PolyML, Isabelle
|
