Lucas Cordeiro
Director Of Business Engagement And Innovation
Wilmslow, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolLucas C. Cordeiro is a director-level academic and technology leader with 14+ years of experience bridging formal methods, software security, and industry engagement across the UK and Brazil. As Professor at the University of Manchester and Director of its Arm Centre of Excellence, he leads the Systems and Software Security group while driving business engagement and innovation. His research—spanning software model checking, automated testing and program synthesis—has produced 160+ peer-reviewed papers, numerous awards (including Most Influential Paper at ASE’23) and 46 competition medals in SV-COMP/Test-Comp. He has a strong industry pedigree from roles at Diffblue, Siemens and NXP-related teams, and contributes to prominent open-source verification tooling such as the sv-benchmarks collection and CBMC tests to improve correctness of real-world benchmarks. Fluent in translating rigorous research into funded, practical outcomes, he has secured over USD 13M in research support and advises startups on scientific productization.
14 years of coding experience
5 years of employment as a software developer
Ph.D., Computer Science, Ph.D., Computer Science at University of SouthamptonM.Sc., Computer Engineering, M.Sc., Computer Engineering at Universidade Federal do Amazonas
Github Skills (11)
c1710
javas10
verification10
regression-testing10
c1110
model-checking10
java10
test-automation10
testing10
benchmarking9
benchmark9
Programming languages (8)
Github contributions (5)
diffblue/cbmc
Sep 2016 - Nov 2017
C Bounded Model Checker
Role in this project:
QA Engineer / Test Automation Engineer
QA Engineer / Test Automation EngineerContributions:91 commits, 39 PRs, 131 comments in 1 year 3 months
Contributions summary:Lucas primarily contributed to the testing of the C Bounded Model Checker. Their work involved adding new test cases, particularly focusing on MC/DC coverage instrumentation, unreachable functions, assumes, the full-slice option, and Java string methods. These tests covered various aspects of the tool's functionality, helping to ensure the reliability and correctness of the model checker. Furthermore, the user added new test cases for classes pattern and matcher, which demonstrates the user's familiarity with Java.
model-checkermodel-checkingcppcheckertla
sosy-lab/sv-benchmarks
Nov 2016 - Nov 2019
Collection of Verification Tasks
Role in this project:Back-end Developer
Back-end DeveloperContributions:7 reviews, 8 commits, 13 PRs in 3 years
Contributions summary:Lucas primarily contributes to the `sv-benchmarks` repository by modifying existing code to avoid undefined behavior and ensure correct program execution. They address potential issues like division by zero and signed overflows by adding assume statements and adjusting conditional logic. Their work focuses on improving the reliability and correctness of the benchmark tasks within the repository.
securitytlaverification
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.