Created on September 27, 2025
2025
Defended my PhD thesis on the Deep Integration of SAT Solving and Model Checking 🎓