Starting The Engine
Radio Call
Living The Dream
First Solo
Solo Landing
Post Solo Celebration
Flight Hours
| Aircraft Make & Model | Flight Hours |
| PA 28 | 29.1 |
| C152 | 1.1 |
| Total | 30.2 |
Formal Methods 101: Induction
Formal Methods 101: Formal Systems
Formal Methods 101: Decidability
Formal Methods 101: Complexity Theory
Formal Methods 101: Satisfiable Modulo Theories (SMT)
Formal Methods 101: Boolean Satisfiability (SAT)
Formal Methods 101: Second-Order (and Higher-Order) Logic