Computer and Software Systems
About
Vision
We are living in a world where computer systems pervade every aspect of our lives. These systems range from small, embedded devices to large-scale data centres and servers. The quality of our lives thus depend on the fast and correct operation of these systems. However, the complexity of these systems necessitates the application of rigorous design and analysis principles to ensure their performance, dependability, security and usability. We believe that computer systems of the future will need holistic and cross-cutting techniques spanning the entire system stack from the device level up to the user-interface. In turn, this will enable future systems to provide seamless operability to end users.
Innovation
Researchers in the computer engineering area are working on a range of techniques cutting across hardware and software layers in computer systems. We are focused on high-performance, adaptable, dependable, secure and predictable computer systems. Our innovation is driven by the realization that the user is the ultimate arbiter in a computer system, and hence we actively involve users in improving the techniques we build. Our unique emphasis on a cross-layer approach allows us to achieve unprecedented levels of performance and usability.
Research Groups
| Computer and Software Engineering | Our group focuses on computer system design at all levels of both hardware and software |
| Human Communication Technologies | Communication and computing technology is advancing at an accelerated pace |
| Networked Systems Laboratory (NetSysLab) | Networked Systems Laboratory explores the computing infrastructure of the future. Our webpage is here. |
| Real-Time and Dependable Computing Lab (RADICAL) | The focus of research in this group is computer systems — with an emphasis on dependable, embedded and real-time systems |
| Reliable, Secure, and Sustainable Software Lab (ReSeSS) | The Reliable, Secure, and Sustainable Software Lab (ReSeSS) aims at improving software integrity and robustness |
| Secure Systems Engineering (LERSSE) | We are devoted to research and training in all technical aspects of secure systems engineering |
| Software AnaLysis and Testing (SALT) Lab | The main mission of the Software AnaLysis and Testing (SALT) lab is to explore novel and automated techniques for supporting software dependability and evolution |
| System-on-Chip (SoC) | Our group focuses on the design and testing of Very-Large Scale Integrated Circuits |
People
| Tor Aamodt | Computer architecture including accelerators for deep neural networks and architecture of graphics processor units for non-graphics computing.Research Groups |
| Konstantin Beznosov | Usable security, design of security mechanisms, distributed systems, security, access control, engineering secure software.Research Groups |
| Sid Fels | Human computer interaction, human 3D biomechanical modeling, speech synthesis, medical applications of modeling, computer vision, interactive arts and music.Research Groups |
| Sathish Gopalakrishnan | Real-time systems, distributed systems, resource management. Research Groups |
| Andre Ivanov | VLSI Design and Test, Reliability Engineering, IC Reliability, ab-initio simulation, Design for Reliability, Electronic Design Automation (EDA), Machine Learning for EDA, Machine Learning for IC Reliability, IoT Security Research Groups |
| Philippe Kruchten | Architecture of large-scale, software-intensive systems. Software development processes. Software project management. Technical debt.Research Groups |
| Guy Lemieux | Programmable logic and computing systems, multiprocessor and computer architecture.Research Groups |
| Mieszko Lis | Computer architecture. Parallel architectures, programming models, and compilers. High-level VLSI design methodologies.Research Groups |
| Ali Mesbah | Software engineering, Software testing and dynamic analysis, Software evolution and maintenance Research Groups |
| Shahriar Mirabbasi | Analog and mixed-signal intergrated circuits and systems design, integrated circuit design with an emphasis on high-speed data communication and signal processing applications.Research Groups |
| Panos Nasiopoulos | Digital video processing and communications Research Groups |
| Karthik Pattabiraman | Fault-tolerant and secure systems, programming languages and compilers, web applications.Research Groups |
| Matei Ripeanu | Distributed systems, peer-to-peer systems, high-performance computingResearch Groups |
| Julia Rubin | software engineering; program analysis; software quality, integrity and sustainability; mobile software; software security and data privacy; energy-efficient software; compositional and collaborative software developmentResearch Groups |
| Sudip Shekhar | microelectronics, integrated circuits, CMOS circuit design for wireless, wireline and silicon photonics applications Research Groups |
| Konrad Walus | Nanoelectronic devices and circuits, quantum-dot cellular automata, single-electron transistors, quantum mechanical simulationsResearch Groups |
| Steve Wilton | Field programmable gate array architectures and CAD tools.Research Groups |
