Skip to content
View qinheping's full-sized avatar
14 followers · 9 following

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: QuickdrawAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Highlights

  • Pro
Block or Report

Block or report qinheping

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
@clarus
Guillaume Claret clarus
Working at Formal Land to formally verify mainstream programs using the proof system Coq.

Formal Land Paris

@NWMonster
NWMonster NWMonster
@SeshatCZ
SeshatCZ

Czech republic

@Misasasa
Misasasa
A salty fish...

Tsinghua University Beijing, China

@hilaolu
Phyzait Lu hilaolu
@ivy-lv11
ivy-lv11
@ruipeterpan
Rui Pan 潘瑞 ruipeterpan
System researcher wannabe | 2nd-yr Ph.D. @princeton | Previously @UW-Madison, @MPI-INF, and @aws

Princeton, New Jersey

@liyun19950119
liyun19950119
@ShawnZhong
Shawn Zhong ShawnZhong

Madison, Wisconsin

@ForeverZyh
Yuhao Zhang ForeverZyh
Fourth-year PhD student at madPL, UW-Madison

University of Wisconsin-Madison Madison

@lorisdanto
Loris D'Antoni lorisdanto

University of Wisconsin Madison

@eda-ricercatore
Zhiyang Ong eda-ricercatore
A multilingual, globetrotting cultural chameleon pursuing U.N. SDGs

Design Automation Renegades In passato, vicino al Dolomiti

@lpl6338236
lpl6338236
@HaiyunJin
HaiyunJin