Program Commitee Member:

(both now and in the past)

SmartCity-2018

CYBERSEC 2018, 2017

CYBCONF 2018, 2017

Bio-Inspired Trust Management for Information Systems

SOFSEM

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)

    VEGA - Knowledge And Trust in Open Agent Environments (2018 - 2021)

    ESF projekt