Chair for Design Automation, TU Munich
cda-tum
The CDA provides expertise for all main steps in the design and realization of integrated circuits, embedded systems, as well as cyber-physical systems.
Germany
Tudor Timi
tudortimi
Verification Engineer by day, Verification Gentleman by night.
Verification Gentleman
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
Kamyar Mohajerani
kammoh
PhD student at George Mason University and member of Cryptographic Engineering Research Group
@GMUCERG Fairfax, VA
Zachary Snow
zachjs
Software engineer in systematic trading. Carnegie Mellon SCS 2019.
@deshaw New York, NY
T. Meissner
tmeissner
FPGA-Engineer doing design and verification using VHDL, SystemVerilog, SVA and PSL.
Dresden, Germany