Write a Blog >>
ICSE 2020
Mon 5 - Sun 11 October 2020 Location to be announced
Lucas C. Cordeiro

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 2020Committee Member in Program Committee within the New Ideas and Emerging Results-track
Show activities from other conferences

Using general profile