Skip to content
View liyishuai's full-sized avatar
🐔
I program with Coq !
🐔
I program with Coq !
256 followers · 164 following

Sponsors

@sparanoid

Achievements

Achievement: StarstruckAchievement: YOLOAchievement: Pair Extraordinairex2Achievement: Galaxy BrainAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Achievements

Achievement: StarstruckAchievement: YOLOAchievement: Pair Extraordinairex2Achievement: Galaxy BrainAchievement: QuickdrawAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx3

Organizations

@rocq-prover @plclub @rocq-community @ocaml-community

Block or report liyishuai

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 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
@TessaaaWu
TessaaaWu
@Shawnxm
Xumiao Zhang Shawnxm
UMich CSE PhD

Alibaba Cloud

@peijunz
Peijun Zhu peijunz
Robotics

AppLovin

@yiyunliu
Yiyun Liu yiyunliu
PhD Student studying Programming Language Theory

University of Pennsylvania

@Equim-chan
Equim Equim-chan
If you are designing a system whose functions include providing evidence, it had better be able to withstand hostile review. - Ross J. Anderson

GF(2)

@otrack
Pierre Sutra otrack
Professor in Computer Science at Institut Polytechnique de Paris

Télécom SudParis Paris, France

@Lslightly
Qingwei Li Lslightly
laziness overflow but struggle to work hard and discover something interesting in life.

University of Science and Technology of China Hefei, Anhui, China

@Jin93
Jin Jin Jin93
Assistant Professor of Biostatistics

Penn Perelman School of Medicine Philadelphia, PA

@Ascarshen
Ke Shen Ascarshen

Edinburgh, UK

@ukulililixl
Shell Li ukulililixl
I'm interested distributed system.

CUHK Hong Kong S.A.R.

@mingyuan-zh
Mingyuan (William) Zhang mingyuan-zh
Formally @moshimowang. Website: myzh.io

United States

@MingchenXia
Mingchen Xia MingchenXia
Anti-France propagandist À bas Macron!

USTC Hefei

@XSnow
Snow XSnow
A PhD graduate from @hkuplg

Paris

@PhotonQuantum
LightQuantum PhotonQuantum
CS PhD Student @ UToronto

University of Toronto Toronto, Canada

@Victorwz
Weizhi Wang Victorwz
Researcher @Tencent-Hunyuan

Tencent

@gatoWololo
Omar Navarro Leija gatoWololo
Time for Crab 🦀

San Francisco

@Zdancewic
Steve Zdancewic Zdancewic

University of Pennsylvania United States

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

University of Pennsylvania Philadelphia

@smtcoq
smtcoq
@Sharon-Shao
Sharon Sharon-Shao
@taoky
taoky taoky
"What might be 'ordinary' or 'taken for granted'?"

pony.ai

@Zimmi48
Théo Zimmermann Zimmi48
Researcher in Empirical Software Engineering. Studies how open source contributors collaborate. @rocq-prover maintainer. @NixOS user and contributor.

Télécom Paris Paris

@gaoyifan
Yifan Gao gaoyifan

@ustclug

@weify627
Fangyin Wei weify627
@xinpl
Xin Zhang xinpl
Assistant Professor at PKU. Working on Programming Languages.

Peking University Beijing

@wei
Wei He wei
👨‍💻 Full Stack Engineer | ☁️ Solutions Architect Expert | 💼 M.B.A.

Florida

@SukkaW
Sukka SukkaW
Vibe Code Cleanup Specialist. All opinions are my own. Literally all of them.

City of Science which may or may not in China

@SamFrohlich
Sam Frohlich SamFrohlich
Lecturer in Programming Languages

University of Bristol Bristol

@bendy
Ben Delaware bendy
@ccyip
Qianchuan Ye ccyip
Assistant Professor of Computer Science and Engineering at University at Buffalo, SUNY

University at Buffalo, SUNY Buffalo, NY

@regymm
regymm regymm
Post-undergrad amateur programmer

Univ. of Sci. & Tech. of China Forever

@sakura-umi
Sakuraumi sakura-umi
USTC SCGYer よろしく
@yuanyiwei
totoroyyw yuanyiwei
漫长又短暂

{AEPRI, USTC, Hefei; Hangzhou}, China

@cdstanford
Caleb Stanford cdstanford
Assistant professor at UC Davis in programming languages, formal methods, systems.

Davis, California, USA

@ccshan
Chung-chieh Shan ccshan
@favonia
favonia favonia
Teaching at U of Minnesota
@anton-trunov
Anton Trunov anton-trunov
Compilers, AI, formal verification

https://www.cerebras.ai Dubai

@jwshii
jwshii
@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@hankstag
hanxiao hankstag
PhD student in Computer Science. Geometry Processing, Computer Graphics

New York University New York City

@WenjunZHAOwO
Wenjun Zhao WenjunZHAOwO
@ppashakhanloo
Pardis Pashakhanloo ppashakhanloo
Currently @ AWS . CS PhD @ UPenn . Formerly @ Microsoft, Certik, Codemod

AWS Bay Area

@pmeiyu
Peng Mei Yu pmeiyu
@XiaonaZhao
Nona Zhao XiaonaZhao
MATLAB; HTML;

USTC Hefei, China

@fallcat
Weiqiu You fallcat
PhD student at Penn. Interned at Meta & OIST & IBM & USC/ISI. MSCS at UMass Amherst. Broadly interested in explainable AI, hiking, volleyball, go, half marathon
@Feiyang
Feiyang
@cihangxie
Cihang Xie cihangxie
Assistant Professor, UC Santa Cruz
@veronica320
Veronica Qing Lyu veronica320
PhD student @ Penn CIS. Interested in the intersection of Natural Language Processing and Linguistics, as well as Interpretability.

University of Pennsylvania Philadelphia, USA

@Kraks
Guannan Wei Kraks
Assistant professor at Tufts University; programming languages, formal methods, compilers

Tufts University

@kayceesrk
KC Sivaramakrishnan kayceesrk
CS Prof, CTO @tarides, @ocaml core developer

IIT Madras and Tarides Chennai, India