2021
Designing Robots that Deceive: A Formal Methods Approach at Arts and Science Week at WPI.
2020
Foundations of Computer Security (FCS) Workshop at CSF 2020 conference. (video, paper).
2019
PhD Qualifier Presentation at WPI.
2018
An Informal Introduction to Formal Methods in Robotics at Rho Beta Epsilon at WPI.