Skip to content

Software & Hardware Systems

Our researchers are driving innovation across the entire hardware, software and network stack to make computer systems more reliable, efficient and secure. 

From internet-scale networks, to next-generation chip designs, to deep learning frameworks and more, we build and refine the devices and applications that individuals, industries and, indeed, entire economies depend upon every day.


Research Groups & Labs

Purple-tinted English QWERTY keyboard

Programming Languages & Software Engineering Group (PLSE)

The Programming Languages and Software Engineering Group advances fundamental research and practical applications in programming environments, program analysis, language design, synthesis, compilers, testing, verification and security.

A hand stacking square blocks in ascending heights like a graph

Interactive Data Lab

The Interactive Data Lab aims to enhance people’s ability to understand and communicate data through the design of new interactive systems for data visualization and analysis.


Faculty Members

Faculty

Adjunct Faculty


Centers & Initiatives

ACTION logo

NSF AI ACTION Institute

The NSF AI Institute for Agent-based Cyber Threat Intelligence and Operation (ACTION) seeks to change the way mission-critical systems are protected against sophisticated, ever-changing security threats. In cooperation with (and learning from) security operations experts, intelligent agents will use complex knowledge representation, logic reasoning, and learning to identify flaws, detect attacks, perform attribution, and respond to breaches in a timely and scalable fashion.

IFDS logo in multi-colored block letters with graphic of neuron connections and wording underneath Institute for Foundations of Data Science

Institute for Foundations of Data Science (IFDS)

IFDS organizes its research around four core themes: complexity, robustness, closed-loop data science, and ethics and algorithms. By making concerted progress on these fundamental fronts, IFDS aims to lower several of the barriers to better understanding of data science methodology and to its improved effectiveness and wider relevance to application areas.

Highlights