Linköping University: Students Alumni Trade and Industry/Society Internal Search

ESLAB’s current research activites 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.
  • SoC testing and design for test.

Completed Projects

Examples of the projects completed at ESLAB can be found here.