University of Oxford

Graduate Student, Computing Laboratory

Research Student

Wolfson

Supervisor: Daniel Kroening

About

I am broadly working in the area of automated software verification. I am interested in model-based testing, model-based design, automated test case generation, model checking, and ubiquitous and embedded systems.

Contact Information

Email:

Homepage: http://www.masudk.co.uk

Address: 448, Wolfson Building, Parks Road, OX1 3QD, Oxford, United Kingdom