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. <\/p>\n\n\n\n
Most research groups maintain web pages detailing their activities, summarized below:<\/p>\n\n\n\n
Asynchronous VLSI and Architecture<\/a>:<\/strong> the<\/em> 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.<\/em><\/p>\n\n\n\n Decentralized Systems Group @ Yale CS:<\/a><\/strong> decentralized systems enabled by Internet-scale consensus and cryptography to enable transformative applications with strong security, privacy, resiliency, and fairness.<\/em><\/p>\n\n\n\n Efficient Computing Lab:<\/strong><\/a> efficient technologies for future computing, communication and interfacing<\/em>.<\/p>\n\n\n\n FLINT: Certified Systems Software<\/a>:<\/strong> 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.<\/em><\/p>\n\n\n\n ROSE: Rigorous Software Engineering<\/a>: <\/strong>programming languages, software verification, automated reasoning, and code synthesis.<\/em><\/p>\n\n\n\n Yale Systems Architecture Group<\/strong><\/a>: 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.<\/em><\/p>\n\n\n\n Yale Quantum Systems Lab:<\/a><\/strong> algorithms and computer architecture, particularly in the context of quantum computing<\/em>.<\/p>\n\n\n\n Some of the researchers working in computer networking are also part of broader University-wide initiatives including the Institute for Network Science<\/a>, the Quantum Institute<\/a>, and the Wu-Tsai Institute<\/a>.<\/p>\n\n\n\n <\/p>\n","protected":false},"excerpt":{"rendered":" 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 … <\/p>\n