Painel sobre verificação formal de hardware

48 views
Skip to first unread message

Fernando Magno Quintao Pereira

unread,
Jan 14, 2025, 11:39:16 AMJan 14
to dcc024
Pessoal,

No dia 28/01, às 13h00, na sala 2077 do ICEx, teremos um painel sobre
verificação formal com três egressos da UFMG que hoje estão
trabalhando na indústria:

* 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/

Maiores informações estão disponíveis na página do DCC:
https://dcc.ufmg.br/painel-promovido-pelo-dcc-ufmg-reune-especialistas-da-industria-de-verificacao-formal-de-hardware/

Será um painel bem bacana, e vocês terão a chance de conversar com
profissionais da Apple, Google e NVIDIA sobre a carreira do
engenheiro/pesquisador na indústria.

Eu darei 0.5 pontos extra para quem for ao painel, e me enviar um
relatório de [8-12]*80 caracteres.

Abraços,

Fernando

Fernando

unread,
Jan 26, 2025, 7:26:21 PMJan 26
to dcc024

Pessoal,

Queria lembrar vocês que no dia 28/01, às 13h00, na sala 2077 do ICEx, teremos um painel sobre verificação formal com três egressos da UFMG que hoje estão trabalhando na indústria:

Reply all
Reply to author
Forward
0 new messages