People

Swarat Chaudhuri is an Associate Professor of Computer Science at Rice and a co-director of the Intelligent Software Systems Laboratory. His research lies at the interface of programming systems and artificial intelligence. Specifically, he builds algorithms and tools that use automated reasoning, statistical learning from large data sets, and limited domain-specific knowledge to automatically understand and write programs.

Chris Jermaine is a Professor of Computer Science at Rice and a co-director of the Intelligent Software Systems Laboratory. He studies data analytics: how to analyze, store, retrieve, and manipulate large and heterogeneous data sets. Specifically, he seeks to understand and solve the systems-oriented problems that arise when building software to manage large and diverse data sets, and when applying statistical methods to the analysis to such data sets.

Vijayaraghavan (Vijay) Murali is the Lead Architect of Bayou. He is a Research Scientist at the Department of Computer Science at Rice University, working with Swarat Chaudhuri. His research interests are in bringing together formal methods and statistical machine learning to solve practical software engineering problems, such as automated program synthesis, automated testing and error detection, and automated program analysis and verification.

Letao Qi is a PhD student in the Department of Computer Science, Rice University. He works with Chris Jermaine on applied machine learning and data mining.