Zukunftskolleg
Germany
fellow
Emanuele D'Osualdo
2025-2026
2026-2027
2027-2028
Discipline(s)
Computers and intelligent systems; Information and communication sciences
Theme(s)
Digital Society; Information & media
Fellowship dates
›
Biography
Emanuele D’Osualdo is a Tenure-Track Professor of Formal Methods for Software Engineering at the University of Konstanz whose research focuses on programming languages and formal verification, with particular emphasis on program logic, concurrency, security, probabilistic programs, and type systems.
Research Project
Building a Bridge between Automata and Types for Concurrency
Software bugs can severely impact the safety, security, privacy, and finance of millions of people and even whole nations. Concurrent systems, i.e. programs that are organized as a decentralized collection of interacting components, are ubiquitous and notoriously hard to get right. The driving goal for this ZENiT group is to systematically explore how to integrate automata and types (two historically separated analysis methodologies) into a unified framework for concurrency. This would unlock new analysis tools that combine the scalability of types, with the expressivity of automata.
Research Interests:
Computer Science; Information Science; Security; Privacy