Someody

1.3KFollowing1Top Followers274Total Followers

BIO

Terminally online math PhD student, and proud contributor of http://leanprover-community.github.io

@Someody42

Top followers

#1621

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/ http://shaftolab.com