Mate Soos Postdoctoral Fellow, National University of Singapore Visiting Postdoc Program: Satisfiability: Theory, Practice, and Beyond Dates of Visit: Jan. 12 – May 14, 2021 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. Program Visits Satisfiability: Theory, Practice, and Beyond, Spring 2021. Visiting Postdoc.