Mohamed Nabih Menaa



I am a doctoral student in the School of Computer Science at the University of Birmingham. My supervisor is Dan Ghica. Prior to that, I completed a Master of Engineering (first class Hons.) in Software Engineering and Computer Science, also within the School.

My research revolves around building low-latency synchronous representations of game semantic models, in which more than a single move may be observed at any single instant. In particular, I study the theoretical properties of a technique called "round abstraction", allowing such representations to be derived from their asynchronous counterparts.

Research Interests

Synchronous languages, process calculi, concurrency, programming language semantics (in particular, game semantics).

Updates
01/02/2011: Upcoming talk on Synchronous Game Semantics at GaLoP VI
01/02/2011: Preprint of paper Synchronous Game Semantics via Round Abstraction now online
10/12/2010: Paper Synchronous Game Semantics via Round Abstraction with Dan Ghica to appear at FoSSaCS 2011
11/10/2010: Concur paper is now online
09/08/2010: Talk at PDHRS 2010
16/07/2010: Short paper presentation at LICS 2010 (slides)
26/05/2010: New paper On the Compositionality of Round Abstraction to appear at CONCUR 2010

Teaching

I have been a demonstrator / tutor for the following modules over the years:

(As a doctoral student)

2010-2011
Autumn term

2009-2010
Spring term
Autumn term

2008-2009
Spring term
Autumn term

2007-2008
Spring term
Autumn term

(As an undergraduate)

2005-2006
Spring term

2004-2005
Autumn term

Other Activities