Research interests:

  • theory of concurrency,
  • process algebras, timed automata
  • real-time systems, timed process algebras, probabilistic timed process algebras
  • concurrent and parallel programming,
  • formal methods
  • security (non-interference, information flow, opacity)
  • Some recent publications

    Journal papers

    Conference papers

    Head of projects:

    VEGA - Models for concurrent, parallel and intelligent computing (2000 - 2002)

    VEGA - Network computing Nonstandard models of computing - specification, complexity and security (2006 - 2008)

    VEGA - Knowledge representation for ambient intelligence (2012 - 2015)

    ESF projekt