Dr Lucas Cordeiro

Reader in ProgAnlys & CyberSec

View graph of relations


Lucas C. Cordeiro is a Reader in the Department of Computer Science at the University of Manchester (UK), where he leads the Systems and Software Security Research Group. Before joining the University of Manchester, he worked as a post-doctoral researcher at the University of Oxford, a research engineer at Diffblue and an assistant professor at the Federal University of Amazonas (UFAM). Dr. Cordeiro also worked for six 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 120 peer-reviewed publications in the most prestigious venues (e.g., ICSE, CAV, TACAS, FSE, ASE, TSE). He has received various international awards, including the Distinguished Paper Award at ACM ICSE’11, and 28 awards from the international competitions on software verification (SV-COMP) and testing (Test-Comp) 2012-2021. He has a proven track record of securing research funding from EPSRC, Samsung, Nokia Institute of Technology, CNPq, FAPEAM, British Council, and Royal Society (career total over USD11,147,088).


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

Related information


Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Research output: Contribution to journalArticlepeer-review

View all (85)