Bhuwan Pandit
bp7968h
Full stack developer uncovering abstractions to understand the tech underneath.
United Kingdom
Guillaume Claret
clarus
Security researcher at @formal-land 🌲 for Web3 applications
Applying the 🐓 proof system to find all the vulnerabilities.
🐻❄️
Formal Land Paris
Rui Pan 潘瑞
ruipeterpan
System researcher wannabe | 4th-yr Ph.D. @SysML-Princeton | Previously @UW-Madison, @MPI-INF, @aws, and @google
Yuhao Zhang
ForeverZyh
Fourth-year PhD student at madPL, UW-Madison
University of Wisconsin-Madison Madison
Zhiyang Ong
eda-ricercatore
A multilingual, globetrotting cultural chameleon pursuing U.N. SDGs
Design Automation Renegades In passato, vicino al Dolomiti