Lucas C. Cordeiro

Registered user since Fri 9 Jun 2017

Name: Lucas C. Cordeiro

Bio: Lucas C. Cordeiro is a Senior Lecturer in Program Analysis and Cyber-Security in the School of Computer Science at the University of Manchester, UK. He is also a collaborator in the Postgraduate Program in Electrical Engineering and Informatics at the Federal University of Amazonas, Brazil. His research focuses on bounded (and unbounded) model checking, automated testing, program synthesis, and embedded & cyber-physical systems. Since the completion of his PhD in 2011, Dr. Cordeiro worked as principal investigator in 7 research and development projects (R&D) with funding from CNPq (Brazil), FAPEAM (Brazil), Royal Society (UK), British Council (UK), and Nokia Institute of Technology (Brazil); he also worked as researcher in other 6 R&D projects with funding from CAPES (Brazil), FAPEAM (Brazil), FINEP (Brazil), EPSRC (UK), and Samsung (Brazil). Dr. Cordeiro has published over 70 peer reviewed papers in Journals and Conferences; he has an h-index of 13, one distinguished paper at ICSE’11, and seventeen awards from the International Competition on Software Verification (SV-COMP) 2012-2017. He has international research collaborations with the University of Southampton (UK), University of Bristol (UK), and University of Stellenbosch (South Africa). Dr. Cordeiro also worked for 4 years in software development projects related to mobile phones and set-top box at Siemens / BenQ and CTPIM / NXP companies, respectively.

Country: United Kingdom

Affiliation: University of Manchester, UK

Personal website:

Research interests: Bounded (and Unbounded) Model Checking, Automated Testing, Program Synthesis, and Embedded & Cyber-Physical Systems.


JPF 2018Author of Benchmarking of Java Verification Tools at the Software Verification Competition (SV-COMP) within the JPF-track
ESEC/FSE 2018Author of Towards Counterexample-guided k-Induction for Fast Bug Detection within the New Ideas and Emerging Results-track
Show activities from other conferences

Using general profile