Reactive Systems Group
Katharina
KatCe
Hardware Security Researcher @comsec-group ETH Zurich, Ex-CERN Embedded Software Developer / Digital Electronics Verification Engineer
ETH Zurich Zurich
Bipin
Bipinoli
"You don't have to see the whole staircase. Just take the first step."
Saarland University Germany
Elsayed Saber
Saber-Elsayed
๐
๐ฎ๐ฅ๐ฅ-๐๐ญ๐๐๐ค ๐๐จ๐๐ญ๐ฐ๐๐ซ๐ ๐๐ง๐ ๐ข๐ง๐๐๐ซ
Beer Sheva
Lee Man
lee-man
Hardware formal verification. ็ๆญฃ่ชไธป็ ๅ็กฌไปถๅฝขๅผๅ้ช่ฏๅทฅๅ
ท
HUAWEI | NOAH'S ARK LAB; CUHK CSE Ph.D. Shenzhen
Arthur Correnson
acorrenson
PhD candidate at CISPA.
Working on formally verified formal methods.
CISPA Helmholtz Center for Information Security Saarbrรผcken
