Research interests:

• Formal specifications and verification of concurrent systems: algebraic specifications, rewriting logic, graph rewriting, process algebra, interface automata, probabilistic systems, model checking.
• Component-based design, compositional reasoning, assume-guarantee reasoning.
• Programming languages: rule-based programming, semantics.
• Biochemical networks and cell signalling, systems biology.

Projects I am currently involved in are:

• Populations: A Population Approach to Ubicomp System Design EPSRC-funded (2011-2016)

Past projects:

• VPS: Verifying Interoperability Requirements in Pervasive Systems. EPSRC-funded (2008-2011)
• PORGY: Interactive Analysis and Visualisation of Port Graph Rewriting Systems. Associated team: GRAVITE group (INRIA Bordeaux) and Theory of Computing group (King's College London)
• SIGNAL: Stochastic process algebra for biochemical signalling pathway analysis. EPSRC-funded (2007-2010)
• P Systems Semantics. National Research Grant, Code CNCSIS 875, Bucharest, Romania, 2005 -- 2006.
  Project Director: Gabriel Ciobanu
  Web page: Rewriting Logic Semantics of P Systems
  Subject: This project was aimed at defining an operational semantics for P systems for specifying, executing, and verifying properties.
  

  We have defined an operational semantics of a basic class of P systems and we implemented it using rewriting logic. The structure and behavior of a P system is described by means of an executable specifications in Maude, a software system supporting rewriting and equational logic. We can verify properties of the system expressed as linear temporal logic formulas by using the model checker implemented in Maude. Within this project, I had a major role in defining and implementing the inference rules. This work was done in the context of my Master thesis.