Skip to content
View andongfan's full-sized avatar
76 followers · 55 following

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Shark

Achievements

Achievement: Pair ExtraordinaireAchievement: Pull Shark

Organizations

@hkust-taco

Block or report andongfan

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
@bodzioney
Ethan Bodzioney bodzioney
PL enjoyer

University of Toronto

@Lemonsity
Youzhang (Mark) Sun Lemonsity
Programming Languages ∧ Mathematics

@Lodestone-Team

@Hughshine
Xuyang Li Hughshine
FM, SE, PL, CS, HCI. 1st year Phd Student @Purdue.

West Lafayette

@Hua-hana
Jinhua Wu Hua-hana
PL | Formal Verification | Working on Rust verified compiler

Shanghai Jiao Tong University

@anfelor
Anton Felix Lorenzen anfelor

Edinburgh, UK

@waterlens
Waterlens waterlens
@breandan
breandan breandan
Student

@mila-iqia Montréal, Québec, Canada

@FlazeNaive
Flaze FlazeNaive
遇到困难，就不做了，睡大觉！！！

EPF Lausanne Lausanne, Swizterland

@Meowcolm024
Malcolm Law Meowcolm024
Trying Rust!

HKU Moon

@Kensuke-Hinata
ypcpy Kensuke-Hinata
greedy is bad

redocpot Shenzhen, China

@haoyang9804
Haoyang Ma haoyang9804
Compiler, Fuzzing, Bug Isolation

HKUST Hong Kong

@Guoziyang27
Guo Ziyang Guoziyang27
CS PhD Candidate at Northwestern University

Evanston

@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

@NeilKleistGao
Fa1sePRoMiSe NeilKleistGao
Ex-intern @bytedance. PhD student @hkust-taco. Pleased to meet you. Hope you guess my name.

Peach's Castle

@fo5for
Tony Chau fo5for
@permui
Aoyang Yu permui
Senior in Computer Science, interested in programming language theory.

Zhejiang University Hangzhou, China

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

INRIA/ENS; Tufts

@julesjacobs
julesjacobs
@pca006132
pca006132 pca006132
Premature optimization is my passion

Hong Kong

@wcphkust
wcphkust
Static analysis, program language theory

Postdoc@Purdue CS, HKUST Alumnus West Lafayette

@Linyxus
Yichen Xu Linyxus
PhD student @ LAMP, EPFL

Wuxi, China

@TH3CHARLie
Xuanda Yang TH3CHARLie
Computer Graphics/Compiler

University of California San Diego

@RalXYZ
Ralph RalXYZ
Stare into the void

Zhejiang University Beijing/Hangzhou, China

@chengluyu
Luyu Cheng chengluyu
PhD candidate at HKUST supervised by @LPTK

@hkust-taco Hong Kong SAR, China

@cxz66666
ChenXuzheng cxz66666
CS Master for ZJU, member of @RC4ML

Zhejiang University Hangzhou, China

@juniorxxue
Xu Xue juniorxxue
@ziyue-pan
Ziyue Pan ziyue-pan
Mediocrity is Stupidity

/dev/null

@Sec-R
Sec R Sec-R
舞い上がる因果交流
@yihozhang
Yihong Zhang yihozhang
PhD student at the University of Washington

Seattle

@xnning
Ningning xnning
Types are all you need.

University of Toronto

@bixuanzju
Xuan Bi bixuanzju
Haskell developer

Standard Chartered Hong Kong

@brunocdsoliveira
brunocdsoliveira
@LPTK
Lionel Parreaux LPTK
Assistant Professor at the Hong Kong University of Science and Technology, CSE department

HKUST

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

slow@xsnow.live Paris

@thwfhk
Wenhao Tang thwfhk
PhD student in Programming Languages

The University of Edinburgh Edinburgh, UK

@ltzone
Litao Zhou ltzone
Ph.D. student @hkuplg, Programming Languages

The University of Hong Kong Hong Kong

@vtu81
Tinghao Xie vtu81
PhD student in ECE@Princeton, alumni at ZJU.

Princeton University Princeton, NJ

@juda
juda
I work for my love

Hong Kong

@zkx06111
Kexun Zhang zkx06111
Interested in linguistics. Former participant in programming contests.
@determ1ne
Azuk 443 determ1ne
EE PhD Candidate @ Zhejiang University
@FanBB2333
L1ght FanBB2333
Hi there! Welcome to my fancy space.

Hangzhou, Zhejiang Rio de Janeiro

@yzyzsun
Yaozhu Sun yzyzsun

@HKUPLG Hong Kong

@haoyang-graphics
Haoyang Zhou haoyang-graphics

ETH Zürich Zürich, Switzerland

@Lokilankaaa
Lokilankaaa Lokilankaaa

Zhejiang University

@QSCTech-Sange
Yang Yuhao QSCTech-Sange
Bug creator.

Zhejiang University Hangzhou, China

@MartinNose
Junliang Liu MartinNose
happy hacking

UC San Diego La Jolla, US

@Dreamerryao
Dreamerryao
👋

Zhejiang University Hangzhou, China

@tespent
Wu Yufei tespent

@bytedance Hangzhou, Zhejiang, China