Software Engineering

Research Frontiers in Type System Design for Concurrent Reactive Programming

Development of advanced type systems that statically prevent data races and atomicity violations in reactive and event-driven software architectures.

All Software Engineering PhD categories