Simão Melo de Sousa
UBI
<p>Simão Melo de Sousa é especialista em fiabilidade e segurança dos sistemas informáticos, em particular desenvolve trabalho de investigação nos fundamentos e no desenho de técnicas e de ferramentas para a verificação e validação formal de software.</p> <p>É professor do departamento de informática da Universidade da Beira Interior onde lecciona disciplinas na área da programação (linguagens e princípios), compilação, fundamentos da computação, métodos formais e segurança.</p> <p>Doutorou-se pelo INRIA Sophia Antipolis/UNSA (França) na temática "ferramentas e técnicas para a verificação formal da plataforma JavaCard".</p> <p>É coordenador do grupo de investigação RELEASE (RELiablE And SEcure Computation group) do Departamento de Informática da Universidade da Beira Interior. É investigador responsável do projecto de investigação RESCUE (REliable and Safe Code execUtion for Embedded systems) e é membro investigador de vários projectos de investigação nacionais e internacionais.</p> <p>Colabora com várias empresas nacionais líderes na área dos sistemas críticos, da segurança, dos transportes ferroviários, da industria aeroespacial e aeronáutica, em projectos de transferências de tecnologia.</p>
Sess�es
Desenho por contrato e verificação de código, uma introdução
© 2010 Microsoft