Curriculum Vitae (Junho 2013)
Luís Fernando Lopes Monteiro
É licenciado em Engenharia Electrotécnica pelo Instituto Superior Técnico em 1971,
doutorado em Informática pela Universidade Nova de Lisboa (UNL) em 1983 e
agregado em Informática pela UNL em 1995. Foi professor catedrático no
Departamento de Informática (DI) da Faculdade de Ciências e Tecnologia (FCT) da
UNL até à sua aposentação em Janeiro de 2012.
Foi Sub-Director da FCT-UNL de Fevereiro de 2003 a Março de 2006. Foi presidente
do conselho do Departamento de Informática de Outubro de 1996 a Dezembro de
1999. Foi Director do Centro de Informática e Tecnologias da Informação da FCTUNL de Outubro de 1996 a Novembro de 2001, tendo sido responsável pela linha de
investigação sobre Linguagens e Modelos de Programação e mais tarde coordenador
da área científica Software Principles and Methods. Foi vogal do Conselho Fiscal da
Fundação da FCT-UNL de 1996 a 2003 tendo sido seu Presidente nos últimos três
anos. Pertenceu à Comissão Coordenadora do Conselho Científico de 1994 a 1999.
Foi Presidente da Comissão Pedagógica da Lic. Eng. Informática de 1985 a 1989, e
Coordenador do Mestrado em Eng. Informática em 1990/91. Pertenceu a duas
comissões de avaliação externa de cursos de Informática nos dois ciclos de avaliação
no âmbito da FUP e da CNAVES. Participou em júris de diversas provas académicas
(incluindo quatro doutoramentos no estrangeiro – Holanda, Itália e dois em França – e
uma dezena de provas de Agregação) e de concursos (cerca de duas dezenas para
Professor Associado e seis para Professor Catedrático).
Leccionou cursos internacionais sobre a semântica da programação em lógica (3rd
ESSLLI – European Summer School in Logic, Language and Information,
Saarbrucken, 1991), a negação na programação em lógica (3rd Advanced School in
Artificial Intelligence – Logic, Açores, 1992), modularidade e concorrência na
programação em lógica (Università di Pisa, programa de doutoramento, 1993),
semântica denotacional das linguagens de programação (Universidade de Cruz Alta,
Brasil, programa de doutoramento, 2000), lógicas espaciais (Università di Pisa,
programa de doutoramento, 2002).
Orientou quatro doutoramentos (S. Toscani, RS: Uma Linguagem para Programação
de Núcleos Reactivos, UNL, 1993; M. Mamede, Queries and Answers in ConceptBased Knowledge Bases, UNL, 1998; L. Caires, A Model for Declarative
Programming and Specification with Concurrency and Mobility, UNL, 1999; E.
Freire, Contribuições para o Estudo da Semântica de Linguagens com Concorrência
e Mobilidade, U. Açores, 2004) e co-orientou dois (M. Próspero dos Santos, Estilo
Declarativo na Programação Gráfica Interactiva: Análise e Avaliação, UNL, 1989;
M. C. Ferreira, Termination of Term Rewriting: Well-Foundedness, Totality and
Transformations, U. Utrecht, 1995).
Os seus interesses de investigação situam-se em geral na teoria da computação, em
particular no estudo de lógicas e significados de programas. A sua investigação tem
incidido sobretudo na programação em lógica, concorrência e teoria e aplicações das
co-álgebras. O seu tema mais recente de investigação é a caracterização co-algébrica
de comportamentos de processos e das equivalências por eles induzidas. As
publicações mais recentes sobre este tema são:
-
E. Freire and L. Monteiro: Defining behaviours by quasi-finality. In M.
Oliveira and J. Woodcock, editors, Brazilian Symposium on Formal Methods
(SBMF’09). Volume 5902 of LNCS, Springer, pages 290-305, 2009.
-
A. P. Maldonado, L. Monteiro and M. Roggenbach: Towards Bi-Algebraic
Semantics for the Linear Time – Branching Time Spectrum. In H.-J. Kreowski
and T. Mossakowski, editors, Recent Trends in Algebraic Development
Techniques (WADT 2010). Volume 7137 of LNCS, Springer, pages 209–225,
2012.
Outras publicações relevantes incluem:
-
L.Monteiro and F. Pereira. A sheaf-theoretic model of concurrency. In A.R.
Meyer, editor, Symposium on Logic in Computer Science (LICS’86), pages
66– 76, Washington, DC, 1986. IEEE Computer Society Press.
-
L. Monteiro and A. Porto. Contextual logic programming. In G. Levi and M.
Martelli, editors, Logic Programming: Proceedings of the Sixth International
Conference, pages 284–299, Cambridge, MA, 1989. The MIT Press.
-
L. Monteiro and A. Porto. Entailment-Based Actions for Coordination.
Theoretical Computer Science 192 (1998), 259–286, Elsevier.
A nível nacional coordenou o projecto ESCOLA (FCT, 2/2.1/Mat/46/94; 1994-1998;
proponente FCT/UNL; parceiros: FEUP, Fundação da FCUL, Dep. Mat. FCT-UC).
Participou em vários projectos europeus como responsável pela equipa da UNL
(Integration, Esprit BRA 3020, 1989-92; Efficient Symbolic Computing, Projecto
INTAS-93-1702, 1995-96; Profundis, IST-2001-33100, 2001-2004). ou como task
leader (ALPES, Esprit P 973, 1986-89; Compulog 2, Esprit BRP 6910, 1993-95;
Coordination, Esprit BRP 9102, 1994-96).
Foi membro da comissão de programa de diversas conferências internacionais
(EPIA’89, CONCUR’91, ECOOP’91, EPIA’95, CP’95, AGP’96, ALP’96,
CONCUR’96, AGP’97, EPIA’97) e co-organizador do ICALP 2005 (32nd
International Colloquium on Automata, Languages and Programming) incluindo a
co-organização das suas actas, publicadas pela Springer (LNCS, volume 3580).