ESS Main Research Areas
- Formal Design Methods
- Intelligent Systems
- Pervasive Systems Design
- Programming Languages and Verification
- Software Engineering and Agile Methods
ESS Multidisciplinary Activities
- E-Systems, including E-Business, E-Government, E-learning
- Healthcare systems
- Low-energy systems
- Multi many-core concurrent systems
- Pervasive Systems
- Wireless Sensor Networks