Photo: Karl ÖfverströmIn total, the research and teaching staff of SaS consists of 9 professors, about 20 associate/assistant professors, teachers and postdocs, 25 graduate students and 12 teaching assistants.
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 systems, including compilers, debuggers, testing tools, and programming tools for parallel, distributed and real-time systems.
Real Time Systems (RTSLAB)
Dependable systems and networks, including reliability, safety and security, resource efficiency with respect to computation capacity, memory, bandwidth and energy.
Theoretical Computer Science (TCSLAB)
Formal methods, logic and constraint programming, constraint satisfaction problems, analysis of algorithms and computational complexity
The teachers group for education in programming and program development (UPP) is responsible for most of the basic courses in programming, data structures and algorithms, and also some advanced courses within different areas.
The SaS division is responsible for about 70 annual courses at undergraduate and master level in all engineering profiles of Linköping University, covering the following areas:
- Basic Programming Courses
- Operating Systems
- Programming Theory
- Software Engineering
- Systems Engineering
- Algorithms and Complexity Theory
- Parallel Computing
- Embedded and Real-Time Systems
- Computer and System Modeling and Simulation
- Distributed Systems
- Computer Networks
- Computer Architecture
The undergraduate and master-level courses of the division are managed by Ola Leifler.
The graduate education of the SaS division is organized in the following subjects:
- Computer Science
- Computer Systems
The SaS Seminarsis a permanent series of open seminars with topics related to SaS research.