Skip to content
View XujieSi's full-sized avatar
43 followers · 23 following

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull SharkAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report XujieSi

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
@verse-lab
Verified Systems Engineering Lab verse-lab
Research Group at NUS School of Computing

Singapore

@kenmcmil
Ken McMillan kenmcmil

UT Austin

@leanprover-community
leanprover-community
Community-built infrastructure for the Lean (https://leanprover.github.io/) theorem prover
@VectorInstitute
Vector Institute VectorInstitute

Toronto, ON, CA

@Kha
Sebastian Ullrich Kha

Lean FRO Munich, Germany

@leodemoura
Leonardo de Moura leodemoura
See https://leodemoura.github.io/about.html

AWS Seattle

@nhamlv-55
Nham Le nhamlv-55
@snowfossi
Sissi Jiang snowfossi
University of Toronto CS master student
@TongTongX
Xutong Zhao TongTongX

Montreal, Canada

@kimiyoung
Zhilin Yang kimiyoung

Carnegie Mellon University

@alexeyignatiev
Alexey Ignatiev alexeyignatiev

Monash University Melbourne, Australia

@Jungyhuk
Xinyun Chen Jungyhuk
Ph.D. student, UC Berkeley.
@Hanjun-Dai
Hanjun Dai Hanjun-Dai
Research Scientist at Google Brain

Google United States

@carlini
Nicholas Carlini carlini
I break things
@systempanda200
Meng systempanda200
Stay curious

US

@lastland
Li Yao lastland
Assistant Professor at Portland State University. Functional Programming. Formal Verification. Haskell/Rocq.

Portland State University Portland, OR

@xnning
Ningning xnning
Types are all you need.

University of Toronto

@bobzhang
Hongbo Zhang bobzhang
@ywskycn
Wei Yan ywskycn
Ex-Uber, Apache Hadoop Committer
@pluskid
Chiyuan Zhang pluskid

MIT Boston, MA

@stella-gao
Stella Gao stella-gao
Applied Scientist

Amazon Santa Clara, CA

@sweirich
Stephanie Weirich sweirich
Wish I had more time to code. And by code, I mean prove things.

University of Pennsylvania Philadelphia

@phreed
Fred Eisele phreed
I like distributed collaborative mechanical design systems. I like category theory. I like (agricultural) robots.

Vanderbilt ISIS Nashville Tennessee