Active Course Pages
AERE 3610
Computational Techniques for Aerospace Design
Iowa State University. Lectures, labs, and demo videos covering scientific computing in C, sparse matrices, ODE/circuit solvers, and software engineering for aerospace.
AERE/COMS 407/507
Applied Formal Methods for Aerospace
Graduate course on applying formal methods — model checking, theorem proving, runtime verification — to aerospace systems.