Download on the App Store Open In Castro
Podcast artwork

03/08/24: Bitwuzla with Mathias Preiner

Boston Computation Club

March 9, 2024

59 minutes

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!

Or Listen Elsewhere

Listen On Apple Podcasts
Listen In Pocket Casts
Listen In Overcast
Subscribe to RSS