Saeed Nejati

Postdoctoral Researcher, University of Waterloo

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.

Program Visits

Satisfiability: Theory, Practice, and Beyond, Spring 2021, Visiting Postdoc