Expertise de classe mundial.
Resultados industriais reais.

Prof. Lucas Cordeiro

Fundador e Diretor Técnico

Professor Titular em Verificação Formal e Segurança de Software na University of Manchester, onde também atua como Diretor do Arm Centre of Excellence e como Diretor de Engajamento Empresarial e Inovação no Departamento de Ciência da Computação. Lucas é o criador e desenvolvedor líder do ESBMC, o verificador limitado de modelos de código aberto baseado em SMT em torno do qual os serviços de consultoria da CRC são construídos, e liderou pesquisas colaborativas com Intel, Arm, AWS, a Ethereum Foundation e a Rust Foundation. Seu histórico de pesquisa (conforme seu CV publicado, em 2026) inclui 191 publicações revisadas por pares e um índice h de 34, com prêmios incluindo ACM SIGSOFT Distinguished Paper Awards no ASE'24 e ICSE'11, o Most Influential Paper Award no ASE'23, o Best Tool Paper Award no SBSeg'23 e mais de 50 prêmios nas competições internacionais SV-COMP e Test-Comp no TACAS/FASE entre 2012 e 2026. Ele é membro do EPSRC Peer Review Full College e orientou 13 teses de doutorado até a conclusão. Ao longo de sua carreira acadêmica, captou mais de USD 13M em financiamento de pesquisa, concedido aos grupos de pesquisa que liderou na University of Manchester e em instituições anteriores, da EPSRC, UKRI, da Royal Society, da UE, da Intel, da Motorola, do Nokia Institute of Technology e da Samsung.