Cristiano Calcagno
Cristiano Calcagno is an EPSRC Advanced Fellow at the Department of Computing of
Imperial College London.
Research Interests
He is interested in the application of theory and tools for the specification and verification of semi-structured and heap-based data update. Also, interested in type safe code generation.