Skip to content
View wjrforcyber's full-sized avatar
💻
💪+🍔
💻
💪+🍔
37 followers · 38 following

Achievements

Achievement: StarstruckAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2

Achievements

Achievement: StarstruckAchievement: Pair ExtraordinaireAchievement: Pull Sharkx2

Organizations

@hkustgz-zhang-lab

Block or report wjrforcyber

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
@lee-man
LI Min lee-man
Building Silicon-Proven Verification Tools. Rejecting paper/胶片-only "breakthroughs". Ex. Huawei Engineer. @FORMiND-Lab

Southeast University Shenzhen

@Jzjerry
JIANG Zijun Jzjerry

HKUST(GZ) @HKUSTGZ-MICS-LYU

@changmg
Chang Meng changmg
Postdoc at EPFL studying EDA, focusing on synthesis, verification, and AI applications of emerging computing systems. Open to collaborations on research.

École Polytechnique Fédérale de Lausanne Laussane, Switzerland

@WBChe
wbche WBChe
Master Student @ UESTC EE

University of Electronic Science and Technology of China Shenzhen, China

@ChangyuanYU
Changyuan YU ChangyuanYU
@marcelwa
Marcel Walter marcelwa
Postdoc at the Technical University of Munich, researching Design Automation. Senior Quantum Software Engineer at MQSC.

@cda-tum and @munich-quantum-software

@lenianiva
Leni Aniva lenianiva
Don't weep because your code has a bug, smile because it can run.

Stanford University Centaur Lab @stanford-centaur San Francisco Bay Area, Gensokyo

@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)

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

HKUST(GZ) Guangzhou

@philzook58
Philip Zucker philzook58
A pretty cool dude who does things.

Draper Boston

@tracymiao111
tracymiao111
@Gy-Hu
Guangyu (Gary) HU Gy-Hu
Ph.D. candidate at HKUST. My research interests include formal verification, logic synthesis and quantum computing.

The Hong Kong University of Science and Technology Hong Kong

@arminbiere
Armin Biere arminbiere
Professor University of Freiburg

Freiburg im Breisgau, Germany

@xfzhou01
Xiaofeng ZHOU xfzhou01

RCSL @ HKUST Hong Kong

@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

@UCLA-VAST
UCLA VAST Lab UCLA-VAST

Los Angeles, CA, U.S.

@fangwenji
Wenji Fang fangwenji
Ph.D. Student @ HKUST

The Hong Kong University of Science and Technology Hong Kong

@pulp-platform
pulp-platform
@zhanghongce
Hongce Zhang zhanghongce
Princeton ECE Alumnus, Assistant Professor @ HKUST(GZ)

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

@O1ive2
Oliver O1ive2

杭州电子科技大学

@msoeken
Mathias Soeken msoeken
Researcher in the areas of logic synthesis, quantum compilation, and formal verification.

@microsoft Switzerland

@phsauter
Philippe Sauter phsauter
EE PhD with a focus towards open-source EDA tools

ETH Zürich Zürich, Switzerland

@xmcx3
xmccc xmcx3
@dtdn41
dtdn41
@Zhou-Yilong
Yilong Zhou Zhou-Yilong
A student in HDU

Hanzhou Dianzi University

@HuZhang0
Zhang Hu HuZhang0

Ningbo University Ningbo China

@alanminko
alanminko
@supervergil
张阳君 supervergil
不忘初心，方得始终

changzhou

@maxsnew
Max S. New maxsnew

University of Michigan CSE Ann Arbor, MI

@tlringer
Talia Ringer tlringer
Assistant Professor of Computer Science at Illinois. Type theory, proof engineering, proof automation.

Champaign, IL

@vikraman
Vikraman Choudhury vikraman
Marie Skłodowska-​Curie Fellow

Università di Bologna Bologna, Italy

@cosey
Libaibaibai cosey
@LPTK
Lionel Parreaux LPTK
Assistant Professor at HKUST (Hong Kong University of Science and Technology), CSE department

HKUST

@Yog3sh56
Yogesh Parajuli Yog3sh56
@Toqn
Thomas Kuhn Toqn

Germany

@kungFuLambda
kungFuLambda
@SewellDinG
老锥 SewellDinG
CyberSec/InfoSec enthusiast.

Xidian University

@littleghost2016
littleghost2016 littleghost2016

Xidian University 陕西 西安