No próximo dia 28 de janeiro, terça-feira, às 13 horas, na sala 2077 do Instituto de Ciências Exatas (ICEx), o Departamento de Ciência da Computação (DCC) da UFMG, irá promover o painel “Histórias de sucesso de especialistas da indústria de verificação formal de hardware”. O painel será composto pelos ex-alunos do departamento, Antônio Caldeira, engenheiro de verificação formal na Apple, Fernanda Augusta, engenheira de verificação formal no Google, e Victor Purri, engenheiro de verificação formal na NVIDIA. O painel será moderado pela também ex-aluna do DCC/UFMG e atual gerente de Engenharia de Software da Cadence, Mirlaine Crepalde.
Neste evento, será explorado o fascinante universo da Verificação Formal, uma das áreas mais críticas e desafiadoras do setor de design
de semicondutores. Na oportunidade, os painelistas irão compartilhar suas histórias e conquistas em suas carreiras em empresas multinacionais. Eles compartilharão suas trajetórias e experiências únicas na área de Verificação Formal.
Painelistas:
* Antonio Caldeira (Apple)
– https://www.linkedin.com/in/antonio-caldeira-a61b2736/
* Fernanda Augusta (Google)
– https://www.linkedin.com/in/fernanda-augusta-braga/
* Victor Purri (NVIDIA)
– https://www.linkedin.com/in/victor-markus-purri-064a491b/
Moderadora: Mirlaine Crepalde (Cadence)
– https://www.linkedin.com/in/mirlaine-crepalde-772b9295/
