BIO
Formal verification for a computable universe. Building the future of scientific computing.
Dylan Field
@zoink
eliminate the gap between imagination and reality
Prof. Anima Anandkumar
@AnimaAnandkumar
AI+Science, Co-Founder @accelerated_u, Bren Professor @caltech, Time100, Fmr Sr Director of #AI research @nvidia Fmr Principal Scientist @awscloud
shyamal
@shyamalanadkat
applied AI. prev: @openai @dukeu. now: something new in AI x science. explorer in the age of research 🇮🇳
Patrick Shafto
@patrickshafto
PM @DARPA; Prof of Math and CS @Rutgers-Newark; co-founder @ http://Redpoll.ai; Math @the_IAS 2021-2023. http://patrickshafto.com/
akbir.
@akbirkhan
ur lost, turn around
Jungwon
@jungofthewon
And the people bowed and prayed To the neon god they made
Jacob Pfau
@jacob_pfau
@resolution_org
