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.

External Link