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. Atualmente trabalha como Professor Titular pela Universidade de Manchester (Inglaterra), além de atuar como Professor Associado/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, teste automatizado, segurança de software e sistemas e sistemas ciber-físicos e 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 10 projetos de pesquisa e desenvolvimento (PD) com financiamento do CNPq, FAPEAM, Royal Society (Reino Unido), British Council (Reino Unido), Newton Fund (Reino Unido), EPSRC (Reino Unido), UKRI (Reino Unido), ARM, Intel e Nokia, além de participar como pesquisador em 8 projetos de PD com financiamento da CAPES, FAPEAM, FINEP, EPSRC (Reino Unido) e Samsung. Possui 184 publicações revisadas, incluindo 47 artigos em periódicos especializados, 137 artigos em conferências/workshops e 1 capítulo de livro, h-index de 31, um prêmio de “Most Influential Paper” (ASE23), dois prêmios de “Best Paper” (SBESC’15 e SAC’08), dois prêmios de “Distinguished Paper” (ICSE’11 e ASE’24), além de 46 premiações na competição internacional de verificação e teste de software (SV-COMP 2012-2024 e Test-Comp 2019-2024). 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 6 teses de doutorado, 44 dissertações de mestrado, 32 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.