Home / Emerging Technologies and Advanced Methods

Emerging Technologies and Advanced Methods

Discover more about our department, programs, and initiatives.

Research Area

AI and Machine Learning in Software Engineering (AI4SE):
Formal Methods and Verification:
Cybersecurity in Software Engineering:
Software Engineering for Emerging Technologies:

Overview

Future-facing or high-tech areas where software engineering intersects with AI, formal methods, and novel computing paradigms.

Research Members

Publications