Projects
- CONNECT - Emergent Connectors for Eternal Software Intensive Networked Systems
- ITALIA - Integrating Testing And Learning of Interface Automata: The ITALIA project deals with the design of algorithms that will allow computers to learn complex state diagrams by providing inputs and observing outputs.