Série de Seminários do INF | Seminários 2025/2

Local: Auditório 0
Título: Avaliação institucional 2025 do INF
Palestrante(s): Renan Maffei
Resumo: Neste seminário, o NAU-INF apresentará os dados das avaliações do último ano e o que será integrado ao Relatório de Autoavaliação Institucional (RAAI) de 2025 da UFRGS: evolução do ensino na graduação e pós-graduação, da pesquisa e da extensão, potencialidades e desafios para o próximo ano.
Mini-bio: Renan de Queiroz Maffei é o coordenador do Núcleo de Avaliação da Unidade (NAU) do Instituto de Informática. O NAU realiza a avaliação institucional do INF conforme a estrutura estabelecida pelo Sistema Nacional de Avaliação da Educação Superior (SINAES) visando promover o processo de melhoria contínua da qualidade institucional da Unidade. É composto por: Renan (coordenador, docente INA); Lucio Mauro Duarte (vice-coordenador, docente INT); Nicolas Bruno Mailard (docente INA); Bruni Iochins Grisci (docente INT); Danielle Lira da Rosa (técnica administrativa); Giesa Carla da Silva (técnica administrativa); e Maria Flávia Borrajo Tondo (representante discente).

Local: Auditório 0 (palestra em inglês)
Título: A pesquisa em Computação e a Pós-Graduação no LIP6
Palestrante(s): Fabrice Kordon, Vanda Luengo, Olivier Fourmaux
Gravação: https://www.youtube.com/watch?v=0A1T2bn7aQI
Resumo: O LIP6, Unidade Mista de Pesquisa (UMR 7606) da Sorbonne Université (SU) e do Centre National de la Recherche Scientifique (CNRS), é um laboratório de pesquisa em informática com aproximadamente 450 membros, incluindo mais de 170 pesquisadores e professores-pesquisadores permanentes. O diretor Fabrice Kordon, a professora Vanda Luengo e o coordenador do programa de pós-graduação em Informática Olivier Fourmaux apresentarão a pesquisa e as formações de pós-graduação associadas ao LIP6.
Mini-bio: Fabrice Kordon é Professor da Sorbonne Université e o Diretor do laboratório LIP6. Ele é membro da equipe de Modelagem e Verificação (MoVe), com foco na confiabilidade de sistemas complexos. Sua especialidade é a segurança de software usando métodos formais e a verificação de sistemas distribuídos. Vanda Luengo é Professora de Ciência da Computação na Sorbonne Université e Vice-Diretora do LIP6. Ela lidera a equipe de pesquisa MOCAH e foca sua pesquisa na concepção de Inteligência Artificial para o ensino e na análise de aprendizado (learning analytics). Ela também dirige o CAPSULE, o centro de inovação pedagógica da universidade. Olivier Fourmaux é Professor da Sorbonne Université e Diretor do Mestrado em Informática. Como pesquisador da equipe de Redes e Análise de Desempenho (NPA) do LIP6, sua especialidade são as redes de computadores. Seus temas de pesquisa incluem a distribuição de conteúdo (como IPTV e VoD), medição e cartografia da Internet.

Local: Auditório 0
Título: Metodologias ativas e a inversão da sala de aula no ensino superior
Palestrante(s): Leonardo Albuquerque Heidemann
Gravação: https://www.youtube.com/watch?v=1da5pPpA_JQ
Resumo: Com o objetivo promover reflexões sobre o uso de metodologias ativas no contexto do ensino superior, serão destacadas possibilidades para a inversão da sala de aula. Serão discutidos fundamentos teóricos que justificam esse tipo de abordagem, bem como o papel da problematização e da contextualização dos conteúdos. Além disso, serão apresentados exemplos de atividades e práticas baseadas em métodos como Ensino sob Medida, Instrução pelos Pares e Predizer–Observar–Explicar (P.O.E.), com foco em experiências de aplicação em disciplinas das ciências exatas.
Mini-bio: Leonardo Albuquerque Heidemann é docente do Departamento de Física e do Programa de Pós-Graduação em Ensino de Física da UFRGS. Desenvolve pesquisas sobre ensino com enfoque no processo de modelagem científica e na história da Física, e sobre evasão universitária.

Local: Auditório 0
Título: Boosting IC Design Productivity with Cadence Support & Knowledge
Palestrante(s): Nelson Andrade
Gravação: https://www.youtube.com/watch?v=yhVAqHCY0AY
Resumo: This talk aims to strengthen the connection between Cadence and students/researchers in microelectronics. We’ll provide an introduction to Cadence and its operations in Brazil, highlighting how the company supports innovation and talent development. Next, we’ll explore practical strategies to enhance productivity in IC design by leveraging Cadence’s Support & Knowledge resources – valuable tools often underutilized in academic environments. To illustrate these concepts, we’ll showcase our Physical Verification tools, presenting the typical flow and key features used in both block-level and chip-top sign-off. We’ll also discuss how students can engage with the company through internships, technical roles, and collaborative initiatives. Whether you’re new to Cadence tools or looking to deepen your understanding, this session offers insights that can elevate your design efficiency and open doors to a future in the semiconductor industry.
Mini-bio: Nelson Andrade is an Electrical Engineer with deep expertise in IC design, specializing in analog/RF circuits and technical team leadership. With over a decade of experience in the microelectronics industry, he has contributed to projects ranging from transistor-level design to full-chip tapeouts, including high-speed circuits and FinFET technologies. His background also includes system-in-package (SiP) integration, bench testing, digital backend design, and mixed-signal integration. Nelson began his career teaching microelectronics and EDA tools and remains passionate about education and knowledge sharing. He recently joined Cadence Design Systems in Brazil, where he is leading the development of a new Application Engineering team.