Jean Everson Martina

Possui graduação em Ciencias da Computação pela Universidade Federal de Santa Catarina (2001), mestrado em Ciências da Computação pela Universidade Federal de Santa Catarina (2005 ) e doutorado em Ciências da Computação pela Universidade de Cambridge no Reino Unido (2011). É professor do Departamento de Informática e de Estatística da Universidade Federal de Santa Catarina desde 2013 e professor visitante da Universidade de Hertfordshire no Reino Unido desde 2010. Tem experiência na área de Ciência da Computação, com ênfase em Gerenciamento de Certificados Digitais, Protocolos Criptográficos, Sistemas Embarcados, Métodos Formais, e Engenharia de Software voltada a segurança da Informação. Atua principalmente nos seguintes temas: assinaturas digitais, sistemas operacionais embarcados, execução segura de código, proteção de chaves criptográficas,computação forense, formalização de protocolos, verificação formal, modelagem de cerimônias de segurança e projeto de software seguro.

graduation at Ciencias da Computação from Universidade Federal de Santa Catarina (2001), master's at Computer Science from Universidade Federal de Santa Catarina (2005) and doctorate at Ciências da Computação from University of Cambridge (2011). Has experience in Computer Science, acting on the following subjects: comunicação segura, aplicações web, protocolos criptográficos, bancos de dados and webservices.