temporal logic · org  /  Courses

Courses

Course materials, lectures, and lab videos taught by Kristin Yvonne Rozier and members of the Laboratory for Temporal Logic.

Active Course Pages

AERE 361 / 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.