Skip to content
View lee-man's full-sized avatar
🏠
Production-Ready Verification Researching
🏠
Production-Ready Verification Researching
78 followers · 355 following

Achievements

Achievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Achievements

Achievement: YOLOAchievement: StarstruckAchievement: Arctic Code Vault Contributor

Highlights

  • Pro

Block or report lee-man

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
@balp-jbt
Baiting Jiang balp-jbt

Tsinghua University

@trinhminhtriet
Triet Trinh trinhminhtriet
✅ Platform Engineer | AWS Certified | Scrum Master PSMI | Java | Golang | Rust | Android | Remote

🤖 Vietnam

@EasyMoneyTiger
Shenghu Han EasyMoneyTiger
Electronic Science and Technology@seu

Southeast university Wuxi, China

@seckinyasar
Seckin Yasar seckinyasar

@Metakorteks Turkey

@helallao
Ali Yaşar helallao

@Metakorteks Adana, Turkey

@xyfgemini
Yifu Xu xyfgemini

China

@yangziyiiii
Ziyi Yang yangziyiiii
I am Ziyi Yang, a Ph.D. student in HKUST(GZ). I am eager to learn on GitHub and contribute my part to this community.

Hong Kong University of Science and Technology (Guangzhou) Guangzhou, China

@wjrforcyber
Jingren Wang wjrforcyber
A student.

HKUST(GZ) Guangzhou, China

@Marcvi19
Rishik Ram Marcvi19
@Maxwell889
Xudong Hu Maxwell889
Ph.D. candidate in Integrated Circuits @ SEU. Researching AI4EDA, formal verification & synthesis optimization. @FORMiND-Lab

Southeast University Nanjing

@dszuo
Dongsheng Zuo dszuo

HKUST(GZ)

@owlxiao
Dingyi Zhao owlxiao
@wqzustc
wqzustc
@chestercc1997
Chen Chen chestercc1997
Ph.D. candidate at The Hong Kong University of Science and Technology (Guang Zhou)

The Hong Kong University of Science and Technology (GuangZhou)

@hailinzeng
Hailin, Zeng hailinzeng
Formal Verification

Beijing, China

@LittleBlackCQ
Kezhi Li LittleBlackCQ
Ph.D. candidate in CUHK majoring in CSE.

Shanghai

@jelspace
21world jelspace
.new. LOTTERY FORCED MARRIAGE(entire population) + BASIC INCOME is give free money for all,opposite to: forced take VAT tax from all

BASIC INCOME is free money for all , opposite to VAT tax , for prevent from demonetization

@westtide
westtide westtide

East China Normal University Shanghai

@gipsyh
Yuheng Su gipsyh

ISCAS; UCAS Beijing, China

@Connor9994
Connor Connor9994
@wk1101
wk1101
@YiKangOY
Yikang Ouyang YiKangOY

HKUST(GZ)

@standardgalactic
Cogito Ergo Sum standardgalactic
   Standard Galactic Alphabet

Xanadu Canada

@TonyHu2001s
Zhengxuan Hu TonyHu2001s

Xidian Universtiy Beijing, China

@Yixin-Gong
Eric Gong Yixin-Gong
I'm interested in digital IC design and EDA algorithm development.

Guangdong University of Technology Guangzhou,China

@cholyier
Tina.Cao cholyier
专注AI领域技术岗位招聘，主要服务头部互联网公司、游戏公司及明星创业团队。 期待建联。
@toxicbloud
Antonin Rousseau toxicbloud
I'm a geek im doing AI, not using OpenAI je cherche donc je suis ...

Université de Lorraine Tatooine

@sachin2
Sai Sachin Gurram sachin2

Germany

@Gary-oak-Star
Gary-oak-Star
@eehoeskrap
Seohee Park eehoeskrap
AI Software Engineer

SNOW

@shinianzhihou
Nian Shi shinianzhihou
@SoldierDown
Haozhe Su SoldierDown
LightSpeed Studios

USA

@IyiyeeLiu
Hayley IyiyeeLiu
为了招聘的小HR，LOL女枪选手，混迹于大佬们的场子 核心招聘方向：HPC/NLP/SFT/CV... 期待交流~了解市场信息也非常欢迎~V+1490721273（备注GitHub）
@IDouble
Alp ₿📈🚀🌕 IDouble
🗽 Be greedy when others are fearful and be fearful when others are greedy ☕️ Full-Stack 🖥💻📱⌚️ Finance, Crypto ⛓ (Blockchain, Smart contracts etc.)

IDEX/USD Zurich, Switzerland

@yuntaolu
Yuntao Lu yuntaolu
@fangwenji
Wenji Fang fangwenji
Ph.D. Student @ HKUST

The Hong Kong University of Science and Technology Hong Kong

@liulixinkerry
Lixin Liu liulixinkerry
CUHK CSE

Hong Kong SAR

@rangola
Goran rangola
DevOps Engineer
@muzz21
five muzz21
five

Beijing

@jhmlam
Jordy Homing Lam jhmlam
Structure Enthusiast 🇭🇰

Hong Kong

@AhmetSelimPehlivan
Ahmet Selim Pehlivan AhmetSelimPehlivan
Machine Learning Engineer

Ankara/Turkey

@savanovich
Alexey Savanovich savanovich

ScienceSoft

@WenyaZhou
Jacqueline WenyaZhou
猎头于我是不在工作的工作。此外的一切时间才属于我自己的事业：漫长、高强度、无功利的自我愉悦…

Shanghai

@Chenghao-Yang
Chenghao-Yang

Empyrean Shanghai,China

@PeterLau61
Yi Liu PeterLau61
Ph.D. Student in Computer Science and Engineering Department of The Chinese University of Hong Kong

Hong Kong

@ZhiyuanYan
Yan Zhiyuan ZhiyuanYan
PhD student @HKUST(GZ)

HKUST(GZ) Guangzhou

@dralioz
Durmuş Ali Öztürk dralioz
Artificial Intelligence | Computer Vision

Marmara University İstanbul

@arcayi
Walter Arca Yi arcayi
Curious on software and hardware. Made some interesting things

Shenzhen, China

@2050airobert
ai_robort 2050airobert
@emaballarin
Emanuele Ballarin emaballarin
PhD candidate in Deep Learning. Representations, robustness, empirical methods, kernels, physics & neuroscience. Overenthusiastic tinkerer.

@ailab-units | @UCLComputerScience London, UK