Teaching

Here, we present the list of (under)graduate courses being taught by the HyConSys lab. You can access the details of each course from the following list:

Courses offered at CU Boulder

• Advanced Data Science

• Foundation of Autonomous Systems

• Linear Algebra with Computer Science Applications

Online courses offered at Coursera

• Modeling of Autonomous Systems

• Requirement Specifications for Autonomous Systems

• Verification and Synthesis of Autonomous Systems

Previous courses offered at TU Munich

• Control Theory

• Analysis and Control of Nonlinear Systems

• Formal Synthesis of Embedded Systems

• Formal Methods Laboratory