Lucas Carvalho Cordeiro
Has grant
United KingdomResearch Interests
Explore related searches
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
Recent Grants
Grant: Close
Support for Scientific Production of the Research Group on Software and Systems Verification
Open Date: 2017-01-01
Close Date: 2019-01-01
Grant: Close
DSVerifier: A Bounded Model Checking Tool to Verify Digital Systems with Uncertainties
Open Date: 2016-01-01
Close Date: 2017-01-01
Grant: Close
Verification of C/C++ Programs Based on Multi-Core Processors
Open Date: 2014-01-01
Close Date: 2016-01-01
Grant: Close
Hardware and Software Verification Based on Mathematical Induction for Embedded Systems
Open Date: 2014-01-01
Close Date: 2016-01-01
Grant: Close
SMT-based Bounded Model Checking of Multi-threaded Programs
Open Date: 2014-01-01
Close Date: 2015-01-01
Articles (17)
Year:
2025
Year:
2025
Year:
2025
Year:
2024
Year:
2024
Year:
2024
Year:
2024
Year:
2024
Year:
2023
Year:
2023
Year:
2023
Year:
2022
Year:
2022
Year:
2021
Year:
2020
Year:
2020
Year:
2020
Collaborators (7)
Daniel Kroening
University of Oxford
Burak Kantarci
Full Professor
University of Ottawa
Mustafa A. Mustafa
The University of Manchester
Ahmed Bhayat
The University of Manchester
Edoardo Manino
The University of Manchester
Rafael Sá Menezes
The University of Manchester
Kaled Alshmrany
The University of Manchester
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.