Gregor Mitscha-Baude

1.4KFollowing1Top Followers1.4KTotal Followers

BIO

Co-founder @zksecurityXYZ Math & crypto. Agentic coding addict. TypeScript magician. Lean4 enthusiast.

@mitschabaude

Top followers

#1458

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