Hide menu

Division for Software and Systems (SaS)

Research Labs


The research activities take place in 4 laboratories:

  • Embedded Systems (ESLAB)
    codesign and design for testability of embedded HW/SW systems and formal methods for embedded systems
  • Programming Environments (PELAB)
    software engineering tools and architectures, programming languages and environments, including compilers, debuggers, testing tools, parallel and real-time programming tools
  • Real Time Systems (RTSLAB)
    tools, methods and architectures for the design of software intensive real-time systems
  • Theoretical Computer Science (TCSLAB)
    formal methods, logic and constraint programming, constraint satisfaction problems, analysis of algorithms and computational complexity

Page responsible: Eva Pelayo Danils
Last updated: 2005-02-17