Michael R Douglas
mrdouglasny
String theorist, mathematical and computational physicist
Harvard CMSA / Stony Brook University
Sathvik (Andy) Kurapati
sathvikkurap
UW CS (skipped high school) | DuckDB Snowflake maintainer (15k peak weekly downloads)
Math AI Lab researcher | Husky Satellite lead | IEEE Published
University of Washington Redmond, WA
Math, Inc.
math-inc
A new company dedicated to autoformalization and the creation of verified superintelligence.
United States of America
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
Christopher Rackauckas
ChrisRackauckas
Applied Mathematics Instructor at MIT, researching numerical differential equations and their applications to scientific machine learning (SciML)
Massachusetts Institute of Technology Cambridge, MA