Saeed Nejati is a Postdoctoral Researcher at the University of Waterloo. His research interests are in SAT solvers, Cryptography, Hardware/Software security, High Performance Computing, Compiler Security, Software Verification, and Computer Arithmetic.