The VELOCiTY Research Group

The VELOCiTY research group (VErification, LOgic, Concurrency, and TYpes) brings together theoretical advances in verification with practical tool development to translate foundational ideas into real-world impact. Our research spans concurrency theory, runtime monitoring, and programming languages to develop rigorous methodologies for building dependable modern systems.

For more information, please visit our website.