Robin Piedeleu
piedeleu.com
Personal academic homepage of Robin Piedeleu, a research fellow at UCL, with sections for research and notes.
Robin Piedeleu's academic homepage provides an overview of his research in programming principles, logic, and verification, along with a notes section.
Checked with Google Web Risk · 1 hour ago
- language
- EN
- here since
- August 2026