Research @ CS - Programming Systems and Verification

Computer Hardware / Software Systems - Programming Systems and Verification

Computational techniques are now a major innovation catalyst for all aspects of human endeavour. Our research aims to develop tomorrow’s information technology that supports innovative applications, from big data analytics to the Internet of Things. It covers all aspects of information technology, including energy efficient and robust hardware systems, software defined networks, secure distributed systems, data science, and integrated circuits and power electronics.


Faculty Profile

Name Faculty Title Research Focus
Alex Aiken Professor Computer Systems

Programming Systems and Verification
Clark Barrett Professor Computer Systems

Architecture

Programming Systems and Verification
Dawson Engler Associate Professor Computer Systems

Programming Systems and Verification
Subhasish Mitra Professor Computer Systems

Architecture

Programming Systems and Verification
Kunle Olukotun Professor Computer Systems

Architecture

Programming Systems and Verification