Research output per year
Research output per year
Personal profile
Overview
Lucas C. Cordeiro is a Full Professor in the Department of Computer Science at the University of Manchester (UoM), where he leads the Systems and Software Security (S3) Research Group. Prof. Cordeiro is also the Arm Centre of Excellence Director at UoM. In addition, he is affiliated with the Trusted Digital Systems Cluster at the Centre for Digital Trust and Society, the Formal Methods Group at UoM, and the Post-Graduate Programs in Electrical Engineering (PPGEE) and Informatics (PPGI) at the Federal University of Amazonas, Brazil. He is also a member of the technical advisory board at Axiomise. 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. In addition, Dr. Cordeiro worked for five years as a software engineer at Siemens / BenQ Mobile and CTPIM / NXP semiconductors. His work focuses on software model checking, automated testing, program synthesis, software security, embedded and cyber-physical systems. He has co-authored more than 150 peer-reviewed publications in the most prestigious venues (e.g., 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 46 awards from the international competitions on software verification (SV-COMP) and testing (Test-Comp) 2012-2024. He has a proven track record of securing research funding from EPSRC, Intel, Motorola, Samsung, Nokia Institute of Technology, CNPq, FAPEAM, British Council, and Royal Society (career total over USD 13M).
Prizes and awards
- Distinguished Paper Award at ASE'24.
- Most Influential Paper Award at ASE'23.
- Best Tool Paper Award at SBSeg'23.
- Best Paper Award at SBESC’15.
- Distinguished Paper Award at ICSE’11.
- Best Paper Award at SAC’08.
- 46 awards from international competitions on software verification (SV-COMP) and testing (Test-Comp) 2012-2024 at ETAPS.
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Research Beacons, Institutes and Platforms
- Digital Futures
Keywords
- Software Engineering
- Formal Methods
- Automated Program Verification and Synthesis
- Software Security
- Embedded & Cyber-Physical Systems
Fingerprint
Dive into the research topics where Lucas Cordeiro is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verification
Charalambous, Y., Tihanyi, N., Jain, R., Sun, Y., Ferrag, M. A. & Cordeiro, L. C., 13 Jan 2025, (Accepted/In press) 6th ACM/IEEE International Conference on Automation of Software Test (AST 2025).Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
-
CASTLE: Benchmarking Dataset for Static Code Analyzers and LLMs towards CWE Detection
Dubniczky, R. A., Horvát, K. Z., Bisztray, T., Ferrag, M. A., Cordeiro, L. & Tihanyi, N., 5 Apr 2025, (Accepted/In press) The 19th International Symposium on Theoretical Aspects of Software Engineering.Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
File3 Downloads (Pure) -
ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST
Li, X., Song, K., Gadelha, M. R., Brauße, F., Sa Menezes, R. S., Korovin, K. & Cordeiro, L. C., 1 Dec 2025, In: Science of Computer Programming. 246, 103336.Research output: Contribution to journal › Article › peer-review
Open Access -
ESBMC v7.7: Automating Branch Coverage Analysis Using CFG-Based Instrumentation and SMT Solving (Competition Contribution)
Wei, C., Wu, T., Sa Menezes, R., Shmarov, F., Aljaafari, F., Godboley, S., Alshmrany, K., de Freitas, R. & Cordeiro, L. C., 21 Jan 2025, (Accepted/In press) 28th International Conference on Fundamental Approaches to Software Engineering.Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
-
ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction (Competition Contribution)
Wu, T., Li, X., Manino, E., Sa Menezes, R., Gadelha, M. R., Xiong, S., Tihanyi, N., Petoumenos, P. & Cordeiro, L. C., 21 Jan 2025, (Accepted/In press) 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems.Research output: Chapter in Book/Conference proceeding › Conference contribution › peer-review
-
Centre for Digital Trust and Society
Barrett, E. (PI), Allmendinger, R. (Researcher), Elliot, M. (Researcher), Lord, N. (Researcher), Cordeiro, L. (Researcher), Gibson, R. (Researcher), Papamarkou, T. (Researcher), Dresner, D. (Researcher), Buil-Gil, D. (Researcher), Aldridge, J. (Researcher), Duncan, P. (Researcher), Banach, R. (Researcher), Brown, G. (Researcher), Dennis, L. (Researcher), Fisher, M. (Researcher), Korovin, K. (Researcher), Kotselidis, C.-E. (Researcher), Luján, M. (Researcher), Mustafa, M. (Researcher), Olivier, P. (Researcher), Reger, G. (Researcher), Zhang, N. (Researcher), Hodgkinson, G. (Researcher), Gulati, S. (Researcher), Ainsworth, J. (Researcher), Chen, Y.-W. (Researcher), Green, B. (Researcher), Healey, M. (Researcher), Uyarra, E. (Researcher), Zachariadis, M. (Researcher), Little, C. (Researcher), Mackey, E. (Researcher), Nenadic, G. (Researcher), Keane, J. (Researcher), Shlomo, N. (Researcher), Laskowski, N. (Researcher), Jarwar, M. A. (Researcher), Shariati Samani, S. (Researcher), Smith, D. (Researcher), Kambites, M. (Researcher), Thorpe, M. (Researcher), Rowley, P. (Researcher), Flynn, S. (Researcher), Turner, P. (Researcher), Wainwright, V. (Researcher), Czerwinsky, A. (PGR student), Nini, A. (Researcher), Broad, R. (Researcher), Shute, J. (Researcher), Deakin, J. (Researcher), Taboada, P. (PGR student), Knight, P. (Researcher), Hutchings, S. (Researcher), Whyte, J. (Researcher), Tolz-Zilitinkevic, V. (Researcher), Pilkington, H. (Researcher), Guharoy, S. (Researcher), Nicolo, A. (Researcher), Reggiani, C. (Researcher), Garcia Oliva, J. (Researcher), Van Someren, A. (Researcher), Bon, E. (Researcher), Cantijoch Cunill, M. (Researcher), Koch, D. (Researcher) & Chen, Y.-W. (Researcher)
11/05/21 → …
Project: Other
-
EnnCore: End-to-End Conceptual Guarding of Neural Architectures
Cordeiro, L. (PI), Brown, G. (CoI), Freitas, A. (CoI), Luján, M. (CoI) & Mustafa, M. (CoI)
1/02/21 → 31/12/25
Project: Research
-
RAI: Centre for Robotics and Artificial Intelligence
Cangelosi, A. (PI), Lennox, B. (PI), Weightman, A. (CoI), Dennis, L. (CoI), Dixon, C. (CoI), Fisher, M. (CoI), Herrmann, G. (CoI), Dickson, A. (CoI), Lanzon, A. (CoI), Stancu, A. (CoI), Miller, A. (CoI), Freitas, A. (CoI), Nini, A. (CoI), Voronkov, A. (CoI), Brass, A. (CoI), Vijayaraghavan, A. (CoI), Parslew, B. (CoI), crowther, W. (CoI), Grieve, B. (CoI), Adorno, B. (CoI), Jay, C. (CoI), Wang, C. C. L. (CoI), Todd, C. (CoI), Soutis, C. (CoI), Arsene, C. (CoI), Dresner, D. (CoI), Barrett, E. (CoI), Gowen, E. (CoI), Arvin, F. (CoI), Podd, F. (CoI), Brown, G. (CoI), Reger, G. (CoI), Cooper, G. (CoI), Mairs, H. (CoI), Yin, H. (CoI), Kinloch, I. (CoI), Eleftheriou, I. (CoI), Li, J. (CoI), Carrasco Gomez, J. (CoI), Ainsworth, J. (CoI), Sinha, J. (CoI), Ozanyan, K. (CoI), Smith, K. (CoI), Twomey, K. (CoI), Margetts, L. (CoI), Ren, L. (CoI), Zhang, L. (CoI), Cordeiro, L. (CoI), Rattray, M. (PI), Bissett, M. (CoI), Elliot, M. (CoI), Alvarez, M. (CoI), Luján, M. (CoI), Nabawy BSc, MSc, PhD, MRAeS, SMAIAA, FHEA, M. (CoI), Peek, N. (CoI), Marjanovic, O. (CoI), Dorn, O. (CoI), Dudek, P. (CoI), Green, P. (CoI), Connolly, P. (CoI), Da Silva Bartolo, P. J. (CoI), Gardner, P. (CoI), Martin, P. (CoI), Potluri, P. (CoI), Curtis, R. (CoI), Schmidt, R. (CoI), Banach, R. (CoI), Batista-Navarro, R. T. (CoI), Kaski, S. (CoI), Midson, S. (CoI), Watson, S. (CoI), Holm, S. (CoI), Furber, S. (CoI), Schlegel, V. (CoI), Mirihanage, W. (CoI), Mansell, W. (CoI), Pan, W. (CoI), Sampson, W. (CoI), Sellers, W. (CoI), Yang, W. (CoI), Cai, P. (CoI), Sun, Y. (CoI), Alharthi, A. (Researcher), Macario Rojas, A. (Researcher), Serhan, B. (Researcher), Yu, C. (Researcher), Abara, D. (Researcher), Lopez Pulgarin, E. (Researcher), Faruq, F. (Researcher), Tavella, F. (Researcher), Semeraro, F. (Researcher), Liu, G. (Researcher), Fang, G. (Researcher), Niu, H. (Researcher), Taylor, H. (PI), Zhu, H. (PGR student), Collenette, J. (Researcher), Amano, K. (Researcher), Lo, K. C. J. (PGR student), Raggioli, L. (Researcher), Romeo, M. (Researcher), Ruocco, M. (PGR student), Ghaffari Saadat, M. (Researcher), Walmsley, M. (Researcher), Mubarik, A. (Researcher), Vinanzi, S. (Researcher), Su, Y.-H. (PGR student), McAleese, H. (PGR student), Stringer, P. (PGR student), Stoican, R. (PGR student), Ye, R. (PGR student), Kurawa, S. S. (PGR student), Zhang, T. (PGR student), Krywonos, W. (PGR student), Xu, Y. (PGR student), Tian, Y. (PGR student), Henderson, A. (Technical team), Morley, D. (Support team), Tallentire, J. (Support team), Smith, J. (Support team), Hawthornthwaite, S. (Support team), Carlson, J. (Support team) & Baniqued, P. D. (Researcher)
Project: Research
-
SCorCH: Secure Code for Capability Hardware
Reger, G. (PI), Cordeiro, L. (CoI), Korovin, K. (CoI), Mustafa, M. (CoI) & Olivier, P. (CoI)
1/07/20 → 31/12/23
Project: Research
Prizes
-
ACM SIGSOFT Distinguished Paper Award
Pirzada, M. (Recipient), Reger, G. (Recipient) & Cordeiro, L. (Recipient), Oct 2024
Prize: Prize (including medals and awards)
-
FuSeBMC wins 1st place & gold medal at Test-Comp 2025
Cordeiro, L. (Recipient), Allmendinger, R. (Recipient) & Alshmrany, K. (Recipient), 2025
Prize: Prize (including medals and awards)
Impacts
-
VeriBee: Source Code Security
Cordeiro, L. (Participant), Allmendinger, R. (Participant) & Alshmrany, K. (Participant)
Impact: Economic, Technological
Datasets
-
Verifying Fragility in Digital Systems with Uncertainties using DSVerifier v2.0
Chaves, L. (Creator), DE BESSA, I. (Creator), Ismail, H. (Creator), Cordeiro, L. (Contributor) & Lima Filho, E. (Creator), Mendeley Data, 16 Mar 2019
DOI: 10.17632/83w8k935fd.1, https://data.mendeley.com/datasets/83w8k935fd
Dataset