Gabriel Ciobanu

Research Interests / Directions

  • 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