Emanuele D'Osualdo

Tenure-Track Professor

University of Konstanz

Germany

Research Interests

Explore related searches

Professors in Germany

Contact this professor

Get a free first email built on one of their papers, ready for you to edit and send yourself.

About

Emanuele D'Osualdo is a Tenure-Track Professor at the University of Konstanz in Germany. His research encompasses areas such as probabilistic reasoning, multi-language semantics and verification, and concurrency. His recent publications include works on relational lifting, linearizability, and compositional reasoning for concurrent programs.

Articles (6)

Year:

2025

Year:

2023

Year:

2023

Year:

2022

Year:

2022

Year:

2021

Collaborators (2)

Dan Frumin

University of Groningen

NETHERLANDS

View details

Jorge A. Pérez

University of Groningen

NETHERLANDS

View details

ApplyKite TwinLearns as you apply

Make your next move.

Prepare your application

Review drafts before you send them.

Emanuele D'Osualdo

Research Interests

Explore related searches

Contact this professor

About

Articles (6)

Bluebell: An Alliance of Relational Lifting and Independence for Probabilistic Reasoning

DimSum: A Decentralized Approach to Multi-language Semantics and Verification

The Path to Durable Linearizability

A bunch of sessions: a propositions-as-sessions interpretation of bunched implications in channel-based concurrency

Proving hypersafety compositionally

TaDA Live: Compositional Reasoning for Termination of Fine-grained Concurrent Programs

Collaborators (2)

Dan Frumin

Jorge A. Pérez

Make your next move.