The ROCC group is currently on the lookout for talented graduate students interested in learning how systems and controls theory can be used to solve a variety of real-world applications. If you would ...

The Constraint Reasoning and Optimization group, led by Professor Matti Järvisalo, focuses on the development and analysis of state-of-the-art decision, search, and optimization procedures, and their ...