Saltar para:
Logótipo
This page in english Ajuda Autenticar-se
FCUP
Você está em: Início > Manuel Barbosa

Manuel Barbosa

Fotografia de Manuel Bernardo Martins Barbosa
Nome: Manuel Bernardo Martins Barbosa Ligação à página pessoal de Manuel Bernardo Martins Barbosa
Sigla: MBB
Código: 535545
Estado: Ativo
ORCID http://orcid.org/0000-0002-6848-5564
Email Institucional: mbb@fc.up.pt
Email alternativo: mbb@dcc.fc.up.pt

Funções

Categoria: Professor Auxiliar
Carreira: Pessoal Docente de Universidades
Grupo profissional: Docente
Departamento: Departamento de Ciência de Computadores

Cargos

Cargo Data de Início
Membro da Comissão Cientifica Mestrado em Segurança Informática 2016-03-14

Apresentação Pessoal

I am a lecturer at the Department of Computer Science in the Faculty of Science of the University of Porto (DCC-FCUP) and a researcher at HASLab, one of the R&D units of INESC TEC. My research interests lie in Cryptography and Information Security and its intersection with Program Verification.

I hold a Ph.D. in Electrical and Electronic Engineering from the Newcastle University, an M.Sc. from the same University, and a degree in Electrical and Computer Engineering from the Faculty of Engineering of the University of Porto. In the past I have been a visiting researcher at the University of Bristol and École Normale Supérieure.

I have been working on the development of high-assurance cryptographic implementations for the last 10 years, aiming to bridge the gap between theoretical security and real-world security. I am particularly interested in provable security and its interplay with the formal verification of cryptographic proofs and cryptographic software implementations.

Recomendar Página Voltar ao Topo
Copyright 1996-2017 © Faculdade de Ciências da Universidade do Porto  I Termos e Condições  I Acessibilidade  I Índice A-Z  I Livro de Visitas
Última actualização: 2014-09-30 I  Página gerada em: 2017-11-18 às 17:46:33