Eray Özkural
examachine
AI researcher, inventor, entrepreneur, philosopher, musician, transhumanist, futurist, free software author, demo scene coder.
@celestial-intellect Dead City, Antarctica
Danny Willems
dannywillems
If we use « it is not rocket science » to describe something easy, what if you are a rocket scientist and find your job easy?
LeakIX Mostly Belgium, but often moving
Simon Cruanes
c-cube
Computer scientist in computational logic, automated theorem proving, and formal methods. Seasoned OCaml programmer, dabbling with rust and Odin.
Imandra (@imandra-ai) washington DC
Vladimir Voevodsky
vladimirias
Vladimir Voevodsky died September 30, 2017. This account is maintained in memoriam by Dan Grayson as his academic executor, http://dangrayson.com/.
Carmelo Piccione
struktured
Machine learning. Functional programming. Cryptocurrencies and Number theory.
Ardmore, PA
Christian Lindig
lindig
Software Engineer at citrix.com. Previously:
testfabrik.com, dagstuhl.de, st.cs.uni-sb.de, seas.harvard.edu
Citrix Cambridge, UK
PreviousNext