ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
Lucas Cordeiro

Registered user since Tue 11 Oct 2016

Name: Lucas Cordeiro

Bio: Lucas Cordeiro received a Ph.D. in computer science from the University of Southampton in 2011. From 2009 to 2016, he was an adjunct professor in the Electronics and Computing Engineering Department at the Federal University of Amazonas (he is currently in unpaid leave). Since 2016, he is a researcher in verification of embedded systems in the Department of Computer Science at the University of Oxford. His research focuses on the development of automated verification techniques for hardware/software systems. In particular, he is interested in the development of new symbolic model checking algorithms that apply satisfiability modulo theories techniques to formally verify the correctness and the timeliness of embedded systems. Since the completion of his PhD in 2011, Dr. Cordeiro worked as principal investigator in 7 research and development projects (R&D) with funding from the CNPq (Brazil), FAPEAM (Brazil), Royal Society (UK), British Council (UK), and Nokia Institute of Technology (Brazil); he also worked as researcher in other 6 R&D projects with funding from CAPES (Brazil), FAPEAM (Brazil), FINEP (Brazil), EPSRC (UK), and Samsung (Brazil). Dr. Cordeiro has published over 70 peer reviewed papers in Journals and Conferences; he has an h-index of 13, 2 best papers (SBESC’15 and SAC’08) and 1 distinguished paper (ICSE’11) as well as 15 awards from the International Competition on Software Verification (SV-COMP) 2012-2016. He has international research collaborations with the University of Southampton (UK) and the University of Stellenbosch (South Africa). Dr. Cordeiro also worked for 4 years in software development projects related to mobile phones and set-top box at Siemens / BenQ and CTPIM / NXP companies, respectively.

Country: United Kingdom

Affiliation: University of Oxford

Personal website: http://ufam-automation.net/lucascordeiro

Research interests: software engineering, program verification, formal methods, embedded systems

Contributions

ETAPS 2019Author of JBMC: Bounded Model Checking for Java Bytecode (Competition Contribution) within the Posters-track
Show activities from other conferences

ETAPS 2019-profile
View general profile