3K Followers 1K FollowingPostdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him
4K Followers 3K FollowingMathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
20K Followers 9K FollowingProgramme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death
3K Followers 623 FollowingI like types and parentheses and metaprogramming. Co-author of The Little Typer and author of Functional Programming in Lean.
he/him
5K Followers 469 FollowingSenior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar https://t.co/5X4WKErcqQ. Inactive: see my WWW for new location
2K Followers 1K Following4th best 3A yoyo thrower in the US. No longer posting type theory on main -- if you see anything related, I'm not serious, and I'm sorry.
2K Followers 852 FollowingDirector @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
549 Followers 1K Followingcartographer of complexity. agency amplifier. benevolent horseman of the singularity. frontiersman of abstraction. building tsunami surfboards
703 Followers 2K FollowingApply-focused indie lab researching mathematical foundations of systems across domains. Ex-founder (fintech/infra), CS + big data/distributed systems (Adobe).
401 Followers 2K FollowingOpen to Work / exPhD #HKUPLG @HKUniversity / From Changsha Hangzhou Sthlm NY HK / 🏳️🌈 / ADHD is my super ability / INS @hxjxsnow
85 Followers 782 FollowingPhD Student at the University of Vermont and Software Engineer.
I like Functional Programming. I mosly write Haskell these days.