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.