Contact details
Email: M.Strygin@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:
- Control and concurrency
- Theory of programming languages
- Type and effect systems
- Signals, exceptions, traces and continuations
- Concurrency and Software security
- Secure programming
Publications
For citing, please see the BibTeX file.
-
Maxim Strygin and Hayo Thielecke
Operational semantics for signal handling
9th Workshop on Structured Operational Semantics (SOS),
(Affiliated with CONCUR 2012)
Newcastle upon Tyne, UK
Slides that were used for the presentation.
Demonstrating
During this academic year I am a demonstrator for the following modules:
Supervisor and Colleagues
- Dr. Hayo Thielecke
is my PhD supervisor.
Supported me since my MSc course (2008-2009). - Asiri Rathnayake started his PhD in 2011.
- My Erdős number is 4, thanks to Hayo Thielecke.
Hayo ∈ Erdős(3) via (John Power ∈ Erdős(2) via (Michael Makkai ∈ Erdős(1) via Paul Erdős)).
Last modified: