Skip to content
View xurongchen's full-sized avatar
😅
Coding bugs
😅
Coding bugs
37 followers · 28 following

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report xurongchen

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
@linusboyle
Zhilei Han linusboyle
PhD student @ Tsinghua University. Research on formal verification.

Tsinghua University Beijing, PRC

@ssyram
ssyram
@chjinche
chjinche
@mingsjtu
Ming mingsjtu
Master Student in Tsinghua University

Tsinghua University

@Misasasa
Misasasa
A salty fish...

Tsinghua University Beijing, China

@DimLight1998
Zhang Yang DimLight1998

Tsinghua University Beijing

@3tothe6
YANG Qi 3tothe6

Beijing

@songyahui
songyahui
Programming language & software engineering. Formal verification.

NUS CS Research Fellow Singapore

@wcphkust
wcphkust
Static analysis, program language theory

Postdoc@Purdue CS, HKUST Alumnus West Lafayette

@yikungong
yikungong

TsClean Beijing

@YangEfei
杨逸飞 YangEfei

Tsinghua University

@chansonyhu
chansonyhu
Formal verification / Program analysis / Regression verification

Tsinghua University

@paulzfm
Paul paulzfm
Coq & Cocktail

Saarland University & CISPA Saarbrücken, Germany

@namasikanam
Xingyu Xie namasikanam
Dream to find rigorousness and meaning in the messy world. Interested in applied formal methods, especially for cryptography.

Max Planck Institute for Security & Privacy Bochum, Germany

@YanshuHu
Yanshu Hu YanshuHu

Tsinghua University Beijing

@sadyan9123
给我七平米 sadyan9123
@FeifanXu
Feifan Xu FeifanXu

tsinghua beijing

@fanhy2114
Felix fanhy2114
you are here, welcome

TsingHua University HaiDian Beijing

@liarchgh
leesue liarchgh
game
@chomimi101
chomimi101
@hrbeuyz24
杨卓 hrbeuyz24

heu hrbin engineering university

@fyting
wangxinliang fyting
😃

Beihang University

@Germey
Germey Germey
Software Engineer.

United States of America

@kopyh
kopyh
@githubwst
githubwst
@wtjiang98
Wentao Jiang wtjiang98
CS PhD / Computer Vision

Alibaba Beijing

@8cbx
8cbx

Beijing

@qinggniq
qinggniq qinggniq
Database cannot reach a conclusion.

Beijing Haidian