Software systems deliver novel computing technologies such as algorithms, intelligence, and analytics, and connect them to the end users. The department's research on software systems covers a variety of research topics towards enhancing software productivity, quality, user experience, scalability, etc. These research projects develop:

1. Novel features of programming languages and Integrated Development Environments (IDEs) to accelerate software development
2. Formal methods, program analysis, and testing techniques to systematically reduce software defects and policy violations
3. Human-computer interfaces based on emerging platforms such as mobile devices and virtual/augmented reality
4. Scalable software systems over big data

Participating Faculty