Skip to content
View seewoo5's full-sized avatar
🧠
Thinking
🧠
Thinking
67 followers · 73 following

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pair Extraordinairex3Achievement: Pull Sharkx3Achievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report seewoo5

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
@augustepoiroux
Auguste Poiroux augustepoiroux
@emilyriehl
Emily Riehl emilyriehl

Johns Hopkins University Baltimore, MD

@kim-em
Kim Morrison kim-em

Canberra

@AxiomMath
AxiomMath

United States of America

@deancureton
dean cureton deancureton
math, cs, physics @ stanford; creating verified superintelligence @math-inc

Stanford University, @math-inc Stanford, CA

@kckennylau
Kenny Lau kckennylau
Year 2 Pure Maths @ Imperial
@vEnhance
Evan Chen vEnhance
Math olympiad coach and writer of spaghetti code

Boston, MA

@google-deepmind
Google DeepMind google-deepmind
@CoolRmal
Yongxi (Aaron) Lin CoolRmal
PhD student in math at Carnegie Mellon Univeristy. Interested in PDE, harmonic analysis, probability, and formal verification of math.
@icarm
ICARM icarm
Institute for Computer-Aided Reasoning in Mathematics

United States of America

@cameronfreer
Cameron Freer cameronfreer
@Paul-Lez
Paul Lezeau Paul-Lez
PhD student @ LSGNT (Imperial College, joint with King's College London and University College London)
@harmonic-ai
Harmonic harmonic-ai
Mathematical Superintelligence

United States of America

@dwrensha
David Renshaw dwrensha

@icarm Pittsburgh, PA

@gauss-math-inc
gauss-math-inc
@Aristotle-Harmonic
Aristotle Aristotle-Harmonic

Harmonic

@keewoolee
Keewoo Lee keewoolee

Ethereum Foundation Berkeley, California

@eliasjudin
Elias Judin eliasjudin
mathematician. research in categorical algebra, galois theories. Lean 4 engineer

University of Cape Town Cape Town, South Africa

@mattrobball
Matthew Robert Ballard mattrobball
I am a mathematician who wears the clothes of a physicist and/or computer scientist, depending on the day.

University of South Carolina Columbia, South Carolina, USA

@edgarcosta
Edgar Costa edgarcosta

Massachusetts Institute of Technology

@frenzymath
FrenzyMath frenzymath
@mo271
Moritz Firsching mo271

Google Basel, CH

@HLim55
Hyojae Lim HLim55

Korea Institute for Advanced Study (KIAS) Seoul, Republic of Korea

@pitmonticone
Pietro Monticone pitmonticone
Informal Mathematics @unitrento || Formal Mathematics at @harmonic-ai || Formalising in @leanprover || Developing in @JuliaLang and @python.

University of Trento Trento, Italy

@passagemath
passagemath passagemath
General purpose mathematical software system, fork of SageMath supporting modularized installation with pip

United States of America

@Multramate
David Kurniadi Angdinata Multramate
UEA / LSGNT / Cambridge / Imperial

@ImperialCollegeLondon London, United Kingdom

@HyukpyoHong
Hyukpyo Hong HyukpyoHong
Van Vleck Assistant Professor in the Department of Mathematics at the University of Wisconsin–Madison.

University of Wisconsin–Madison Madison, WI, United States

@Lean-Korea
Lean-Korea
@loefflerd
David Loeffler loefflerd
Mathematics professor at UniDistance Switzerland. Interested in number theory and in formal proof verification.

Brig, Switzerland

@FormalizedFormalLogic
Formalized Formal Logic FormalizedFormalLogic
Formalize Formal Logic in Lean4
@chabulhwi
Bulhwi Cha chabulhwi
I aim to create video games and other media for learning STEM disciplines.

Semmalgil Seoul, Republic of Korea (South Korea)

@roed314
David Roe roed314

MIT Cambridge, MA

@CBirkbeck
Chris Birkbeck CBirkbeck
@YaelDillies
Yaël Dillies YaelDillies
Second year PhD student at Stockholm Universitet in additive combinatorics. Also working for Google DeepMind through Adecco Sweden.

Stockholm Universitet Stockholm

@alexjbest
Alex J Best alexjbest
Hoi!

London, UK

@b-mehta
Bhavik Mehta b-mehta
Chapman Fellow in Mathematics at Imperial College London

London

@teorth
teorth
@eric-wieser
Eric Wieser eric-wieser

@google-deepmind Greater London area

@alreadydone
Junyan Xu alreadydone
Postdoc in math, working on Lean's mathlib4 and formalization of FLT. Interested in autoformalization and AI for mathematics.

Universität Heidelberg Heidelberg / Shenzhen

@PatrickMassot
Patrick Massot PatrickMassot

Paris

@saraedum
Julian Rüth saraedum
Free Software enthusiast, PhD in Mathematics with a history in ACM ICPC style competitions.

CTO at @Miaplaza

@hrmacbeth
Heather Macbeth hrmacbeth

London, UK

@grhkm21
grhkm21
There is only one me! b0e30c25d9bf8e20f2e9810adda61ba85452d4e7
@thefundamentaltheor3m
Sidharth Hariharan thefundamentaltheor3m
PhD student at Carnegie Mellon University | MSci Mathematics graduate from Imperial College London

Carnegie Mellon University Pittsburgh, Pennsylvania, United States

@leanprover-community
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
@sagemath
Sage Mathematical Software System sagemath

Earth, Solar System, Milky Way Galaxy, Local Group, Virgo Supercluster, Universe

@CryptoLabInc
CryptoLab Inc. CryptoLabInc

Korea, South

@kbuzzard
Kevin Buzzard kbuzzard
Professor of pure mathematics at Imperial College London. Currently learning about theorem provers.

@ImperialCollegeLondon London

@tb65536
Thomas Browning tb65536
@ghost
Deleted user ghost
Hi, I'm @ghost! I take the place of user accounts that have been deleted. :ghost:

Nothing to see here, move along.