2024 11 Oxford

I am excited to share that I have started a new position as a postdoctoral research associate in the Oxford Control and Verification Group (OXCAV) at the University of Oxford!