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
@thefundamentaltheor3m
Sidharth Hariharan thefundamentaltheor3m
PhD student at Carnegie Mellon University | MSci Mathematics graduate from Imperial College London

Carnegie Mellon University Pittsburgh, Pennsylvania, United States

@arthur-adjedj
Arthur Adjedj arthur-adjedj
Computer Science student

ENS Paris-Saclay Paris, France

@jrk
Jonathan Ragan-Kelley jrk
Associate Professor of Computer Science at MIT

MIT Cambridge, MA

@melanie-taprogge
Melanie Taprogge melanie-taprogge
PhD student at the Université Paris-Saclay and the University of Greifswald
@jhoenicke
Jochen Hoenicke jhoenicke
Formal Verification Researcher at @Certora

@Certora Freiburg, Germany

@gares
Enrico Tassi gares
I'm a researcher in CS, mainly formal proofs and the implementation of proof assistants. I'm a hacker, a free software supporter

@coq @math-comp @LPCIC Inria Sophia-Antipolis

@apaszke
Adam Paszke apaszke
Author of PyTorch. Research Scientist @ Google.

@google Berlin, Germany

@tsung-ju
Tsung-Ju Chiang tsung-ju

Standard Chartered Singapore

@re-xyr
daylily re-xyr
of no particular qualities of note.

Carnegie Mellon University Great Hakurei Barrier

@chutasano
Chuta Sano chutasano
PhD student at McGill University
@agda-web
Agda Web agda-web
Bring Agda the interactive proof assistant to the web.

Taiwan

@mbovel
Matt Bovel mbovel
PhD student at @lampepfl, working on refinement types for Scala 3. Former intern at @oracle Labs, worked on GraalWasm and Truffle. CS MSc/BSc from EPFL.

EPFL Lausanne, Switzerland

@runtimeverification
Runtime Verification Inc. runtimeverification

Champaign, IL

@ysymyth
Shunyu Yao ysymyth

Princeton University

@thinking-machines-lab
Thinking Machines thinking-machines-lab
Thinking, beeping, and booping.
@zaxioms0
zach zaxioms0
PhD student at CMU. Interested in Automated Reasoning and Massive Parallelism

Pittsburgh, PA

@no-defun-allowed
Hayley Patton no-defun-allowed
catgirl representation in programming language design and implementation 🐾ΘΔ

Applied Language and/or ANU Canberra, Australia

@SwampertX
Yee Jian TAN SwampertX
Theoretical CS Research Masters (MPRI) student at École Polytechnique.
@pigworker
Conor McBride pigworker

Glasgow

@um-catlab
UM Cat Lab um-catlab

United States of America

@nyu-acsys
NYU ACSys nyu-acsys
NYU Analysis of Computer Systems (Formal Methods) group

New York City, NY

@LuChengTHU
Cheng Lu LuChengTHU
Member of Technical Staff @openai

OpenAI San Francisco

@simonpj
Simon Peyton Jones simonpj

Epic Games

@PhotonQuantum
LightQuantum PhotonQuantum
CS PhD Student @ UToronto

University of Toronto Toronto, Canada

@shwestrick
Sam Westrick shwestrick

New York University New York, NY

@tomdjong
Tom de Jong tomdjong
@alcides
Alcides Fonseca alcides
Associate Professor at University of Lisbon, Portugal Researcher at LASIGE

LASIGE, University of Lisbon Lisboa, Portugal

@NathanielB123
Nathaniel Burke NathanielB123

TU Delft Delft, Netherlands

@Villetaneuse
Pierre Rousselin Villetaneuse
Computer science teacher at Université Sorbonne Paris Nord
@AnkaChan
Anka Chen AnkaChan
Simulation, collision detection & resolution, motion capture

Simulation Technology, Nvidia Kirkland, WA

@gaogaotiantian
Tian Gao gaogaotiantian
@python core dev, Author of VizTracer, coredumpy, dowhen, watchpoints and objprint

Databricks Mountain View

@anfelor
Anton Felix Lorenzen anfelor

Edinburgh, UK

@RobertHarper
Robert Harper RobertHarper
I am a Professor in the Computer Science Department at Carnegie Mellon University, where I have been a member of faculty since 1988.

Carnegie Mellon University Pittsburgh PA

@maxdore
Maximilian Doré maxdore

Cologne, Germany

@Inferara
Inferara Inferara
Formal methods and programming languages research for Web3

Japan

@mit-plv
Programming Languages and Verification Group at MIT CSAIL mit-plv

MIT CSAIL, Building 32–G8

@youkaichao
youkaichao youkaichao
Ph.D. from Tsinghua University. Core maintainer of @vllm-project .

@vllm-project Beijing, China

@jordan-benjamin
Jordan Juravsky jordan-benjamin
AI Research at Meta

Stanford Palo Alto, CA

@benjaminfspector
Benjamin Spector benjaminfspector
Stanford PhD student in CS.

Palo Alto, CA

@chengluyu
Luyu Cheng chengluyu
PhD candidate at HKUST supervised by @LPTK

@hkust-taco, HKUST Hong Kong SAR, China

@Ailrun
Junyoung/"Clare" Jang Ailrun
Passionate programmer equipped with Fun. lang., working on a logical foundation of interop. Haskell IDE team member of @haskell. AWS Scientist Intern 2022

CompLogic @ McGill University Montreal, QC, Canada

@leandron
Leandro Nunes leandron
Principal compiler engineer at Arm.

Arm

@MevenBertrand
Meven Lennon-Bertrand MevenBertrand
Post-doc at the University of Cambridge
@cpitclaudel
Clément Pit-Claudel cpitclaudel

EPFL Lausanne, Switzerland

@wrengr
wren romano wrengr

Portland, OR, USA

@cyrus-
Cyrus Omar cyrus-
designing Hazel, a live functional programming environment with typed holes ⁙ Assistant Professor @ Michigan leading FP Lab ⁙ CMU PhD ⁙ former neurobiologist

University of Michigan Ann Arbor, MI

@stefaniatadama
Stefania Damato stefaniatadama
PhD student

University of Nottingham

@mortberg
Anders Mörtberg mortberg

Sweden

@ByteDance-Seed
ByteDance-Seed
@jsiek
Jeremy G. Siek jsiek
Professor at Indiana University

Indiana University Bloomington, IN