ESLAB’s current research activities are mainly in the following areas:
- analysis and optimization of real-time embedded systems,
- hardware/software co-design,
- design of fault-tolerant distributed systems,
- formal verification and model checking, and
- SoC testing and design for test.