Research output per year
Research output per year
Personal profile
Overview
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 the Arm Centre of Excellence Director at UoM; he also leads the Trusted Digital Systems Cluster at the Centre for Digital Trust and Society. Dr. Cordeiro is also affiliated with the Formal Methods Group at UoM and the Post-Graduate Programs in Electrical Engineering and Informatics at the Federal University of Amazonas. 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 120 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 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, Intel, Samsung, Nokia Institute of Technology, CNPq, FAPEAM, British Council, and Royal Society (career total over USD11,572,092).
Prizes and awards
- Distinguished Paper Award at ACM ICSE’11.
- Best Paper Award at SBC SBESC’15 and ACM SAC’08.
- 28 awards from the international competitions on software verification (SV-COMP) and testing (Test-Comp) 2012-2021.
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
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A Fuzzing-Based Test-Creation Approach for Evaluating Digital TV Receivers via Transport Streams
Izumi, F., Filho, E., Cordeiro, L., Maia, O., Fabricio, R., Farias, B. & Silva, A., 8 Sep 2022, (Accepted/In press) In: Software Testing, Verification and Reliability.Research output: Contribution to journal › Article › peer-review
-
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs
Aljaafari, F., Menezes, R., Manino, E., Shmarov, F., Mustafa, M. A. & Cordeiro, L., 18 Nov 2022, In: IEEE Access. 10, p. 121365 - 121384Research output: Contribution to journal › Article › peer-review
Open Access -
Control flow graph, formal verification and constraint programming techniques
Deveza, J., Santos, L., de Freitas, R. & Cordeiro, L., 15 Jun 2022, (Accepted/In press) 10th Latin American Workshop on Cliques in Graphs (LAWCG).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Counter-Example Guided Neural Network Compression Refinement (CEG4N)
Matos Junior, J. B. P., Manino, E., Song, X., Bessa, I. V. & Cordeiro, L. C., 18 Jun 2022, (Accepted/In press) 5th Workshop on Formal Methods for ML-Enabled Autonomous Systems (FoMLAS).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
ESBMC-CHERI: Towards Verification of C Programs for CHERI Platforms with ESBMC
Brauße, F., Shmarov, F., Menezes, R., Gadelha, M. R., Korovin, K., Reger, G. & Cordeiro, L., 27 May 2022, (Accepted/In press) ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
Centre for Digital Trust and Society
Barrett, E., Allmendinger, R., Elliot, M., Lord, N., Cordeiro, L., Gibson, R., Papamarkou, T., Dresner, D., Buil Gil, D., Aldridge, J., Duncan, P., Banach, R., Brown, G., Dennis, L., Fisher, M., Korovin, K., Kotselidis, C., Luján, M., Mustafa, M., Olivier, P., Reger, G., Zhang, N., Hodgkinson, G., Gulati, S., Ainsworth, J., Chen, Y., Green, B., Healey, M., Uyarra, E., Zachariadis, M., Little, C., Mackey, E., Nenadic, G., Keane, J., Shlomo, N., Laskowski, N., Jarwar, M. A., Shariati Samani, S., Smith, D., Kambites, M., Thorpe, M., Rowley, P., Flynn, S., Turner, P., Wainwright, V., Czerwinsky, A., Nini, A., Broad, R., Shute, J., Deakin, J., Taboada, P., Knight, P., Hutchings, S., Whyte, J., Tolz-Zilitinkevic, V., Pilkington, H., Guharoy, S., Nicolo, A., Reggiani, C., Garcia Oliva, J., Van Someren, A., Bon, E., Cantijoch Cunill, M., Koch, D. & Chen, Y.
11/05/21 → …
Project: Other
-
RAI: Centre for Robotics and Artificial Intelligence
Cangelosi, A., Lennox, B., Weightman, A., Dennis, L., Dixon, C., Fisher, M., Herrmann, G., Dickson, A., Lanzon, A., Stancu, A., Saiani, A., Freitas, A., Nini, A., Voronkov, A., Brass, A., Vijayaraghavan, A., Parslew, B., crowther, W., Grieve, B., Adorno, B., Jay, C., Wang, C. C. L., Todd, C., Soutis, C., Arsene, C., Dresner, D., Barrett, E., Gowen, E., Arvin, F., Podd, F., Brown, G., Reger, G., Cooper, G., Mairs, H., Yin, H., Kinloch, I., Eleftheriou, I., Li, J., Carrasco Gomez, J., Ainsworth, J., Sinha, J., Ozanyan, K., Smith, K., Twomey, K., Margetts, L., Ren, L., Zhang, L., Cordeiro, L., Rattray, M., Bissett, M., Elliot, M., Alvarez, M., Luján, M., Nabawy BSc, MSc, PhD, MRAeS, SMAIAA, FHEA, M., Peek, N., Marjanovic, O., Dorn, O., Dudek, P., Green, P., Connolly, P., Da Silva Bartolo, P. J., Gardner, P., Martin, P., Potluri, V., Curtis, R., Schmidt, R., Banach, R., Batista-Navarro, R. T., Kaski, S., Midson, S., Watson, S., Holm, S., Furber, S., Schlegel, V., Mirihanage, W., Mansell, W., Pan, W., Sampson, W., Sellers, W., Yang, W., Cai, P., Sun, Y., Alharthi, A., Macario Rojas, A., Serhan, B., Yu, C., Abara, D., Lopez Pulgarin, E., Faruq, F., Tavella, F., Semeraro, F., Liu, G., Fang, G., Niu, H., Taylor, H., Zhu, H., Collenette, J., Amano, K., Lo, K. C. J., Raggioli, L., Romeo, M., Ruocco, M., Ghaffari Saadat, M., Walmsley, M., Mubarik, A., Vinanzi, S., Su, Y., Mcaleese, H., Stringer, P., Stoican, R., Ye, R., Kurawa, S. S., Zhang, T., Krywonos, W., Xu, Y., Tian, Y., Henderson, A., Morley, D., Tallentire, J., Clayton, J., Hawthornthwaite, S. & Carlson, J.
Project: Research
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