Mate Soos
Postdoctoral Fellow, National University of Singapore
Mate Soos is a Research Fellow at the National University of Singapore. His research interests are SAT solvers and SMT solvers. Mate maintains the SAT solver CryptoMiniSat and helps maintain the SMT solver STP.