Information for

Vijay Ganesh

Assistant Professor

Contact information


Phone: 519-888-4567 x32866

Location: DC 2530

Fax: 519-746-3077


  • PhD, Stanford University
  • MS, Stanford University

Research interests

  • Logic reasoners a la Boolean SAT/SMT solvers, and proof assistants
  • Formal methods, automated testing, security, and program analysis
  • Mathematical logic, and foundations of mathematics

Selected references


  • Reasoning about Probabilistic Defense Mechanisms against Remote Attacks
    Martin Ochoa, Sebastian Banescu, Cynthia Disenfeld, Gilles Barthe, and Vijay Ganesh
    Accepted for publication at the Second IEEE European Symposium on Security and Privacy (IEEE EuroS&P 2017)
    (bib entry) (abstract)
  • A Solver for a Theory of Strings and Bit-vectors
    Murphy Berzish, Sanu Subramanian, Omer Tripp, and Vijay Ganesh
    Accepted for publication at International Conference on Software Engineering (ICSE 2017) Poster Track
    (bib entry) (abstract)



  • SATGraf: Visualizing the Evolution of SAT Formula Structure in Solvers
    Zack Newsham, William Lindsay, Vijay Ganesh, Jimmy Liang, Sebastian Fischmeister, and Krzysztof Czarnecki International Conference on Satisfiability Testing (SAT 2015), Austin, Texas, Usa, September 24-27, 2015
  • SAT-based Analysis of Large Real-world Feature Models is Easy
    Jimmy Liang, Vijay Ganesh, Venkatesh Raman, and Krzysztof Czarnecki Software Product Lines Conference (SPLC 2015), Nashville, Tennessee, USA, July 20-24, 2015
    Best Paper Award at SPLC 2015
  • "Effective Search-space Pruning for Solvers of String Equations, Regular Expressions and Length Constraints" [PDF]
    Yunhui Zheng, Vijay Ganesh, Sanu Subramanian, Omer Tripp, Julian Dolby and Xiangyu Zhang
    International Conference on Computer Aided Verification (CAV 2015), San Francisco, California, USA, July 18-24, 2015
  • "MathCheck: A Math Assistant based on a Combination of Computer Algebra Systems and SAT Solvers" [PDF]
    Ed Zulkoski, Vijay Ganesh, and Krzysztof Czarnecki
    International Conference on Automated Deduction (CADE 2015), Berlin, Germany, August 1-7, 2015
  • "The Meaning of Attack-resistant Programs" [PDF]
    Vijay Ganesh, Sebastian Banescu, Martín Ochoa


  • "The Impact of Community Structure on SAT Solver Performance" [PDF]
    Zack Newsham, Vijay Ganesh, Sebastian Fischmeister, Gilles Audemard, and Laurent Simon
    In the 17th International Conference on Theory and Applications of Satisfiability Testing (SAT 2014), Vienna, Austria, July 14-17, 2014
    Best Student Paper Award 2014


Awards and distinctions

Further information

For further information, please see Professor Ganesh's own web page.

University of Waterloo

Profiles by type