The Intelligent Software Systems Laboratory (ISSyL) at Rice University brings together ideas from statistical machine learning, formal methods, programming languages, and database systems to build next-generation systems for software design and data analytics.
Issyl is jointly directed by Prof. Swarat Chaudhuri and Prof. Chris Jermaine. The lab is located in 3014 Duncan Hall.