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 demonstrating for the following modules:
Supervisors and Colleagues
- Dr. Hayo Thielecke Supervisor and supporter since my MSc course (2008-2009). His contibution to my development as a researcher and constant wise support encouraged me for a PhD course.
- Horia Corcalciuc PhD student since 2007; Teaching Assistant.
Last modified: