Welcome to the
Founded and directed by Berthe Y. Choueiry.
Constraint Systems Laboratory (ConSystLab)Our research is concerned with both theoretic and practical aspects of Constraint Processing, a sub-area of Artificial Intelligence. We believe that Constraint Processing provides the right tools for modeling and solving a wide variety of combinatorial problems spanning over many areas in Computer Science, Engineering, and Management. Our investigations address both the theoretical and applied aspects of Constraint Processing.
Wonder what CP is about? Check our implementations of Minesweeper, Sudoku, and the Game of SET and watch constraint propagation at work in a familiar context!
Recent External Honors & Awards by ConSystLab Students
Daniel J. Geschwender (graduating senior) is awarded the NSF Graduate Research Fellowship (2014-2017)
- Robert Woodward (third year PhD) is awarded a Chateaubriand Fellowship and an NSF GRFP GROW Award (2013-2014).
- Mary D. Burke (graduating senior) is awarded the NSF Graduate Research Fellowship (2014-2017).
- Daniel J. Geschwender (junior) is awarded the Barry M. Goldwater Scholarship (2013-2014).
He is one of 14 CS major in the entire nation to receive this prestigious award, and the second Goldwater Scholar at CSE.- Robert Woodward (first year phd) is awarded the NSF Graduate Research Fellowship (2011-2014).
- Robert Woodward (sophomore) is awarded the Barry M. Goldwater Scholarship (2008-2010).
He is one of nine CS major in the entire nation to receive this prestigious award, and the first Goldwater Scholar at CSE.
"Competition for the [Goldwater] Scholarship is exceedingly intense. As a result, the Scholarship is widely considered the most prestigious award in the U.S. conferred upon undergraduates studying the sciences" [Wikipedia]. April, 2008.
Anagh Lal is selected as the recipient of the 2006 Folsom Distinguished Master's Thesis Award.
