I was recently able to present my paper, Fast and Guaranteed Safe Controller Synthesis, at CAV 2020. The event was virtual this year, so the recording of my talk can be found on the CAV youtube page here.
CAV 2020 was a great experience and I got to meet a lot of people in the field. I am looking forward to what I will get to do in the future.