Research projects in the computer systems lab span a wide range of areas, including architecture, databases, distributed systems, design automation, hardware-software co-design, embedded systems, and VLSI.
Most research groups maintain web pages detailing their activities, summarized below:
Asynchronous VLSI and Architecture: the theory, automation, design and implementation of asynchronous (clockless/self-timed) circuits, architectures, and systems. Driving applications include ultra low power embedded systems, FPGAs, neuromorphic systems, and computer architecture.
Decentralized Systems Group @ Yale CS: decentralized systems enabled by Internet-scale consensus and cryptography to enable transformative applications with strong security, privacy, resiliency, and fairness.
Efficient Computing Lab: efficient technologies for future computing, communication and interfacing.
FLINT: Certified Systems Software: practical programming infrastructure for constructing large-scale certified systems software by combining recent new advances in programming languages, formal semantics, certified operating systems, program verification, proof assistants and automation, language-based security, and certifying compilers.
Intelligent Computing Lab: algorithm-hardware co-design for energy-efficient and robust computing platforms for deep learning, neuromorphic computing (spiking neural networks) and related applications.
ROSE: Rigorous Software Engineering: programming languages, software verification, automated reasoning, and code synthesis.
Yale Systems Architecture Group: computer architectures, operating systems, and compilers for next-generation systems that process large amounts of data, like data centers, and more exotic ones, like brain-machine interfaces.
Yale Quantum Systems Lab: algorithms and computer architecture, particularly in the context of quantum computing.
Some of the researchers working in computer networking are also part of broader University-wide initiatives including the Institute for Network Science, the Quantum Institute, and the Wu-Tsai Institute.