Mobility is my latest passion. The notion of having agents roaming across hosts that may move through space is just too exciting an idea to ignore. With the entry into middleware for mobility, systems research complements formal modeling work. Formal design methods and software visualization techniques have been two dominant research themes throughout my academic career. I find beauty in mathematical elegance and power in the knowledge that the industrial techniques I promote have a solid technical foundation. I find excitement in aesthetically pleasing images that are able to communicate sophisticated abstract concepts.

Current projects

• CiAN - A workflow management system for MANETs
  
  
• Agimone - A middleware supporting the integration of sensor networks and MANETs
  
  
• Sliver - A SOAP and BPEL execution engine for mobile devices
  
  
• Agilla - A middleware for mobile agents in sensor networks
  
  
• SPAWN - A service provision middleware for MANETs
  
  
• Limone - A lightweight coordination middleware for MANETs
  
  
• LIME - A coordination middleware for MANETs
  

Research Activities

• Ad hoc and Sensor Network Software (2005 - Present)
  
  
• Mobile Computing (1995 - 2005)
  
  
• Program Visualization (1990 - 2000)
  
  
• Formal Design Methods (1985 - 1995)
  
  
• Early Work (1975 - 1985)