Principal Investigator

swarat_headshotSwarat Chaudhuri is an associate professor of computer science at Rice University. He is an expert on methods for automated reasoning about systems, including model checking, abstraction, and automated deduction, and the application of such methods in practical tools for program analysis and synthesis.

Swarat received a bachelor’s degree in computer science from the Indian Institute of Technology, Kharagpur, in 2001, and a doctoral degree in computer science from the University of Pennsylvania in 2007. From 2008-2011, he was an assistant professor at the Pennsylvania State University, University Park. He is a recipient of the National Science Foundation CAREER award and the ACM SIGPLAN Outstanding Doctoral Dissertation Award. He has served on the committee of many conferences in formal methods and programming languages, and jointly chaired the 2016 Conference on Computer-Aided Verification (CAV).

Research Scientist

vijayVijayaraghavan Murali
is a Research Scientist working on the Pliny project since 2015, after obtaining his PhD from the National University of Singapore. His research interests lie at the intersection of programming languages and machine learning. Particularly, he is fascinated about state-of-the-art in deep learning and applying those techniques to help solve problems in formal methods, such as program synthesis, debugging and repair.

Postdoctoral researchers

ntd_cliff_headNeil Dantam
is a Postdoctoral Research Associate in Computer Science  at Rice University working with Prof. Lydia Kavraki and Prof. Swarat Chaudhuri. Neil’s research focuses on robot planning and control.  He has developed methods to combine discrete and geometric planning, improve Cartesian control, and analyze discrete robot policies. In addition, he has worked on practical aspects of robot manipulation and software design to ensure that new theoretical techniques can be validated in the physical world.

Neil received a Ph.D. in Robotics from Georgia Tech, advised by Prof. Mike Stilman, and B.S. degrees in Computer Science and Mechanical Engineering from Purdue University. He has worked at iRobot Research, MIT Lincoln Laboratory, and Raytheon. Neil received the Georgia Tech President’s Fellowship, the Georgia Tech/SAIC paper award, an American Control Conference ’12 presentation award, and was a Best Paper and Mike Stilman Award finalist at HUMANOIDS ’14.



Hassan Eldib  is a Postdoctoral Research Associate in the Department of Computer Science at Rice University, working with Prof. Swarat Chaudhuri on the Pliny project. He received his Ph.D.  from Virginia Tech in Computer Engineering. Hassan received the FMCAD best paper award in 2013.  His current research interests include program synthesis and repair utilizing big data and machine learning, with focus on security.


Graduate students


Suguman Bansal
 has been a graduate student in the Department of Computer Science at Rice University since 2014. Her research interests are quantitative reasoning, formal methods and game theory. Before joining grad school, she completed her Bachelors in Mathematics and Computer Science from Chennai Mathematical Institute in 2014.



Oliver Chang
joined Rice in 2016. is interested in building programming language tools that leverage open sources of data to reduce repetitive, routine tasks. He has a Bachelor’s degree in Computer Science and Geography from the University of Miami.


yanxinYanxin Lu is from Guangzhou China. He got his Bachelor’s degree at Baylor University in computer science in 2012. He’s currently a Ph.D. student in computer science at Rice University advised by Swarat Chaudhuri. He’s broadly interested in programming languages. His research focuses on data-driven program synthesis. His goal is to create technology that can make programming more accessible even for the people with no programming background.

afsaneAfsaneh Rahbar
is a Ph.D. student working under the supervision of Swarat Chaudhuri at Rice University.  She earned her B.Sc. and first M.Sc. in computer engineering from Azad University of Tehran (2009) and her equivalent of M.Sc. in computer science from the University of Texas at San Antonio (2014). Her main research interests are static analysis, formal verifications, programming languages and compilers. Recently, her focus is on the application of novel machine learning techniques to static program analysis.

vermaabhinavAbhinav Verma
has been a graduate student in the Computer Science department at Rice University since 2016. His research interests lie in the intersection of automated reasoning, machine learning and programming languages. Before joining Rice, we was a member of the Technology Group at Wolfram Research. Abhinav has a Masters degree in Mathematics from the University of Oregon.


OLYMPUS DIGITAL CAMERAYue Wang is a Ph.D. student in Computer Science at Rice University, working with Professor Swarat Chaudhuri and Professor Lydia E. Kavraki. Prior to joining Rice University in 2013, He spent his undergraduate years at Tsinghua University, where he obtained B.S. degree in Mathematics and Physics. He is interested in robotics and formal methods. His research focuses on Task and Motion Planning/Synthesis for robotic applications in adversarial and/or partially observable environments.