Below is a list of my selected formal talks and presentations:

  • “Verifying ParamGen: A case study in scientific software abstraction and modeling”. 2023 Improving Scientific Software Conference. Boulder, CO. April 17. 2023. recording
  • “Ocean/Sea Ice Modeling Practical Session”. CESM Tutorial 2022. Boulder, CO. August 12. 2022. slides
  • “visualCaseGen: A GUI for CESM Simpler Models Framework”. 26th Annual CESM Workshop. Boulder, CO. June 16. 2021. recording
  • “Coupling MOM6 in CESM: Software challenges and advances”. 25th Annual CESM Workshop. Boulder, CO. June 17, 2020. slides
  • “Using MOM6 in CESM”. 2020 MOM6 Webinar Series. Boulder, CO. April 27, 2020. recording
  • “Formal Methods and Modeling HPC Software”. NCAR Climate & Global Dynamics (CGD) Research Reports. Boulder, CO. November 29, 2018.
  • Invited talk: Panel on “Facilitating the Adoption of Correctness Tools in HPC Applications.” 2nd International Workshop on Software Correctness for HPC Applications (Correctness). Dallas, TX. November 12, 2018
  • “Hybrid Theorem Proving as a Lightweight Method for Verifying Numerical Software”. Correctness’18. November 12, 2018. Dallas, TX. slides
  • “Verifying Concurrency in an Adaptive Ocean Circulation Model”. Correctness’17. November 12, 2017. Denver, CO. slides