 
 Computing in  Distributed Environments.  
The major goal of this research is to study the impact that global properties of 
a distributed environment and their local knowledge at each entity of the system 
have on the design of efficient distributed algorithms. Some of my goals are: 
to identify useful structural properties  for  efficiently solving  
a given  problem, 
to exploit local knowledge for reducing the communication cost 
of a problem, 
to improve existing protocols or devise new ones by using 
appropriate choices in the  design of the communication ports. 
Of particular interest are 
 
distributed mobile environments , where mobile entities inhabit a static system (e.g., 
software agents in a network); in this setting I am particularly concerned with security 
issues when computing in unsafe conditions.
Some of my research projects in this area include: distributed mobile computing 
in unsafe environments, distributed computing with sense of direction, dynamic 
monopolies …
 
  Time-varying Graphs. 
Highly dynamic networks are networks where connectivity  changes in time  and the connection patterns display a possibly complex dynamics. Such networks  play an increasingly important role in the provision of many services and applications, and they appear in   different contexts and situations. Examples of highly dynamic networks are   transportation, pedestrian, vehicular networks, satellites, military, robotic  networks, wireless, ad-hoc networks,  and social networks.
 
In this area, I am interesting in several issues, ranging from modelling to algorithm design,  from  computability to complexity analysis (e.g., see some of our recent papers   in this area).
 
  Cellular Automata and   Discrete Chaos. 
I am also interested in the study of discrete dynamical systems.  In this area, 
my main goal is the understanding of the notion of discrete chaos.  In particular, 
I study the complex ``chaotic" behaviors of Cellular Automata (CA) following 
algebraic approaches and using dynamical tools and I am interested in some models 
(fuzzy CA, coupled map lattices) which exhibit complex behaviors (see some of our recent  papers   in this area).
 
  
Some Research Projects