Francesco Ranzato

@ranzato.bsky.social

171 Followers · 94 Following

Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.

Nothing here yet.