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
