Dino Distefano Hompage
Publications
Talks
Research and Activities

Dino Distefano

Dino Distefano

Professor of Software Verification

Anthropic, London
Queen Mary University of London
Email
LinkedIn
Github
Google Scholar

Portfolio

Portfolio item number 1

Short description of portfolio item number 1

Portfolio item number 2

Short description of portfolio item number 2

Follow:
GitHub
Feed

© 2025 Dino Distefano. Powered by Jekyll & AcademicPages, a fork of Minimal Mistakes.