The course aims to give hands-on experience with CFD software, applying it to the problems with reactive flow. The goal of the course is to present guidelines about how to generate a grid, how to specify model parameters, and how to determine if the simulation result is meaningful. The course stresses the application of CFD tools to engineering problems rather than study about numerical methods.

The course introduces the fundamental concepts from the area of hybrid systems, that is dynamical systems that involve the interaction of continuous (real valued) states and discrete (finite valued) states, i.e., hardware or software.The course introduces algorithms for verifying properties of hybrid systems. The applications range from automotive control to systems biology.