Skip to content
View justincasher's full-sized avatar
38 followers · 76 following

Achievements

Achievement: Pair ExtraordinaireAchievement: StarstruckAchievement: Pull Sharkx2Achievement: YOLOAchievement: Quickdraw

Achievements

Achievement: Pair ExtraordinaireAchievement: StarstruckAchievement: Pull Sharkx2Achievement: YOLOAchievement: Quickdraw

Highlights

  • Pro

Block or report justincasher

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.

Content in all repositories owned by your account will be closed.
Maximum 250 characters. Please don’t include any personal information such as legal names or email addresses. Markdown is supported. This note will only be visible to you.
Report abuse

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

Report abuse
@cruisesong7
Congyan (Cruise) Song cruisesong7
CS PhD student @ Gatech, broadly interested in formal methods.
@m-ow
Maximiliano Onofre Martínez m-ow

Mexico City

@guodk
Dakai Guo guodk
Postdoc, AMSS, CAS
@artie2000
Artie Khovanov artie2000

University of Edinburgh United Kingdom

@edwin1729
edwin1729

Imperial College London London

@Komyyy
Miyahara Kō Komyyy
My family name is "Miyahara".

Tokyo University of Science Tokyo, Japan

@torvalds
Linus Torvalds torvalds

Linux Foundation Portland, OR

@theorem-labs
Theorem theorem-labs

United States of America

@liyongsea
Jia LI liyongsea
@vEnhance
Evan Chen vEnhance
Math olympiad coach and writer of spaghetti code

Boston, MA

@kenono691
Ken Ono kenono691
Mathematician exploring partitions, modular forms, and number theory with curiosity.
@Vierkantor
Anne Baanen Vierkantor
@YanYablonovskiy
Yan Yablonovskiy YanYablonovskiy
PhD, Mathematics, Monash University, Melbourne.

Australia

@felixpernegger
Felix Pernegger felixpernegger
Master's student at the University of Bonn.
@hehepig166
Zhu Zekai hehepig166
@chenson2018
Chris Henson chenson2018
PhD student at Drexel University studying Programming Languages. Interested in formalizations of categorical semantics in Lean.
@gauss-math-inc
gauss-math-inc
@cameronfreer
Cameron Freer cameronfreer
@sualehasif
Sualeh Asif sualehasif

Massachusetts Institute of Technocrats

@liecn
Chenning Li liecn

Gaia Earth's moon

@manooshree
Manooshree Patel manooshree
PhD @ UC Berkeley; AI for Math & AI for Education
@AareyanManzoor
AareyanManzoor
@jjaassoonn
Jujian Zhang jjaassoonn

Imperial College London Beijing

@alvinwan
Alvin Wan alvinwan
making AI run really fast; fan of cheesecake, corgis, Disneyland

San Francisco

@wellecks
Sean Welleck wellecks

Carnegie Mellon University Pittsburgh

@yangky11
Kaiyu Yang yangky11
@jxin31415
Jimmy Xin jxin31415
Turing Scholar at The University of Texas at Austin
@hughleat
Hugh Leather hughleat

University of Edinburgh Edinburgh

@ChrisCummins
Chris Cummins ChrisCummins
Member of Technical Staff @ Recursive Superintelligence. Previously Meta FAIR, DeepMind, Google, Intel, Axiom Math.

Palo Alto, California

@soonhokong
Soonho Kong soonhokong

Amazon Web Services

@ngernest
Ernest Ng ngernest
CS PhD Student @ Cornell

Ithaca, NY

@huynhtrankhanh
Huỳnh Trần Khanh huynhtrankhanh
formal verification enthusiast bucketpotato orz orz - not an expert in anything and never will be

@rocq-community Vietnam

@aw31
Alexander Wei aw31

OpenAI San Francisco, CA

@htlou
Hantao Lou htlou
Hantao Lou, an undergraduate from Peking University('26)

Peking University Beijing

@alexkeizer
Alex Keizer alexkeizer
PhD Student @ University of Cambridge

University of Cambridge Cambridge

@alexjbest
Alex J Best alexjbest
Hoi!

London, UK

@ricklamers
Rick Lamers ricklamers
I like building software, open source, reading papers and generally working with optimistic people!

Amsterdam + Palo Alto

@seewoo5
Seewoo Lee seewoo5
Doing some math

Lausanne, Switzerland

@IdealRobot
Ideal Robot IdealRobot
@Yosuke-Ito-345
Yosuke Ito Yosuke-Ito-345
FIAJ (Fellow of the Institute of Actuaries of Japan)

Sompo Himawari Life Insurance Inc. Tokyo, Japan

@adityabantwal
Aditya Bantwal adityabantwal
@LogicalMonster
LogicalMonster
@nUser0
nUser0
@steveshibh
ToumaKZS steveshibh
@slashbade
Yutong Wang slashbade
Ph.D. student in department of mathematics, PKU. Focus on representation theory and automated theorem-proving in Lean.

Peking University Beijing

@InfiniteEchoes
GY InfiniteEchoes
That's a moray!
@peabrainiac
Ben Eltschig peabrainiac

Berlin, Germany

@lecopivo
Tomáš Skřivan lecopivo
Mathematician interested in physics simulation, computer graphics and numerical methods.
@leanprover
Lean leanprover
Lean Prover
@AlexKontorovich
Alex Kontorovich AlexKontorovich
Mathematics Professor