Skip to main content
News

QMUL professor wins computer science award

Professor Dino Distefano has been awarded the Computer-Aided Verification (CAV) Award for his work, as part of a team of other researchers, into Separation Logic.

Published on:
Back to top