Lucas Cordeiro

Lucas Cordeiro


If you made any changes in Pure these will be visible here soon.

Personal profile


Lucas C. Cordeiro is a Reader in the Department of Computer Science at the University of Manchester (UoM), where he leads the Systems and Software Security (S3) Research Group. Dr. 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. 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 IEEE/ACM ASE'23, the Distinguished Paper Award at ACM ICSE’11, and 39 awards from the international competitions on software verification (SV-COMP) and testing (Test-Comp) 2012-2023. 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

  • 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.
  • Thirty-nine awards from international competitions on software verification (SV-COMP) and testing (Test-Comp) 2012-2023 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):

  • SDG 3 - Good Health and Well-being
  • SDG 7 - Affordable and Clean Energy

Research Beacons, Institutes and Platforms

  • Digital Futures


  • Software Engineering
  • Formal Methods
  • Automated Program Verification and Synthesis
  • Software Security
  • Embedded & Cyber-Physical Systems


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