Lucas Carvalho Cordeiro

Lucas C. Cordeiro received a Ph.D. in computer science from the University of Southampton in 2011. Since 2011 he has been an adjunct professor in the Electrical and Computer Engineering Department at the Federal University of Amazonas (UFAM). At UFAM, he is currently serving as the course leader of the Electrical Engineering Undergraduate Program since 2011. 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. Prof. Cordeiro has published over 60 peer reviewed papers in Journals and Conferences; he has an h-index of 11, two distinguished paper awards (SAC08 and ICSE11), and two bronze medals in the overall ranking of the International Competition on Software Verification (TACAS12 and TACAS13). He has international research collaborations with the University of Southampton (UK) and the University of Stellenbosch (South Africa). Prof. 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.

Possui graduação em Engenharia Elétrica pela Universidade Federal do Amazonas (UFAM) em 2004, participando de um programa de graduação sanduíche da CAPES na Universidade de Stuttgart (Alemanha) em 2003, mestrado em Informática na área de concentração em Engenharia da Computação pela UFAM em 2007, doutorado em Ciência da Computação pela Universidade de Southampton (Inglaterra) em 2011 e estágio pós-doutoral na área de Verificação e Síntese Formal de Sistemas Ciber-físicos pela Universidade de Oxford (Inglaterra) de 2016 a 2018. Atualmentetrabalha como Reader (Professor Associado) pela Universidade de Manchester (Inglaterra), além de atuar como Membro Permanente nos Programas de Pós-Graduação em Engenharia Elétrica (PPGEE) e em Informática (PPGI) da UFAM. Tem experiência nas áreas de verificação e síntese formal automatizada, teorias do módulo da satisfatibilidade, teste automatizado e sistemas ciber-físicos embarcados. Desde o término do seu doutorado em 2011, atuou como coordenador do curso de graduação em Engenharia Elétrica da UFAM de 2011 até 2015, coordenador e investigador principal em 8 projetos de pesquisa e desenvolvimento (PD) com financiamento do CNPq, FAPEAM, Royal Society (Reino Unido), British Council (Reino Unido), Newton Fund (Reino Unido), UKRI (Reino Unido) e INdT, além de participar como pesquisador em 6 projetos de PD com financiamento da CAPES, FAPEAM, FINEP, EPSRC (Reino Unido) e Samsung. Possui 154 publicações revisadas, incluindo 38 artigos em periódicos especializados, 116 artigos em conferências/workshops e 1 capítulo de livro, h-index de 25, dois prêmios de "Best Paper" (SBESC15 e SAC08), um prêmio de "Distinguished Paper" (ICSE11), além de 39 premiações na competição internacional de verificação e teste de software (SV-COMP 2012-2023 e Test-Comp 2019-2023). Lecionou um conjunto de 11 disciplinas nos cursos de graduação em Engenharia Elétrica, Engenharia da Computação, Ciência da Computação e Sistemas de Informação, além de 5 disciplinas em cursos de pós-graduação em Engenharia Elétrica e Ciência da Computação. Orientou 3 teses de doutorado, 31 dissertações de mestrado, 27 trabalhos de conclusão de curso, 6 iniciações científicas e 12 estágios supervisionados. Tem trabalhado como revisor de periódicos científicos relevantes, assim como participado do comitê de programa de conferências científicas internacionais relevantes da sua área de atuação. Possui colaboração em projetos de pesquisa com as Universidades de Oxford, Cambridge, Southampton, Bristol, Stellenbosch, Universidade Federal de Minas Gerais e Universidade Federal de Viçosa. Atuou também em projetos de desenvolvimento de software relacionados à telefonia móvel, set-top box e análise de programs nas empresas Siemens/BenQ, CTPIM/NXP e Diffblue, respectivamente.