Skip to content
View jiangsy's full-sized avatar
82 followers · 455 following

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: Starstruck

Achievements

Achievement: QuickdrawAchievement: Pull Sharkx2Achievement: Pair ExtraordinaireAchievement: Starstruck

Block or report jiangsy

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
@herbelin
Hugo Herbelin herbelin
@haochengxi
Haocheng Xi haochengxi
PhD Student @ UC Berkeley | BS @ Yao Class, Tsinghua | ML sys / Efficient ML

University of California, Berkeley Berkeley, CA

@thelissimus
kei thelissimus
Type Theory, Compiler Engineering, Formal Verification.

Imiron

@bcpierce00
Benjamin Pierce bcpierce00

University of Pennsylvania

@jacobneu
Jacob Neumann jacobneu
Postdoc at Reykjavik University, studying category theory and semantics of type theory Formerly at University of Nottingham, Carnegie Mellon University

Reykjavik, Iceland

@johnyob
Alistair johnyob
Compiler & Type System Enthusiast

University of Cambridge United Kingdom

@gfngfn
Takashi Suwa gfngfn
Develops type systems at Kyoto Univ. and works as a software engineer

Kyoto, Japan

@mikeshulman
Mike Shulman mikeshulman

University of San Diego San Diego, CA

@AndrasKovacs
András Kovács AndrasKovacs
Type theory, applications, implementation
@ToposInstitute
Topos Institute ToposInstitute
@pa-ba
Patrick Bahr pa-ba
Associate Professor in Programming Languages

IT University of Copenhagen Copenhagen, Denmark

@ltzone
Litao Zhou ltzone
Ph.D. student @hkuplg, Programming Languages

The University of Hong Kong Hong Kong

@thwfhk
Wenhao Tang thwfhk
PhD student in Programming Languages

The University of Edinburgh Edinburgh, UK

@pca006132
pca006132 pca006132
Premature optimization is my passion

Hong Kong

@mechtaev
Sergey Mechtaev mechtaev

Peking University China

@JimmyZJX
JimmyZJX
@y553546436
Pu (Luke) Yi y553546436
PhD student @Stanford Previously undergrad @pku

Stanford University

@txa
Thorsten Altenkirch txa

The University of Nottingham Nottingham, UK

@coquand
coquand
@yangky11
Kaiyu Yang yangky11
@uwplse
UW PLSE uwplse
University of Washington Programming Languages and Software Engineering

Seattle, WA

@mattecapu
Matteo Capucci mattecapu
Independent Researcher. Applied Category Theory + ε. Retired web dev.

Glasgow, UK

@banacorn
Ting-gian LUA banacorn
Into CS, maths, and linguistics.

Taipei, Taiwan

@Ying1123
Ying Sheng Ying1123
Large Language Models, Machine Learning Systems, Formal Verification, Automated Reasoning.
@fredrik-bakke
Fredrik Bakke fredrik-bakke

NTNU Norway

@ilya-klyuchnikov
ilya-klyuchnikov

@facebook London

@joulook
Mohammad Hossein Khoshechin Jorshari joulook
Ph.D. Student @ MPI-SWS / Formal Verification / Distributed Systems / Concurrency Theory

Germany

@Chaarlesss
Charles de Haro Chaarlesss
PhD Student in Abstract Interpretation, Static Analysis and Synchronous Languages

École Normale Supérieure Paris, France

@TiarkRompf
Tiark Rompf TiarkRompf

Faculty at Purdue University

@UniMath
Univalent Mathematics UniMath
A unified approach to formalization of mathematical knowledge based on Univalent Foundations.
@MathGloss
MathGloss
@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@rossberg
Andreas Rossberg rossberg
Programming Language Researcher, Designer and Engineer
@digama0
Mario Carneiro digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.

Chalmers University of Technology Gothenburg, Sweden

@JacquesCarette
Jacques Carette JacquesCarette

McMaster University Hamilton, Ontario, Canada

@Aurel300
Aurea Aurel300
PhD student in Rust verification. Rust enthusiast, game developer, CTF player and author.

ETH Zurich

@williamdemeo
William DeMeo williamdemeo
Universal algebraist, complexity theorist, formal methodologist, AI alchemist, functional programmer (Agda, Lean, Scala, Spark).

IO @input-output-hk Boulder, CO, USA

@yallop
Jeremy Yallop yallop

University of Cambridge Cambridge, UK

@martinescardo
Martin Escardo martinescardo
Professor of Theoretical Computer Science

University of Birmingham United Kingdom

@Lysxia
Xia Li-yao Lysxia
@chemacortes
Chema Cortés chemacortes
Programmer: an artist who can see formal patterns inside a model and has the ability to make a new order with them.

DGA Zaragoza, Spain

@fredstro
Fredrik Strömberg fredstro
I am an associate professor in number theory at the University of Nottingham, with an interest in computational number theory and related topics.

University of Nottingham Nottingham, UK

@PingchuanMa
Pingchuan Ma PingchuanMa
@omegaiota
Yifei Li omegaiota
CS PhD student at Massachusetts Institute of Technology

Cambridge, MA

@arademaker
Alexandre Rademaker arademaker
Researcher in Logic, Computational Semantics, NLU and KRR.

EMAp/FGV Rio de Janeiro

@elixir-lang
The Elixir programming language elixir-lang
@TheoWinterhalter
Théo Winterhalter TheoWinterhalter
Researcher, proof assistants and dependent types

INRIA Saclay Saclay

@hauntsaninja
Shantanu hauntsaninja
Maintainer of typeshed and mypy, CPython core dev, author of pyp, contributor to several other projects. Work at OpenAI by day.

@OpenAI

@shenjiasi
shenjiasi
@probcomp
MIT Probabilistic Computing Project probcomp

Cambridge, MA