Software

Software

The goal of this research area is to develop fundamentally new formalisms, techniques and tools for efficient development and deployment of reliable, secure and efficient software. The group focuses on the three interconnected areas of programming languages, software engineering and security.

Topics

Programming Languages

Verification, Automated Reasoning, Program Optimization, Formal Methods, Program Analysis

Security

Intrusion Detection, Elections and e-Voting, Social Networking, Identity Management, Adversarial Machine Learning

Software Engineering

Automated Bug Finding, Naturalness of Software

Software Faculty


Faculty

Portrait Image

Hao Chen

Position Title
  • Professor
Portrait Image

Sam King

Position Title
  • Associate Professor

Emeriti Faculty

Portrait Image

Prem Devanbu

Position Title
  • Distinguished Professor Emeritus