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




Mapa das Instalações
FC6 - Departamento de Ciência de Computadores FC5 - Edifício Central FC4 - Departamento de Biologia FC3 - Departamento de Física e Astronomia e Departamento GAOT FC2 - Departamento de Química e Bioquímica FC1 - Departamento de Matemática

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
Estado: Ativo
Chave de associação FCT: J0101722Z6U
https://www.authenticus.pt/R-000-A22
https://www.cienciavitae.pt/481F-471F-BDDA
Email Institucional: mbb@fc.up.pt

Funções

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

Cargos

Cargo Data de Início
Director de Curso de Mestrado Mestrado em Segurança Informática 2018-07-09
Presidente da Comissão Cientifica Mestrado em Segurança Informática 2018-07-09
Presidente da Comissão de Acompanhamento de Curso Mestrado em Segurança Informática 2018-07-09

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 Formal Verification.

I hold a Ph.D. in Electrical and Electronic Engineering from 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 University of Bristol, École Normale Supérieure, Bar-Ilan University and Inria Sophia-Antipolis.

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-2021 © 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: 2021-07-08 I  Página gerada em: 2021-10-21 às 19:35:38 | Política de Utilização Aceitável | Política de Proteção de Dados Pessoais