Scholar
Lucas C. Cordeiro
Google Scholar ID: Lje1SFgAAAAJ
Professor of Computer Science, University of Manchester
Citations & Impact
Citations
2,670
H-index
23
i10-index
66
Publications
20
Co-authors
40
list available
Publications
Resume (English only)
Academic Achievements
- He has co-authored more than 170 peer-reviewed publications in prestigious venues such as ICSE, CAV, TACAS, FSE, ASE, ISSTA, TSE, TR, TC. He has received various international awards, including the Most Influential Paper at ASE'23, the Distinguished Paper Award at ICSE’11 and ASE'24, and 50 awards from international competitions on software verification (SV-COMP) and testing (Test-Comp) from 2012 to 2025.
Research Experience
- Before joining the University of Manchester, he worked as a post-doctoral researcher at the University of Oxford and as a research engineer at Diffblue. Additionally, he worked for five years as a software engineer at Siemens / BenQ Mobile and CTPIM / NXP semiconductors. Currently, he is the Chief Technology Officer at VeriBee and a member of the technical advisory board at Axiomise.
Education
- Specific educational background information not provided.
Background
- Research interests include software model checking, automated testing, program synthesis, software security, embedded systems, and cyber-physical systems. He is currently a Full Professor in the Department of Computer Science at the University of Manchester, leading the Systems and Software Security (S3) Research Group. He also serves as the Business Engagement and Innovation Director in the CS department and the Arm Centre of Excellence Director at UoM.
Miscellany
- Affiliated with the Trusted Digital Systems Cluster, Formal Methods Group, and Post-Graduate Programs in Electrical Engineering (PPGEE) and Informatics (PPGI) at the Federal University of Amazonas, Brazil.
