I'm a first year PhD student advised by professor Grigore Rosu. I got BSc in University of Liverpool and MSc degree in Imperial College London.
Runtime verification: I'm currently working as a team member in the project 'JavaMOP'.
MPI Type Checker: 
2111 Thomas M. Siebel Center for Computer Science University of Illinois, 201 N. Goodwin Avenue Urbana, IL 61801