<a href="https://cs.stanford.edu/~preiner/">Mathias Preiner</a> is a Research Scientist at <a href="https://www.stanford.edu/">Stanford University</a> in the <a href="https://centaur.stanford.edu/">Centaur</a> lab. He is one of the main developers of the SMT solver <a href="https://boolector.github.io/">Boolector</a> (since June 2012) and <a href="https://bitwuzla.github.io/">Bitwuzla</a> -- which is what he joined us to discuss today. This was a good talk, but an excellent Q&A, and we really enjoyed it. Thanks Mathias for joining us today, and to the awesome audience for showing up with such deep and technical questions!

Mathias Preiner is a Research Scientist at Stanford University in the Centaur lab. He is one of the main developers of the SMT solver Boolector (since June 2012) and Bitwuzla -- which is what he joined us to discuss today. This was a good talk, but an excellent Q&A, and we really enjoyed it. Thanks Mathias for joining us today, and to the awesome audience for showing up with such deep and technical questions!

<a href="https://cs.stanford.edu/~preiner/" rel="noopener noreferrer">Mathias Preiner</a> is a Research Scientist at&nbsp;<a href="https://www.stanford.edu/" rel="noopener noreferrer">Stanford University</a>&nbsp;in the&nbsp;<a href="https://centaur.stanford.edu/" rel="noopener noreferrer">Centaur</a>&nbsp;lab. He is one of the main developers of the SMT solver&nbsp;<a href="https://boolector.github.io/" rel="noopener noreferrer">Boolector</a>&nbsp;(since June 2012) and&nbsp;<a href="https://bitwuzla.github.io/" rel="noopener noreferrer">Bitwuzla</a> -- which is what he joined us to discuss today. This was a good talk, but an excellent Q&amp;A, and we really enjoyed it. Thanks Mathias for joining us today, and to the awesome audience for showing up with such deep and technical questions!

03/08/24: Bitwuzla with Mathias Preiner

The Boston Computation Club is a small seminar group focused on mathematical computer science, and computational mathematics. Its name is plagiarized from the London Computation Club. Boston Computation Club meetings occur roughly every other week, on weekends, around 5pm EDT (modulo speaker availability). The usual format is a 20m presentation followed by 40m of discussion. Some, but not all, meetings are posted on YouTube and in podcast form.

Share 03/08/24: Bitwuzla with Mathias Preiner

Sign up to save your podcasts

03/08/24: Bitwuzla with Mathias Preiner

03/08/24: Bitwuzla with Mathias Preiner

More shows like Boston Computation Club

ABC News Daily