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.
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.
| Name | Research Interest | Research Group(s) |
|---|---|---|
| Tor Aamodt | Computer architecture. Microarchitecture and programming models for energy efficient compute accelerators. | Computer and Software Engineering, System-on-Chip (SoC) |
| Konstantin Beznosov | Usable security, design of security mechanisms, distributed systems, security, access control, engineering secure software. | Computer and Software Engineering, Secure Systems Engineering (LERSSE) |
| Souradeep Dutta | Reinforcement Learning, cyber-physical systems, formal methods, artificial intelligence. | |
| Alexandra (Sasha) Fedorova | Computer and Software Systems | |
| Sid Fels | Human computer interaction, human 3D biomechanical modeling, speech synthesis, medical applications of modeling, computer vision, interactive arts and music. | Computer and Software Engineering, Electrical and Computer Engineering in Medicine, Human Communication Technologies |
| Sathish Gopalakrishnan | Real-time systems, distributed systems, resource management. | Computer and Software Engineering, Real-Time and Dependable Computing Lab |
| Andre Ivanov | VLSI design and test, design for testability, fault tolerance, fault modeling and simulation, test generation, built-in self-test, built-in current testing, infrastructure IP for systems on chip, systems on chip design and test, analog and mixed signal design and test, networks on chip, fault diagnosis, design validation, post-silicon debug | Microsystem and Nanotechnology (MiNa), System-on-Chip (SoC) |
| Nicholas Jaeger | Integrated-optics, fiber-optics, optical sensors, optical measurement of voltage and current in power substations, ultrahigh-speed electro-optic modulators, ultrahigh-speed measurement techniques. | Electro-Optics Lab: Optical Sensors for the Power Industry, Microsystems and Nanotechnology (MiNa), Photonics Research Group |
| Guy Lemieux | Programmable logic and computing systems, multiprocessor and computer architecture. | Computer and Software Engineering, System-on-Chip (SoC) |
| Mieszko Lis | Computer architecture. Parallel architectures, programming models, and compilers. High-level VLSI design methodologies. | Computer and Software Engineering, System-on-Chip (SoC) |
| Ali Mesbah | Software engineering, software testing and dynamic analysis, web-based systems, software evolution, Web 2.0 and social software engineering | Computer and Software Engineering, Software AnaLysis and Test Lab (SALT) |
| 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. | System-on-Chip (SoC) |
| Panos Nasiopoulos | Multiview Coding, 3D technologies, High Dynamic Range Video, Quality of Experience (3D, HDR, Digital Cinema), Interactive multimedia, Digital video processing and communications | Biomedical and Multimedia Signal Processing |
| Simon Oya | Privacy-enhancing technologies, computer security, statistics, anonymous communication systems, location privacy, searchable encryption, machine learning privacy | |
| Karthik Pattabiraman | Fault-tolerant and secure systems, programming languages and compilers, web applications. | Software Analysis and Test Lab (SALT) |
| Matei Ripeanu | Distributed systems, peer-to-peer systems, high-performnace computing | Computer and Software Engineering, NetSysLab, Real Time and Dependable Computing Laboratory (RADICAL), Secure Systems Engineering (LERSSE) |
| Julia Rubin | Software engineering; program analysis; software quality, security, and robustness; adversarial robustness, explainability, and interpretability of ML-based systems; mobile and cloud software | Reliable, Secure, and Sustainable Software Lab (ReSeSS) |
| Mohammad Shahrad | Cloud computing, serverless computing, resource management, data center efficiency, sustainable computing | Cloud Infrastructure Research for Reliability, Usability, and Sustainability (CIRRUS) |
| Sudip Shekhar | Microelectronics, integrated circuits, CMOS circuit design for wireless, wireline and silicon photonics applications | System-on-Chip (SoC) |
| Konrad Walus | Nanoelectronic devices and circuits, quantum-dot cellular automata, single-electron transistors, quantum mechanical simulations | |
| Steve Wilton | Field programmable gate array architectures and CAD tools. | System-on-Chip (SoC) |