Palestrante: Lucas Carvalho Cordeiro Tema da Palestra: Cooperative AI-Assisted FormalVerification: Integrating LLMs with ModelChecking for Scalable Software Assurance Área de pesquisa: Verificação de Software e Sistemas Lucas Carvalho Cordeiro  possui 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 na 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 de sistemas ciberfísicos e embarcados. Evento online: Horário de Manaus - https://meet.google.com/ghr-rdgp-hcvLink lattes: http://lattes.cnpq.br/5005832876603012