8000 jiangsy (Shengyi Jiang) / Following · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View jiangsy's full-sized avatar
79 followers · 424 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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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
@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. candidate in Tsinghua University. Visiting UC Berkeley, working on @vllm-project now.

@vllm-project Beijing, China

@jordan-benjamin
Jordan Juravsky jordan-benjamin
AI Research | PhD Student at Stanford

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
A passionate programmer equipped with functional arms. Haskell IDE team member of @haskell, affilated with @haskellfoundation. 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

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

@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
PhD student, Functional Programming Lab at the University of Nottingham's School of Computer Science; Former Lecturer at Carnegie Mellon University SCS

Nottingham, England, UK

@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
Research Scientist @ Meta, FAIR

Meta Fundamental AI Research (FAIR) New York, NY

@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 & RPTU / Computer Science / Interested in Formal Methods / 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
0