À¶Ý®ÊÓƵ

Vijay Ganesh is an assistant professor at the University of À¶Ý®ÊÓƵ since September 2012. Prior to his current appointment, he was a research scientist at the  from 2007 to 2012. Professor Ganesh completed his PhD in computer science from  in 2007 and an MS in electrical engineering in 2000 (also from ). He is broadly interested in making software systems reliable, efficient and secure through automated testing, formal methods and program analysis. A central component of many modern approaches to software engineering is an  solver. Professor Ganesh has designed and implemented two SMT solvers ( STP & HAMPI) that are used in 100+ research projects in formal methods, program analysis, synthesis, testing and more recently in programming language design. Dr. Ganesh has also done research in automated software testing (e.g., whitebox fuzzing), and hardware architecture description languages.

He is currently working on non-standard approaches to software reliability based on cryptography, formal methods and programming language theory.

Please visit Professor Ganesh's Profile Page for more information.