CV

Education

• Bachelor of Science majoring in Mathematics and Computer Science, Massey University, 2016-2019
• Bachelor of Science(Hons) in Mathematics, Victoria University of Wellington, 2020-2020
• Ph.D in Pure and Applied Logic, Carnegie Mellon University, 2021-Current

Research interests

Differential dynamic logic, Logics for continuous-time systems, Formal methods, Computable analysis and Computability of dynamical systems