Skip to content
View Hughshine's full-sized avatar
💠
💠
96 followers · 219 following

Achievements

Achievement: StarstruckAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Achievements

Achievement: StarstruckAchievement: Pull Sharkx2Achievement: Arctic Code Vault Contributor

Block or report Hughshine

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
@yongweiy
Yongwei Yuan yongweiy
PhD student @ Purdue

West Lafayette

@WuYff
Yi Wu WuYff

Purdue University West Lafayette, United States

@lean-dojo
LeanDojo lean-dojo
Machine Learning for Theorem Proving in Lean

United States of America

@xldenis
Xavier Denis xldenis
formal verification hacker
@joom
Joomy Korkut joom
Formal verification and programming languages researcher.

@Bloomberg New York City

@Garfield-Finch
Zhi Tu Garfield-Finch
Ph.D. Student @ Purdue University

Purdue University West Lafayette

@kitsu418
Weiyi CHEN kitsu418
Loser | CS @ HUST | @Unique-Lab

Huazhong University of Sci. and Tech. Gensokyo

@ZhangZhuoSJTU
Zhuo Zhang ZhangZhuoSJTU

Purdue University West Lafayette

@lastland
Li Yao lastland
Assistant Professor at Portland State University. Functional Programming. Formal Verification. Haskell/Coq.

Portland State University Portland, OR

@dobios
Amelia Dobis dobios
PhD Student at Princeton Universtiy | PL Design & HW Verification | MSc ETH CS, BSc EPFL CS

Princeton University Princeton, NJ

@rachitnigam
Rachit Nigam rachitnigam
Incoming EECS professor at MIT. Creator of @calyxir. Up to no good.

Massachusetts Institute of Technology

@DNXie
Danning XIE DNXie
Technophobia

Purdue University West Lafayette, United States

@BurtonQin
Boqin Qin(秦 伯钦) BurtonQin
I received my B.S. and Ph.D. in BUPT, China. I was a visiting scholar in PennState, US, 2018-2019. Interested in program analysis and blockchain security.

Haidian District, Beijing

@Jdkhnjggf
Ruiyi Zhang Jdkhnjggf
Ph.D. Student at CISPA - Microarchitectural Security

CISPA Helmholtz Center for Information Security Saarbrücken, Germany

@shao-hua-li
Shaohua Li shao-hua-li
Ph.D. student @ ETH Zurich

ETH Zurich Zurich, Switzerland

@zksecurity
ZkSecurity zksecurity
@Pat-Lafon
Patrick LaFontaine Pat-Lafon
@PP-FM
PP-FM
@Emanon42
Emanon Emanon42
CPDT, CPDT

極東魔術昼寝結社 West Lafayette, IN, US

@digama0
Mario Carneiro digama0
I'm a post-doc working on formal mathematics and interactive theorem proving. I am an expert in the Metamath and Lean proof languages.

Chalmers University of Technology Gothenburg, Sweden

@iyea
iyea
@szabta89
Tamás Szabó szabta89
Staff research engineer @githubnext / PhD in computer science / mountain biker / crossfitter

GitHub Austria

@soonhokong
Soonho Kong soonhokong

Amazon Web Services

@andongfan
Andong Fan andongfan
PhD student in PL
@KuntaiDu
Kuntai Du KuntaiDu
UChicago CS PhD, graduating

University of Chicago, Chicago, Illinois

@MaoZiming
Ziming Mao MaoZiming
PhD student @ UC Berkeley. @NetSys CS @ Yale, @Yale-LILY, @Thesys-lab @ CMU.

UC Berkeley Berkeley, CA

@ivanium
Yifan Qiao ivanium
Graduate Student in Computer Science

UC Berkeley Berkeley

@wuc9521
Chentian Wu wuc9521
Junior of MATH & CS @UW-Madison

University of Wisconsin-Madison Madison, WI

@paulzfm
Paul paulzfm
Coq & Cocktail

Saarland University & CISPA Saarbrücken, Germany

@HazardousPeach
Alex Sanchez-Stern HazardousPeach
CS researcher, engineer, and teacher, have worked at the University of Washington, UC San Diego, and UMass Amherst.
@marshtompsxd
Xudong Sun marshtompsxd
UIUC CS Ph.D. student

University of Illinois Urbana-Champaign

@euclidgame
Wenjie Ma euclidgame

Berkeley, CA

@Lin23299
Ling Zhang Lin23299
PL | Compiler Verification | Hacking on CompCert

Shanghai Jiao Tong University

@heng-zhong-2003
Nicolas H. Chung heng-zhong-2003
Senior undergraduate at Fudan Univ. dept. of CS. Interested in programming languages and computing systems. 管仲去兮九百年，樂毅沒兮四百歳，誰復知思王者治？可憐丞相病危篤！

Fudan University Brookline, Massachusetts

@RaitoBezarius
Ryan Lahfa RaitoBezarius
Formal verification, systems engineering, network engineering and more. A love for Public Interest projects and a passion for simple & elegant systems.

Independent Contributor France

@JiaoyiZhang
Jiaoyi Zhang JiaoyiZhang
Ph.D. candidate @ IIIS, Tsinghua University.

@DBLab-TeaGarden Beijing, China

@nihui
nihui
マジやばくね

Shanghai

@juniorxxue
Xu Xue juniorxxue
@werifu
Chen werifu
PL/SE/Web | PhD student of PurPL @Purdue

West Lafayette, IN

@Kraks
Guannan Wei Kraks
Postdoc (PL/FM/Compilers); Incoming Asst Prof at Tufts

INRIA/ENS; Tufts

@Xuanbai-Chen
Xuanbai-Chen
@jiry17
Ruyi Ji jiry17

Peking University Beijing, China

@wcphkust
wcphkust
Static analysis, program language theory

Postdoc@Purdue CS, HKUST Alumnus West Lafayette

@privacy-scaling-explorations
Privacy & Scaling Explorations privacy-scaling-explorations
Formerly known as appliedzkp, we work to bridge the gap between cutting-edge research in Zero-Knowledge Proofs (ZKP) and application development on Ethereum.
@Robin-Y-Ding
Robin-Y-Ding
Ph.D. student @ Columbia ARiSE lab

Columbia University New York City, NY, USA

@PhotonQuantum
LightQuantum PhotonQuantum
CS undergraduate @SJTU-19

Shanghai Jiao Tong University Shanghai, China

@ekmett
Edward Kmett ekmett
I write a lot of Haskell.

Positron AI Farmington Hills, MI

@Inferara
Inferara Inferara
We use formal methods to prove the correctness of blockchain code
@yiyunliu
Yiyun Liu yiyunliu
PhD Student studying Programming Language Theory

University of Pennsylvania

@jtristan
John Tristan jtristan

Amazon United States