Opções de inscrição
Prof. Lucas Cordeiro (Univ. of Manchester - UK)
Sala B07 - IME/USP - 14h
Capacitar alunos de graduação, pós-graduação e engenheiros a compreender e aplicar técnicas modernas de verificação e validação de software com foco em segurança. O curso tem como objetivo formar profissionais capazes de desenvolver sistemas confiáveis e seguros, utilizando ferramentas automatizadas e abordagens formais para prevenir, detectar e mitigar vulnerabilidades de software.
Como se inscrever:
Através do formulário
- CURSO DE CURTA DURAÇÃO (MINI CURSO)
- Sigla da disciplina: MAC5703 (a ser preenchida no formulário)
- Docente: Ana Cristina Vieira de Melo
- Docente: Kelly Rosa Braghetto
- Docente: Lucas Carvalho Cordeiro