Skip to content

Home

Simons Institute for the Theory of Computing

Search form

  • Home
  • About
    • Overview
    • Contact
    • Calvin Lab
  • People
    • Overview
    • Scientific Leadership
    • Staff
    • Current Long-Term Visitors
    • Research Fellows
    • Scientific Advisory Board
    • Governance Board
    • Affiliated Faculty
    • Science Communicator in Residence
    • Law & Society Fellow
  • Programs & Events
    • Overview
    • Programs
    • Workshops & Symposia
    • Research Pods
    • Internal Program Activities
    • Public Lectures
    • Participate
  • Visiting
    • Overview
    • Directions
    • Berkeley & the Bay Area
    • Accommodation
    • Visas
    • Families
    • IT Guide
    • Bicycle Loans
    • Code of Conduct
  • Support
    • Overview
    • Simons Foundation
    • Industrial Partnership
    • Academic Partners
    • Donate
    • Richard M. Karp Fund
  • Watch / Read
    • SimonsTV
    • Program Reports
    • News Stories
    • Calvin Café (blog)
  • Calendar

You are here

  1. ‹ Home
  2. ‹ People
  3. ‹ Current Long-Term Visitors

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.
  • Overview
  • Scientific Leadership
  • Staff
  • Current Long-Term Visitors
  • Research Fellows
  • Scientific Advisory Board
  • Governance Board
  • Affiliated Faculty
  • Science Communicator in Residence
  • Law & Society Fellow

Privacy Terms of Use Contact Subscribe

© 2013–2020 Simons Institute for the Theory of Computing. All Rights Reserved. ^ top