Skip to content
View seewoo5's full-sized avatar
🧠
Thinking
🧠
Thinking

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
@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

@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

@Paul-Lez
Paul Lezeau Paul-Lez
Researcher @ Google DeepMind & 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

@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

@HLim55
Hyojae Lim HLim55

Johann Radon Institute for Computational and Applied Mathematics (RICAM) Linz, Austria

@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

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

Brig, Switzerland

@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

@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

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

London

@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

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

CTO at @Miaplaza

@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

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

@ImperialCollegeLondon London

@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.

@gilbutITbook
길벗 IT전문서/입문서 gilbutITbook

(주)도서출판 길벗 서울특별시 마포구 월드컵로10길 56