Professor da EPFL ganha prêmio de ensino por abordagem prática de programação
Um professor de ciência da computação da EPFL ganhou um prêmio de ensino por suas aulas práticas. Ele acredita que os estudantes devem construir habilidades fundamentais e aprender a provar que seu software funciona.
Resumo rápido: Um professor de ciência da computação da EPFL ganhou um prêmio de ensino por suas aulas práticas. Ele acredita que os estudantes devem construir habilidades fundamentais e aprender a provar que seu software funciona.
Imagine construir programas de computador capazes de resolver enigmas e procurar arquivos desde o seu primeiro dia de aula.
O que aconteceu, em palavras simples
Clément Pit-Claudel, professor assistente na EPFL, recebeu o prêmio da EPFL de melhor ensino de 2026 na cerimônia Magistral, no sábado, 3 de outubro. Pit-Claudel leciona uma aula de construção de software junto com Martin Odersky e Viktor Kunčak para centenas de alunos do terceiro semestre. Seu estilo de ensino prático faz com que os estudantes escrevam programas úteis, façam exames em computadores distribuídos por várias salas e aprendam a provar que seu código funciona, em vez de apenas testá-lo.
Pontos principais
- Aprendizado prático desde o primeiro dia: Os estudantes escrevem programas que realmente podem usar, começando com código básico e adicionando novos recursos à medida que aprendem ao longo do semestre.
- Teste de código sob estresse do mundo real: Os exames ocorrem em computadores em até 14 salas na EPFL e na Universidade de Lausanne para testar habilidades de codificação sob pressão.
- Foco na prova em detrimento do simples teste: Em seu laboratório de pesquisa e nas aulas, os estudantes traduzem programas de computador em equações matemáticas para garantir que o software funcione.
- Defensor da ciência aberta: Pit-Claudel compartilha todo o material de seus cursos em código aberto para que outras universidades possam usá-lo livremente.
Termos explicados
- Verificação de software — Verificar matematicamente que um programa de computador funciona corretamente sob todas as condições possíveis. Exemplo: Verificar um aplicativo de calculadora com fórmulas matemáticas para garantir que ele nunca dê uma resposta errada.
- Procura interativa de teoremas — Uso de computadores para ajudar a criar provas matemáticas formais que verificam a lógica do software. Exemplo: Usar uma ferramenta de computador para provar passo a passo que o plano de projeto de uma ponte obedece às leis da física.
- Código aberto — Tornar o código de software e os materiais educacionais disponíveis gratuitamente para qualquer pessoa visualizar e usar. Exemplo: Um chef publicar sua receita secreta online para que qualquer pessoa possa assar o mesmo pão de graça.
Por que isso importa
Como a IA ajuda mais pessoas a escrever código, especialistas que conseguem garantir que softwares críticos sejam seguros e confiáveis continuam essenciais para sistemas como o controle de tráfego aéreo.
O que ainda não sabemos
A fonte descreve os métodos de ensino e os prêmios de um professor específico em uma única universidade, e não representa um estudo científico amplo ou um consenso educacional.
Com base em reportagem de EPFL. Este é um texto explicativo independente, escrito com palavras próprias e auxílio de IA; EPFL não o revisou nem o endossou. Leia o original para ver todos os detalhes.