augmented Lagrangian methods, sequential quadratic programming methods, and interior point methods for nonlinear constrained optimization; Convergence properties of algorithms Materials. Textbook: ...

c. Optimality conditions for unconstrained / constrained optimization; d. Numerical methods for computing derivatives, automatic differentiation; e. Numerical computation of eigenvalues / singular ...

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 ...

Robotics, Optimization, and Constrained Control. 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 ...

TAMP is a GPU-accelerated TAMP framework that solves complex robotic planning tasks in seconds by evaluating thousands of ...

The Constraint Reasoning and Optimization Group has summer intern openings for Summer 2025.. Interns will engage in forefront research guided by senior researchers in the group. Topics include ...