Program Commitee Member:

(both now and in the past)

PSI-2019

IEEE International Conference on Scalable Computing and Communications, 2019

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)

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)