I am a postgraduate student studying for a Ph.D in computer science at the University of Birmingham, interested in applying probabilisitc verification to security and privacy problems, supervised by Dr.Dave Parker and Prof.Mark Ryan. I am also a member of the Security and Privacy group.
For more information about my background, please see my Linkedin profile. Or you can just click 'Background' above.
I am a teaching assistant (TA) for the following modules: