Skip to content
View liyishuai's full-sized avatar
🐔
I program with Coq !
🐔
I program with Coq !
252 followers · 163 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 @coq-ext-lib @plclub @Coq-zh @rocq-community @ocaml-community @msra-alumni

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.

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

Alibaba Cloud

@peijunz
Peijun Zhu peijunz
USTC Physics => GT CS => Nuro ML
@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

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.

@moshimowang
William Zhang moshimowang
Think big, start small, learn fast. Seek progress, not perfection.

United States

@MingchenXia
Mingchen Xia MingchenXia
Mathematician.

IMJ-PRG Paris

@XSnow
Snow XSnow
A postdoc at IRIF. A PhD graduate from @hkuplg

slow@xsnow.live Paris

@PhotonQuantum
LightQuantum PhotonQuantum
CS PhD Student @ UToronto

University of Toronto Toronto, Canada

@Victorwz
Weizhi Wang Victorwz
CS Ph.D. Student @ucsb

University of California, Santa Barbara

@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 Software Engineering. Develops @coq & its ecosystem. Likes to program with nice FP languages with type-inference, such as @ocaml or @elm

Télécom Paris Paris

@gaoyifan
Yifan Gao gaoyifan

@ustclug @automesh-network

@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
All opinions are my own. Literally all of them.

City of Science which may or may not in China

@SamFrohlich
Sam Frohlich SamFrohlich
Programming Languages PhD student

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
漫长又短暂

{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

University of Minnesota Minneapolis, MN, USA

@anton-trunov
Anton Trunov anton-trunov
Compilers, formal verification

https://tonstudio.io 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

@junyuphybies
junyuphybies