Formal Verification @amd/@NexTop/@ArcasTech; Compiler@Synopsys.
All programs are compiler.
- Shanghai
lizhirui
lizhirui
I'm a grade 3 master of XMU.I'm studying the Linux kernel and RISC-V CPU Design now.
Xiamen University Xiamen, Fujian, China
Luo Jia / Zhouqi Jiang
luojia65
Pura Rustulo (Pure Rustacean) kaj Esperantisto!
@luojia65:matrix.org
Institute of Software Chinese Academy of Sciences (ISCAS) Haidian, Beijing
The OpenROAD Project
The-OpenROAD-Project
OpenROAD seeks to develop and foster an autonomous, 24-hour, open-source layout generation flow (RTL-to-GDS).
United States of America
guenchi
Linguist who do not want to be a hacker is not a good novelist.
Novelist, Poet, Linguist, Phonetician, CreateLanguageExpert, NLP Expert, Entrepreneur, Gourmet
Paris, France
Objective-See Foundation
objective-see
We’re a non-profit foundation focused on macOS security, driven by the mission to create free tools, grow and support a global community of students, researcher
Objective-See Foundation Hawaii, USA
Felix Yan
felixonmars
Arch Linux Developer, RISC-V Porter, probably a fox.
PGP Key: 0x786C63F330D7CB92
Arch Linux @archlinux Wuhan, China
Mate Soos
msoos
Model counting, SAT solving, symbolic execution, cryptography, and IT security
Berlin, Germany
Wenting Zhang
zephray
Co-founder of Modos Tech Inc, open source software and hardware enthusiast, he/him, love retro computing.
Modos Tech Inc Boston, MA
Jianyi Cheng
jianyicheng
Assistant Professor at the University of Edinburgh
University of Edinburgh Edinburgh, UK
PreviousNext