Na segunda quinzena do mês de junho, a Universidade Federal de Itajubá (UNIFEI) recebeu a visita do Prof. Dr. Lucas Cordeiro, da University of Manchester e líder do Systems and Software Security — S3 Research Group, para uma agenda acadêmica, científica e institucional promovida pela PRPI (Pró Reitoria de Pesquisa e Inovação) e coordenada pelo professor Otávio Gomes.
O roteiro contou com atividades voltadas a aproximação entre universidades, pesquisa aplicada, inovação e setor produtivo, com foco em oportunidades de parceria internacional no Reino Unido, pós-graduação, pesquisa e desenvolvimento, inovação tecnológica, startups, segurança de software, verificação formal e sistemas críticos.
As principais atividades acompanhadas foram:
- Palestra na UNIFEI Pouso Alegre, com o tema “Oportunidades de Parceria no Reino Unido”, abordando possibilidades de cooperação em pós-graduação, P&D, inovação e startups.
- Visita institucional ao INATEL e ao Inatel Competence Center, com diálogos sobre colaboração acadêmico-industrial, pesquisa aplicada, formação de talentos, segurança de software, métodos formais e sistemas de alta criticidade.
- Agenda acadêmica na UNIFEI Itajubá, voltada à articulação de oportunidades de cooperação científica e tecnológica entre pesquisadores, estudantes e grupos de pesquisa.
- Ministração do curso “Verificação Formal — Fundamentos e Prática”, realizado na UNIFEI, abordando fundamentos e aplicações de SAT/SMT, Bounded Model Checking, Z3 e ESBMC, com atividades teóricas e práticas voltadas à detecção de falhas, validação automatizada, bug hunting, escrita de especificações e desafios relacionados a concorrência e ponto flutuante.
A agenda institucional do professor Lucas Cordeiro facilita a articulação com docentes, pesquisadores, estudantes e parceiros externos; fortalece iniciativas de internacionalização, a cooperação técnico-científica e o desenvolvimento de competências estratégicas em engenharia, computação, cibersegurança, verificação formal e sistemas críticos. Um número expressivo de alunos, cerca de 120, participaram de palestras, reuniões e o workshop nos campi de Pouso Alegre e de Itajubá.
