معرفی
Vijay Ganesh is Professor of Computer Science at Georgia Tech and Associate Director of the IDEaS Institute. His research develops foundational methods for SAT/SMT solving and AI verification.
Research areas:
- Hybrid machine learning and reasoning systems
- Automated software verification
- Computational complexity of solvers
Awards include:
- ACM Test of Time Award
- Google Faculty Research Awards
- IBM Faculty Award
He leads projects including MapleSAT solver and Z3Alpha verification framework.
۰مقاله منتشرشده
