Contact details
Email: mxs895@cs.bham.ac.uk
Computer Science
University of Birmingham
Birmingham B15 2TT
United Kingdom
Computer Science
University of Birmingham
Birmingham B15 2TT
United Kingdom
- My office is 119 (first floor and on the left) in the Computer Science building.
Research
My current research interests include:
- Concurrency and Software security
- Theory of programming languages
- Exceptions, traces and continuations
- Transactional memory
- Type and effect systems
- Secure programming
Demonstrating
During this academic year I am demonstrator for the following modules:
Supervisor and Colleagues
- Dr. Hayo Thielecke PhD supervisor and supporter since my MSc course (2008-2009).
- Asiri Rathnayake started his PhD in 2011.
- Horia Corcalciuc PhD student since 2007; Teaching Assistant.
Last modified: