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)