Research Fellow in Automated Verification

University of Southampton School of Electronics and Computer Science