User:Iislucas

Lucas Dixon

Scientist

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

Conversation AI, WikiDetox, Unfiltered News, Digital Attack Map, Project Shield, uProxy, Quantomatic, Syria Defection Tracker, TheoryMine, IsaPlanner, PolyML, Isabelle

Contact me

• Email: lucas.dixon@gmail.com
• Github: https://github.com/iislucas