[go: up one dir, main page]
Skip to content
View liyishuai's full-sized avatar
🐔
I program with Coq !
🐔
I program with Coq !
238 followers · 162 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

@coq @coq-ext-lib @plclub @Coq-zh @coq-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
@peijunz
Peijun Zhu peijunz
@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
Associate Professor in Computer Science - PMC @apache

Télécom SudParis Paris, France

@Lslightly
Qingwei Li Lslightly
lazy overflow

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

@Jin93
Jin Jin Jin93
Postdoctoral Fellow

Johns Hopkins Bloomberg School of Public Health Baltimore, MD, USA

@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 undergraduate @SJTU-19

Shanghai Jiao Tong University Shanghai, China

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

University of California, Santa Barbara

@gatoWololo
Omar Navarro Leija gatoWololo
Time for Crab 🦀

Bolt Labs 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'?"

University of Science and Technology of China on USTC campus

@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 is 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 よろしく

USTC USTC

@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

TON Foundation 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

New York University

@ppashakhanloo
Pardis Pashakhanloo ppashakhanloo
Senior Software Engineer @ CertiK CS PhD (University of Pennsylvania) Former Research Intern @ Microsoft

Certik Philadelphia,PA

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

USTC Hefei, China

@fallcat
Weiqiu You fallcat
PhD student at Penn. Interned at IBM&USC/ISI. MSCS at UMass Amherst. Broadly interested in explainable AI. Loves volleyball, go, and 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
Postdoc (PL/FM/Compilers); Incoming Asst Prof at Tufts

INRIA/ENS; Tufts

@kayceesrk
KC Sivaramakrishnan kayceesrk
CTO @tarides, @ocaml core developer, CS Professor with an interest in concurrency and correctness at all levels.

Tarides and IIT Madras Chennai, India

@junyuphybies
junyuphybies
@thwfhk
Wenhao Tang thwfhk
PhD student in Programming Languages

The University of Edinburgh Edinburgh, UK