World-class expertise.
Real industrial results.

Prof. Lucas Cordeiro

Founder & Technical Director

Full Professor in Formal Verification and Software Security at the University of Manchester, where he also serves as Director of the Arm Centre of Excellence and as Director of Business Engagement and Innovation in the Department of Computer Science. Lucas is the creator and lead developer of ESBMC, the open-source SMT-based bounded model checker around which CRC's consultancy services are built — and has led collaborative research with Intel, Arm, AWS, the Ethereum Foundation, and the Rust Foundation. His research record (per his published CV, as of 2026) includes 191 peer-reviewed publications and an h-index of 34, with awards including ACM SIGSOFT Distinguished Paper Awards at ASE'24 and ICSE'11, the Most Influential Paper Award at ASE'23, the Best Tool Paper Award at SBSeg'23, and 50+ awards across the international SV-COMP and Test-Comp competitions at TACAS/FASE between 2012 and 2026. He is a member of the EPSRC Peer Review Full College and has supervised 13 PhD theses to completion. Across his academic career he has secured over USD 13M in research funding — awarded to the research groups he has led at the University of Manchester and previous institutions — from EPSRC, UKRI, the Royal Society, the EU, Intel, Motorola, the Nokia Institute of Technology, and Samsung.