Registered user since Mon 21 Jan 2019
Name: Lucas C. Cordeiro
Country: United Kingdom
Affiliation: University of Manchester
Personal website: https://ssvlab.github.io/lucasccordeiro/
Research interests: Bounded and Unbounded Model Checking, Automated Software Testing, Program Synthesis and Embedded & Cyber-Physical Systems.
|ICSE 2020||Committee Member in Program Committee within the New Ideas and Emerging Results-track|
|Show activities from other conferences|