Skip to content

@satcompetition SAT Competition

Users following satcompetition

@jesusvilela
Jesús Vilela Jato jesusvilela
@namnguyen0510
Phuong-Nam Nguyen namnguyen0510

G.A.I.A QTech Hanoi, Vietnam

@nholuongut
Nho Luong nholuongut
💁 🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳-🇻🇳🇻🇳 - Vietnam DevOps Engineer Lead - Vietnam Timeless Charm - Enjoy Every Moment

DevOps and Platform Services Lead From Ho Chi Minh City, Viet Nam

@XIAO-V
XIAO-V XIAO-V
@Gauthamastro
Gautham Gauthamastro
Making the next "BIG THING" !

India

@ycunxi
Cunxi Yu ycunxi
Cunxi Yu Assistant Professor ECE (main), CS (affiliated) University of Maryland, College Park http://ycunxi.github.io/cunxiyu/

University of Maryland, College Park College Park, Maryland

@shnarazk
Narazaki, Shuji shnarazk
Ph.D. of Eng., developing SAT solvers, 🎄Advent of Code: 5️⃣2️⃣4️⃣⭐️⭐️. 🩷Helix/Lean4/Nix/Rust/Typst/Zed/mod. Engram ⌨️layout on Ferris Bring

🤷 Japan, Asia

@Perro2110
Marco Perrotta Perro2110

University of Ferrara Ferrara (Fe)

@TahaRostami
Taha Rostami TahaRostami
@ChienKaiMa
ChienKaiMa

GIEE@National Taiwan University Taipei, Taiwan

@Gravifer
Tci Gravifer Fang Gravifer
Bikeshed critic

Tsinghua University Beijing

@Sichao-Yang
SichaoY Sichao-Yang
Formal Verification RD @ X-Epic, China
@mrnp95
Mohammadreza Noormandipour mrnp95
Quant at Deutsche Bank

University of Cambridge / Deutsche Bank London, UK

@LiamDGray
Liam D. Gray LiamDGray
Evidence Infrastructure · Extract → Validate → Surface · Data Pipelines | Blockchain/ZK | AI/LLM | Automation · CMU ECE, Qualcomm #2708

Tucson, Arizona, USA

@n1f2c3
且行且珍惜 n1f2c3
最终的结局和多年前的结局是一样的了

可别 健康

@giraycoskun
Giray Coskun giraycoskun
Sabancı University Computer Science and Engineering

Sabancı University Munich

@Udopia
Ashlin Iser Udopia
Automated / Symbolic Reasoning and Optimization, Empirical Algorithmics, Trustworthy Artificial Intelligence, Algorithm Visualization and Sonification

Karlsruhe Institute of Technology Karlsruhe

@Troye95
troye Troye95
@smasoudhosseini
seyedmasoud smasoudhosseini
cryptography, data security, and data science researcher in S.U.T., M.U.T, A.U.T, and I.C.T. also full stack developer.

Sharif University of Technology Tehran, Iran

@gipsyh
Yuheng Su gipsyh

ISCAS; UCAS Beijing, China

@lalorazor
lalorazor
@ShuMaoZzz
Cosmicat ShuMaoZzz
@KTRDeveloper
KTRDeveloper
@Simewu
Simeon Wuthier Simewu

NIST @usnistgov

@markwwen
Weihuang Wen markwwen
A third-year phd candidate in CUHKSZ.

The Chinese University of Hong Kong, Shenzhen China