• Distributed Systems and Concurrency:

  models and languages, process algebras and calculi, bisimulations, abstract semantics, mobility.

• Computational Biology:

  modelling and simulation, molecular networks, molecular interaction.

• Theory of Programming:

  semantics of programming, formal methods, algebraic models.

• Logic in Computer Science:

  lambda calculus, reasoning about programs.

Contact / Back