Lucas C. Cordeiro

Lucas C. Cordeiro is a Full Professor in the Department of Computer Science at the University of Manchester, where he leads the Systems and Software Security (S3) Research Group and serves as the Arm Centre of Excellence Director. He maintains affiliations with the Federal University of Amazonas (Brazil), Trusted Digital Systems Cluster, and Formal Methods Group. His industry roles include Chief Technology Officer at VeriBee and technical advisory board membership at Axiomise.

His research focuses on:

• Formal verification techniques (bounded/unbounded model checking)
• Automated software testing and program synthesis
• Security of embedded and cyber-physical systems
• Applications of AI/ML in software verification
• Concurrent software verification

Recent publications demonstrate strong emphasis on AI/formal method integration, including LLMs for verification tasks, neural network repair, and security vulnerability detection. His work frequently develops practical tools like ESBMC (bounded model checker) and FuSeBMC (fuzzer).

Major scientific honors include:

• Most Influential Paper (ASE'23)
• Distinguished Paper Awards (ICSE'11, ASE'24)
• 50+ competition awards in SV-COMP/Test-Comp (2012-2025)

He leads significant grants totaling over $13M from EPSRC, Intel, Ethereum Foundation, GCHQ, and others. Current projects include AICodeRepair (self-healing code via LLMs), SECCOM (hardware security), and EnnCore (neural network security). He directs the S3 Research Group and Arm Centre of Excellence, developing verification tools that consistently win international competitions.