Mário Florido

Fotografia de António Mário da Silva Marcos Florido

Name:	António Mário da Silva Marcos Florido
Sigla:	AMSMF
Estado:	Active
	R-000-2CH
	0000-0002-0574-7555
	121B-522B-5B55

Email Institucional:

amflorid

fc.up.pt

Funções

Categoria:	Professor Associado
Carreira:	Pessoal Docente de Universidades
Professional Group:	Docente
Department:	Department of Computer Science

Cargos

Cargo	Data de Início
Doctorate Course Director Doutoramento em Ciência de Computadores	2018-07-23
Chairman of the Scientific Committee Doutoramento em Ciência de Computadores	2018-07-23
Chairman of the Program Follow-up Committee Doutoramento em Ciência de Computadores	2018-07-23

Apresentação Pessoal

Mário Florido is a researcher in the areas of lambda-calculus and type theory. He is an Associate Professor with habilitation in Computer Science at the Computer Science Department of the Faculty of Sciences of the University of Porto (FCUP) and a researcher and member of the board of the Laboratory of Artificial Intelligence and Computer Science (LIACC) of the same university. He did his PhD at the University of Porto on the subject of Type Systems for Declarative Languages. He has an MSc in Foundations of Advanced Information Technology at Imperial College London, U.K. and a degree in Applied Mathematics, branch of Computer Science at FCUP. He is also director of the Doctoral Program in Computer Science (PDCC) at FCUP

Áreas de Interesse

Physical sciences > Computer science
Physical sciences > Mathematics > Mathematical logic
Physical sciences > Mathematics > Algorithms

Recommend this page Top