The SMT-LIB Initiative
Users following SMT-LIB
Amelia Dobis
dobios
PhD Candidate at Princeton Universtiy |
PL for Hardware |
MSc ETHZ, BSc EPFL
Princeton University Montréal QC, Canada
Jevin Sweval
jevinskie
Senior Security Researcher, compilers/optimizations/[de]obfuscation, SCA, program analysis, NFC ninja, HW hacker w/ FPGA hammer.
Lafayette, Indiana
