Award-winning Software Tool Uses Innovative Approach

School of Computer Science Professor Vijay Ganesh is leading the way in the innovation of SMT solvers, a class of tools key to software engineering, security, and trustworthy artificial intelligence (AI).

Ganesh and his student, John Lu, have been working on their own solver, Z3-alpha, for several years. It recently won several categories at SMT-COMP 2024, a competition held to determine the best solvers from around the world.

SMT solvers are automated logical reasoning tools used widely to test and analyze programs. They are also used to identify potential security issues.