Logic and Algorithms for Software Verification
Software is everywhere, but it can be buggy, unpredictable, and vulnerable to attacks. The goal of
software verification is to ensure the reliability, security, and safety of software. In this
research, we study automated algorithms for software verification, based model checking, computational
logic, and satisfiability modulo theories (SMT).