Thanks to visit codestin.com
Credit goes to github.com

Skip to content
View ychtao's full-sized avatar
🌴
On vacation
🌴
On vacation
44 followers · 56 following
  • University of Michigan
  • Ann Arbor, U.S.A.

Achievements

Achievement: Pull Shark

Achievements

Achievement: Pull Shark

Highlights

  • Pro

Block or report ychtao

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.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. 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
@cruisesong7
Congyan (Cruise) Song cruisesong7
CS PhD student @ Gatech, broadly interested in formal methods.
@melt-umn
Minnesota Extensible Language Tools melt-umn

University of Minnesota, Minneapolis, Minnesota

@stschaef
Steven Schaefer stschaef
@jeannin
Jean-Baptiste Jeannin jeannin
@hanwenzhu
Thomas Zhu hanwenzhu
research scientist @ bytedance seed
@hanzhenzhujene
Hanzhen Zhu hanzhenzhujene

@Harvard

@JialuJialu
Jialu JialuJialu
@QDelta
QDelta

Duke University Durham, NC

@cfeng16
cfeng16

Cornell Tech NYC, NY, US

@practical-tutorials
practical-tutorials
@LighghtEeloo
LighghtEeloo
Looking into PL, System, and Arch

University of Michigan Ann Arbor

@mirryi
Eric Zhao mirryi

Brown University

@Negabinary
Matt Keenan Negabinary
UMich CompSci PhD
@lyt9304
李逸婷 lyt9304

Baixing Shanghai

@yuhan0504
yuhan0504
@Danny2003
Youwei Zhong Danny2003

Yale University New Haven, US

@sjtu
sjtu
unofficial SJTU repo
@umich
University Of Michigan umich
Open-source software created at the University of Michigan.

Ann Arbor, Michigan

@VeriNum
VeriNum VeriNum
Formally Verified Numerical Methods

United States of America

@PhotonQuantum
LightQuantum PhotonQuantum
CS PhD Student @ UToronto

University of Toronto Toronto, Canada

@ice1000
Tesla Zhang‮ ice1000
Type theory daisuki

@plctlab Pennsylvania, Gensokyo

@fannie1208
Faye Nie fannie1208
MS@Stanford, looking or PhD positions

Palo Alto

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

The University of Hong Kong Hong Kong

@JamesZhutheThird
小臣子吃大橙子 JamesZhutheThird

Shanghai Jiao Tong University @X-LANCE @OpenDFM Nanyang Technological University @CIL-NLP Shanghai / Singapore

@CZtheHusky
曹哲 CZtheHusky
Zhe Cao SJTU

上海交通大学 上海

@Zvch17
Jian Fang Zvch17
SJTU major in EE

SJTU Shanghai

@AijiaYao
AIjia AijiaYao
Math and mind, happy hunting!
@xielihan
Lihan Xie xielihan
@torvalds
Linus Torvalds torvalds

Linux Foundation Portland, OR

@prefrontal21
Xiaolin Bu prefrontal21
@bstao
bstao
@denil1111
Yuhao Zhang denil1111

Zhejiang university Shanghai China

@big-tail
big-tail
@tling2000
TangLing tling2000
@eliphatfs
Ruoxi eliphatfs

UCSD Scarlet Devil Mansion, M. Lake, Gensokyo

@q4x3
SherryT q4x3
@Dou-Yiming
Yiming Dou Dou-Yiming
CS PhD student @ Cornell Tech

Cornell Tech Shanghai ↔️ New York

@daitl
daitl
@JxLi0921
jxlkar JxLi0921
Master Student @ SJTU, noob.

Shanghai Jiao Tong University Shanghai

@pixas
Shuyang Jiang pixas

Fudan University Shanghai, China

@Ray010219
Xiangtao Zeng Ray010219
@Emiyalzn
Zenan Li Emiyalzn
Quitted my Ph.D. in Artificial Intelligence, and doing Quantitative Trading.

A Top Asset Management Quant Fund Shanghai, China

@zhangyutong-sjtu
miao zhangyutong-sjtu
@ADSWT518
Yazhou Tang ADSWT518
Master's student @FICTION-ZJU, B.Eng. @SJTU-CSE, PL/FM beginner

Zhejiang University Hangzhou, China

@trackoor
Hanzhi trackoor
Proof Idiot, Co-founder @ Riema Labs / Nubit, PhD @ UCSB, BS @ SJTU

@RiemaLabs US

@BruceZoom
Zhongye Wang BruceZoom
@maple-zhou
Lingfeng Zhou maple-zhou

Shanghai Jiao Tong University

@wangshanyw
Roxanne Zhang wangshanyw
M.S. @ UCSD CS | B.eng @ SJTU IEEE-CS

UCSD San Diego

@QingquanBao
Qingquan Bao QingquanBao
M.S. in Robotics at UPenn (23' - 25') B.E. in AI at SJTU (19'-23')

UNIVERSITY OF PENNSYLVANIA Philadelphia, PA

@AirOllie
AirOllie