Name:Lucas C. Cordeiro

Country:United Kingdom

Affiliation:The University of Manchester, UK

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