Curriculum Vitae - SQIG at IT

Transcrição

Curriculum Vitae
Amı́lcar dos Santos Costa Sernadas
1 de Maio de 2016
Departamento e Unidade de Investigação
Unidade de Lógica e Computação, Departmento de Matemática
Instituto Superior Técnico, Av. Rovisco Pais, 1049-001 Lisboa
tel: 351-21-8417150
e-mail: [email protected]
url: https://fenix.tecnico.ulisboa.pt/homepage/ist11105
Centro de Matemática, Aplicações Fundamentais e Investigação Operacional
Faculdade de Ciências, R. Ernesto de Vasconcelos, 1749-016 Lisboa
Graus académicos
• Agregação em Análise Numérica e Computação (com louvor e distinção), Universidade de Lisboa, 1982.
• Equiparação a Doutoramento em Análise Numérica e Computação, Universidade de Lisboa, 1981.
• PhD em Computer Science, University of London, 1980.
• Licenciatura em Engenharia Electrotécnica (18 valores), Instituto Superior
Técnico, 1975.
Carreira académica
• Professor Catedrático do Departamento de Matemática do Instituto Superior
Técnico da Universidade Técnica de Lisboa, desde Novembro de 1990.
• Professor Associado do Departamento de Matemática do Instituto Superior
Técnico da Universidade Técnica de Lisboa, Janeiro de 1987 a Outubro de
1990.
• Professor Auxiliar do Departamento de Matemática do Instituto Superior Técnico da Universidade Técnica de Lisboa, Outubro a Dezembro de 1986;
• Professor Auxiliar do Departamento de Informática e Ciência da Computação
da Faculdade de Ciências da Universidade de Lisboa, 1984-86;
• Professor Auxiliar do Departamento de Estatı́stica, Investigação Operacional
e Computação da Faculdade de Ciências da Universidade de Lisboa, 1981-84;
• Assistente do Grupo de Matemática Aplicada da Faculdade de Ciências da
Universidade de Lisboa, 1976-80;
• Monitor do Departamento de Engenharia Electrotécnica do Instituto Superior
Técnico, 1973-75.
• Monitor do Departamento de Matemática do Instituto Superior Técnico, 197273.
2
Bolsas e sabáticas
• Licença sabática no 1o semestre de 2011-12.
• Licença sabática no ano lectivo de 2005-06.
• Bolseiro da Fundação Calouste Gulbenkian, para preparação de doutoramento, na Universidade de Londres, Setembro de 1978 a Julho de 1980.
Conteúdo
1 Actividade cientı́fica
1.1 Coordenação . . . . . . . . . . . . . .
1.2 Projectos . . . . . . . . . . . . . . . .
1.3 Acolhimento de cientistas convidados .
1.4 Orientação de postdocs . . . . . . . .
1.5 Orientação de alunos de pós-graduação
1.6 Prémio . . . . . . . . . . . . . . . . . .
1.7 Citações . . . . . . . . . . . . . . . . .
1.8 Publicações . . . . . . . . . . . . . . .
1.9 Comunicações, cursos e palestras . . .
1.10 Serviços à comunidade cientı́fica . . .
1.11 Afiliações . . . . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4
4
4
6
6
6
8
8
8
9
13
17
2 Actividade pedagógica
2.1 Coordenação curricular . . . . . . . .
2.2 Leccionação . . . . . . . . . . . . . . .
2.3 Orientação de trabalhos finais de curso
2.4 Textos pedagógicos sem publicação . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
19
19
20
22
22
3 Serviços à comunidade académica
3.1 Avaliação de desempenho . . . .
3.2 Concursos . . . . . . . . . . . . .
3.3 Provas de agregação . . . . . . .
3.4 Provas de doutoramento . . . . .
3.5 Equiparações a doutoramento . .
3.6 Provas de mestrado . . . . . . . .
3.7 Provas de APCC . . . . . . . . .
3.8 Equiparações a mestrado . . . . .
3.9 Provimentos definitivos (Relator)
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
24
24
24
28
30
31
32
33
34
34
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
4 Gestão universitária
36
5 Apêndice: Descendentes cientı́ficos
38
Bibliografia
39
3
Capı́tulo 1
Actividade cientı́fica
1.1
Coordenação
• Presidente do Centro de Lógica e Computação do Instituto Superior Técnico,
2001-02.
• Coordenador da Linha 5 “Lógica e Computação”do Centro de Matemática
Aplicada do Instituto Superior Técnico, de Janeiro de 1997 a Fevereiro de
2001.
• Coordenador do Grupo de “Teoria da Computação”do Instituto de Sistemas
e Robótica, de Julho de 1994 a Dezembro de 1996.
• Chefe do Projecto “Ciência da Computação”do Instituto de Engenharia de
Sistemas e Computadores, de Janeiro de 1987 a Junho de 1994.
• Coordenador da Linha 6 “Computação: Fundamentos e Linguagens”do Centro de Estatı́stica e Aplicações das Universidades de Lisboa, 1980-85.
1.2
Projectos
• Coordenou os projectos internacionais:
– IS-CORE2: Information Systems, COrrectness and REusability, Basic
Research Action 6071 do programa ESPRIT II (1993-96) em que participaram dez universidades europeias, em continuação do projecto ISCORE.
– IS-CORE: Information Systems, COrrectness and REusability, Basic Research Action 3023 do programa ESPRIT (1989-91) em que participaram cinco universidades europeias e que tinha por objectivo os aspectos
teóricos e metodológicos dos sistemas de informação com vista à prova
da sua correcção.
– OBLOG: OBject LOGic, projecto financiado pelo Grupo Espı́rito Santo
e pela DIGITAL Internacional (1989-1994) e que tinha por objectivo os
fundamentos teóricos e metodológicos da abordagem centrada em objectos OBLOG.
• Participou nos projectos internacionais como coordenador nacional:
– ASPIRE: Advanced modeling and SPecification of distributed InfoRmation systEms, ESPRIT Working Group 22704 (1997-2000), coordenado
4
CAPÍTULO 1. ACTIVIDADE CIENTÍFICA
5
por Hans-Dieter Ehrich (Universidade de Braunschweig), sobre fundamentos da especificação de sistemas de informação distribuı́dos.
– FIREworks: Feature Integration in Requirements Engineering, ESPRIT
Working Group 23531 (1997-2000), coordenado por Mark Ryan (Universidade de Birmingham), sobre especificação e verificação de sistemas.
– COMPASS: COMPrehensive Algebraic approach to System Specification
development, Basic Research Action 3023 do programa ESPRIT II (199396) em que participaram dezasseis universidades europeias cujo objectivo
era a abordagem algébrica à especificação de sistemas.
– INDOC: INtelligent DOCumentation, Projecto do programa ESPRIT I
(1988-89) em que participaram três universidades europeias e cujo objectivo era a representação de documentos inteligentes.
• Participou no projecto internacional:
– LANDAUER: Operating ICT basic switches below the Landauer limit,
Projecto EC/FP7 (2012-2015) sobre os limites fundamentais de dissipação
de energia na operação de portas lógicas.
• Coordenou os projectos nacionais:
– QUANTLOG: Logic in Quantum Computation and Information, POCI/
MAT/55796/2004 (2005-07), sobre fundamentos e aplicações de computação, informação e lógica quânticas.
– FIBLOG: Fibring Logics, POCTI/2001/MAT/37239 (2002-04), sobre fibrilação de lógicas e aplicações.
– PROBLOG: Probabilistic Methods in Logic of Reactive Systems, PRAXIS XXI Project PRAXIS/P/MAT/10002/1998 (1999-2001), sobre modelos estocásticos de computação.
– ACL: Algebraic Combination of Logics, PRAXIS XXI PCEX/P/MAT/
46/96 (1997-99), sobre a caracterização categorial de mecanismos de combinação de lógicas e de teorias.
– SitCalc (Situation Calculus - Modularization, reification and distribution), projecto PRAXIS XXI (1996-98).
– FAC3 (Fundamentos Algébricos e Categoriais da Ciência da Computação),
projecto JNICT (1990-93).
– NORMLOG (NORM LOGic), projecto financiado pela Fundação Luso
Americana para o Desenvolvimento (1988-89).
– INFOLOG (INFOmation LOGic), projecto JNICT (1983-85).
• Participou nos projectos nacionais:
– KLog: Kleistic Logic, PTDC/MAT/68723/2006 (2007-2010), coordenado por Carlos Caleiro (SQIG, IT e IST, UTL) sobre lógica de segurança
de informação.
– QSec: Quantum Security, PTDC/EIA/67661/2006 (2007-2010), coordenado por Paulo Mateus (SQIG, IT e IST, UTL) sobre segurança quântica.
– LOGCOMP: LOGic and COMPutation, PRAXIS XXI 2/2.1/TIT/1658/95
(1997-2000), coordenado por José Manuel Valença (Universidade do Minho) sobre demonstração automática.
1.3
6
Acolhimento de cientistas convidados
• Mingsheng Ying, Março - Junho de 2006.
• W. Carnielli, Fevereiro - Julho de 2004.
• Alberto Zanardo, Outubro - Dezembro de 2000.
• Alberto Zanardo, Março - Maio de 1998.
• Javier Pinto, Janeiro - Março de 1998.
• Pierre-Yves Schobbens, Outubro de 1997 - Março de 1998.
1.4
Orientação de postdocs
• Kerry Ojakian, Maio de 2005 - Julho de 2009.
• Rohit Chadha, Setembro de 2005 - Setembro de 2006, em colaboração com P.
Mateus.
• Luı́s Cruz-Filipe, Outubro de 2004 - Abril de 2007.
• Claudio Hermida, Dezembro de 1999 - Setembro de 2005.
• Marcelo Coniglio, Julho de 2001 - Fevereiro de 2002.
• Mark Ryan, Janeiro - Dezembro de 1994.
1.5
Orientação de alunos de pós-graduação
• Orientou os alunos de doutoramento:
– Carlos Caleiro, doutoramento em Matemática, Instituto Superior Técnico, Dezembro de 2000 (Dissertação: Combining Logics).
– Jaime Ramos, doutoramento em Matemática, Instituto Superior Técnico,
Maio de 2000 (Dissertação: The Situation and State Calculus: Specification and Verification).
– Pedro Resende, doutoramento em Matemática, Instituto Superior Técnico, Janeiro de 1998 (Dissertação: Tropological Systems and Observational Logic in Concurrency and Specification). Dissertação galardoada
com o Prémio José Anastácio da Cunha (1997-2000) da Sociedade
Portuguesa de Matemática.
– Paulo Menezes, doutoramento em Matemática, Instituto Superior Técnico, Fevereiro de 1997 (Dissertação: Reificação de Objectos Concorrentes).
– J. Félix Costa, doutoramento em Matemática, Instituto Superior Técnico,
Janeiro de 1992 (Dissertação: Fundamentos Matemáticos da Concorrência).
– José Fiadeiro, doutoramento em Matemática, Instituto Superior Técnico,
Janeiro de 1988 (Dissertação: Cálculo de Objectos e Eventos).
– Rogério Carapuça, doutoramento em Engenharia Electrotécnica e de
Computadores, Instituto Superior Técnico, Abril de 1988 (Tese: Representação em Bases de Dados de Bases de Conhecimento).
7
– José Carmo, doutoramento em Matemática, Instituto Superior Técnico,
Abril de 1987 (Dissertação: Lógicas Temporais para Especificação e Verificação de Sistemas de Informação).
• Co-orientou os alunos de doutoramento:
– Paulo Mateus, doutoramento em Matemática, Instituto Superior Técnico,
Janeiro de 2001, em co-orientação com C. Sernadas do Instituto Superior
Técnico (Dissertação: Interconnection of Probabilistic Systems).
– António Ravara, doutoramento em Matemática, Instituto Superior Técnico, Dezembro de 2000, em co-orientação com V. Vasconcelos da Faculdade de Ciências da Universidade de Lisboa (Dissertação: Typing
Non-Uniform Concurrent Objects).
– Sofia Guerra, doutoramento em Matemática, Instituto Superior Técnico,
Junho de 1999, em co-orientação com M. Ryan da Universidade de Birmingham (Dissertação: Defaults in the Specification of Reactive Systems).
– Diana Santos, doutoramento em Engenharia Informática e de Computadores, Instituto Superior Técnico, Janeiro de 1997, em co-orientação
com L. Karlson da Universidade de Helsı́nquia (Dissertação: Tense and
Aspect in English and Portuguese: A Contrastive Semantical Study).
• Orientou os alunos de mestrado:
– Carlos Caleiro, mestrado em Matemática Aplicada, Instituto Superior
Técnico, Março de 1996 (Dissertação: Comunidades Distribuı́das de Objectos).
– António Ravara, mestrado em Matemática Aplicada, Instituto Superior
Técnico, Março de 1996 (Dissertação: Semântica da Linguagem GNOME
em TyCO).
– Jaime Ramos, mestrado em Matemática Aplicada, Instituto Superior
Técnico, Janeiro de 1995 (Dissertação: Lógica de Certificação GNOME).
– Pedro Resende, mestrado em Matemática Aplicada, Instituto Superior
Técnico, Dezembro de 1991 (Dissertação: Tableaux para a Lógica Dinâmica Proposicional).
– Miguel Dionı́sio, mestrado em Matemática Aplicada, Instituto Superior
Técnico, Dezembro de 1991 (Dissertação: Um Modelo e Submodelos Categoriais de Processos Concorrentes).
– J. Félix Costa, mestrado em Matemática Aplicada, Instituto Superior
Técnico, Fevereiro de 1989 (Dissertação: Teoria Algébrica dos Processos
Animados).
– José Fiadeiro, provas de aptidão pedagógica e capacidade cientı́fica em
Matemática, Instituto Superior Técnico, IST, Dezembro de 1987 (Trabalho de sı́ntese: Construção Algébrica de Teorias para a Modelação
Conceptual).
– A. Girão Antunes, mestrado em Engenharia Electrotécnica e de Computadores, Instituto Superior Técnico, Julho de 1987 (Dissertação: A
Linguagem IQL de Consulta a Bases de Dados).
– Álvaro Athayde, mestrado em Matemática e Ciências da Computação,
Universidade de Coimbra, Julho de 1997 (Dissertação: Especificação de
Sistemas de Informação: Contribuições para a Semântica do Modelo Infolog).
8
– Jorge Coelho, mestrado em Matemática e Ciências da Computação, Universidade de Coimbra, Julho de 1997 (Dissertação: Estação de Correios:
Desenho Conceptual das Estruturas Locais de Informação).
– A. Carvalho, mestrado em Engenharia Electrotécnica e de Computadores, Instituto Superior Técnico, Maio de 1987 (Dissertação: Desenvolvimento Infolog de Sistemas de Informação: Sistema de Gestão de Pessoal
em Instituição Universitária).
– Vı́tor Garcia, mestrado em Engenharia Electrotécnica e de Computadores, Instituto Superior Técnico, Maio de 1987 (Dissertação: Sistema de
Informação da Rede Local: Interfaces Homem/Máquina Infolog).
– Isabel Ramos, provas de aptidão pedagógica e capacidade cientı́fica em
Matemática Aplicada, Faculdade de Ciências da Universidade de Lisboa,
Novembro de 1986 (Trabalho de sı́ntese: Sistema de Gestão de Especificações Infolog: Dicionário de Dados e Processos).
– Luı́s Gouveia, provas de aptidão pedagógica e capacidade cientı́fica em
Julho de 1985 (Trabalho de sı́ntese: Reticulados de Petri: Conceitos,
Técnicas e Análise de Especificações Infolog).
– Graça Gaspar, provas de aptidão pedagógica e capacidade cientı́fica em
Novembro de 1984 (Trabalho de sı́ntese: Compilação Segundo o Método
Recursivo Descendente).
• Co-orientou o aluno de mestrado:
– Alexandre Francisco, mestrado em Matemática Aplicada, Instituto Superior Técnico, Dezembro de 2004, em co-orientação com A. Oliveira do
Instituto Superior Técnico (Dissertação: Algoritmos para a Predição da
Estrutura Terciária de Proteı́nas).
1.6
Prémio
Recebeu com Cristina Sernadas e José Félix Costa o prémio Descartes 1992 pelo
artigo Especificações de Objectos com Diagramas: Abordagem OBLOG concedido
pelo Instituto de Informática do Ministério das Finanças para premiar a inovação
na área das tecnologias da informação.
1.7
Citações
Google Scholar: 3217 citações (das quais 440 desde 2011), ı́ndice h - 32 (10 desde
2011), ı́ndice i10 - 77 (13 desde 2011).
https://scholar.google.com/citations?hl=en&user=XVVWt2OcyXQC
1.8
Publicações
Publicações internacionais e livros
Ver lista completa de publicações na Bibliografia em anexo. Nos anos mais recentes
as publicações têm vindo a ser classificadas nas Mathematical Reviews em 03B86 Combined logics, 03B48 - Probability and inductive logic, 03G - Algebraic
Logic, 81P - Quantum Theory: Axiomatics, Foundations and Philosophy.
68Q - Theory of Computing.
9
Publicações relativas a provas académicas
• Programação Sequencial Recursiva, lição de sı́ntese, provas de agregação, Universidade de Lisboa, 1982.
• Logical Procedure Definition for Information Systems Specification, tese de
doutoramento, Universidade de Londres, 1980.
Outras publicações
• Inteligência Artificial 87: Actas do 3o Encontro Português de Inteligência
Artificial, compilação com a colaboração de J. Maia Neves, APPIA, 1987.
• A Nova Informática: Actas do 4o. Congresso Português de Informática, compilação com a colaboração de N. Ponces de Carvalho e B. Ferreira dos Santos,
API, 1986.
• “Infolog 86”, com a colaboração de C. Sernadas, Revista Portuguesa de Informática, 5[10], 9-17, 1986.
• “Introdução aos Computadores e Programação”, Revista Portuguesa de Informática, 3[2], 35-43, 1982.
1.9
Comunicações, cursos e palestras
Comunicações em reuniões cientı́ficas sem outra publicação
• “O triunfo do formalismo”(palestra convidada), Colóquio sobre o lugar da
Filosofia da Ciência na nova Universidade de Lisboa, Fevereiro 14, 2013.
• “Parallel composition of logics”(palestra convidada), em colaboração com C.
Sernadas e J. Rasga, UNILOG’10, Estoril, Abril 24, 2010.
• “Towards a universal theory of fibring”, em colaboração com C. Sernadas,
Portuguese Category Seminar, Coimbra, Dezembro 11, 2006.
• “Lógica de Demonstrabilidade”, Simpósio de Matemática – Centenário do
Nascimento de Kurt Gödel, Universidade de Coimbra, Abril 28, 2006.
• “Exogeneous quantum logic”, em colaboração com P. Mateus, Workshop on
Combination of Logics - Theory and Applications (CombLog’04), Lisboa, Julho 28-30, 2004.
• “Exogeneous Probabilistic Logic”, em colaboração com P. Mateus e C. Sernadas, Portuguese Category Seminar 03, Coimbra, Maio 23, 2003.
• “Fibring: Completeness Preservation?”, em colaboração com A. Zanardo e C.
Sernadas, Encontro ACL/LOGCOMP, Coimbra, Fevereiro 10-11, 1999.
• “Fibring of Algebraic Semantics?”, em colaboração com C. Sernadas, Encontro ACL/LOGCOMP, Coimbra, Fevereiro 10-11, 1999.
• “Categorial Fibring of Logics with Terms and Binding Operators”, em colaboração com C. Sernadas, C. Caleiro e T. Mossakowski, FROCOS’98, Amsterdão, Outubro 2-4, 1998.
• “Fibring of Logics”, em colaboração com C. Sernadas e C. Caleiro, Lógica 98,
Évora, Julho 13-18, 1998.
10
• “Parameterisation of Logics”, em colaboração com C. Caleiro e C. Sernadas,
Segundo Encontro ACL, Figueira da Foz, Junho 22-23, 1998.
• “Fibring of Logics with Terms and Binding Operators: Semantics”, em colaboração com C. Sernadas e C. Caleiro, Segundo Encontro ACL, Figueira da
Foz, Junho 22-23, 1998.
• “Combining Probabilistic Automata”, em colaboração com P. Mateus e C.
Sernadas, Segundo Encontro ACL, Figueira da Foz, Junho 22-23, 1998.
• “Aggregation and Interconnection of Hybrid Automata: Categorial Characterization”, em colaboração com H. Lourenço e C. Sernadas, Segundo Encontro
ACL, Figueira da Foz, Junho 22-23, 1998.
• “Fibring of Logics with Terms and Binding Operators”, em colaboração com
C. Sernadas e C. Caleiro, 13th WADT, Lisboa, Abril 2-4, 1998.
• “Aggregation and Interconnection of Probabilistic Automata”, em colaboração
com P. Mateus e C. Sernadas, 13th WADT, Lisboa, Abril 2-4, 1998.
• “Impacto da Álgebra na Computação”, em colaboração com C. Sernadas,
Encontro Nacional de Matemática, Braga, Fevereiro 9-12, 1998.
• “Fibrilação de Lógicas com Termos”, em colaboração com C. Sernadas e C.
Caleiro, Encontro ESCOLA-ACL, Coimbra, Janeiro 26-27, 1998.
• “Composição Categorial de Sistemas Estocásticos”, em colaboração com P.
Mateus e C. Sernadas, Encontro ESCOLA-ACL, Coimbra, Janeiro 26-27,
1998.
• “Verificação de Propriedades em Sistemas Hı́bridos Lineares”, em colaboração
com H. Lourenço, Encontro ESCOLA-ACL, Coimbra, Janeiro 26-27, 1998.
• “Lógica Temporal Ramificada versus Cálculo de Situações”, em colaboração
com J. Ramos, Encontro ESCOLA-ACL, Coimbra, Janeiro 26-27, 1998.
• “Adjunções entre Sistemas Lógicos”, em colaboração com C. Caleiro e C.
Sernadas, Encontro ESCOLA-ACL, Coimbra, Janeiro 26-27, 1998.
• “Synchronization with Mixed Rules: Completeness Preservation”, com a colaboração de C. Sernadas e C. Caleiro, FIREworks Meeting, Namur, Maio
23-24, 1997.
• “Feature-oriented Specifications”, em colaboração com S. Guerra e M. Ryan,
OOP’96, Lisboa, Outubro 1-3, 1996.
• “Denotational Semantics of Object Specification Within an Arbitrary Temporal Logic Institution”, com a colaboração de C. Sernadas, 3rd IS-CORE
Workshop, Hannover, Setembro 27-28, 1993.
• “Object-Oriented Programming: A Logic Approach”, Advanced Course, 5th
European Summer School in Logic, Language and Information: ESSLLI’93,
Lisboa, Agosto 16-27, 1993.
• “An Institution of Object Behaviour”, FAC3 Workshop’92, Braga, Setembro
7-8, 1992.
• “Object Template Institution”, Seminar on Foundations of Information Systems Specification and Design, Dagstuhl Workshop, Março 16-19, 1992.
11
• “O Cálculo-λ”, Comemorações do 50o Aniversário da Sociedade Portuguesa
de Matemática, Lisboa, Dezembro 12-14, 1990.
• “Object Concept”, 1st IS-CORE Workshop, Londres, Setembro 28-29, 1989.
• “Object-oriented Conceptual Modelling”, em colaboração com H.-D. Ehrich
e C. Sernadas, IFIP WG 8.1 Meeting, Sesimbra, Junho 5-8, 1989.
• “Modular Construction of Theories”, em colaboração com C. Sernadas e J.
Fiadeiro, Seminário Hugo Ribeiro, Lisboa, Abril 27-29, 1989.
• “Tipos de Objectos Abstractos”, IV Encontro Nacional da Sociedade Portuguesa de Matemática, Porto, Abril 3-5, 1989.
• “O Matemático na Indústria”, conferência convidada, IV Encontro Nacional
da Sociedade Portuguesa de Matemática, Porto, Abril 3-5, 1989.
• Membro do painel “AI in Information Systems and Databases”, IFIP WG
2.6/8.1 Working Conference The Role of AI in Information Systems and Databases, Cantão, R.P. China, Julho 4-8, 1988.
• “O Impacto da Computação no Direito”, em colaboração com A. Hespanha,
RCJ88: 1o Encontro sobre Representação do Conhecimento Jurı́dico, Sesimbra, Maio 12-13, 1988.
• “Abstract Object Types”, com a colaboração de C. Sernadas, Alvey Meeting
on Information Systems Factories, Abbingdon, Novembro 19-20, 1987.
• “Abstract Object Types”, Esprit Workshop on Systems Requirements, Bruxelas, Outrubro 1, 1987.
• ”The Oblog Approach to Laws”, em colaboração com C. Sernadas e J. Fiadeiro, IFIP WG 2.6 Meeting, Londres, Setembro 6-8, 1987.
• “Proof-theoretic Semantics of Specification Building Operations”, em colaboração com J. Fiadeiro, 5th Workshop on Specificationof Abstract Data Types, Gullane, Escócia, Setembro 1-4, 1987.
• “The Infolog86 Approach to Systems Design”, com a colaboração de C. Sernadas, Esprit Day on Requirements, Bruxelas, Novembro 25, 1986.
• “Bases de Dados e Inteligência Artificial”, lição convidada, 2o Encontro Português de Inteligência Artificial, Lisboa, Outubro, 1986.
• Presidente do Painel “Future Information Systems”, IFIP 10th World Computer Congress 86, Dublin, Setembro 1-5, 1986.
Cursos e palestras convidadas
• Centro de Matemática e Aplicações Fundamentais - Seminário de Lógica Matemática, “Complete Axiomatization of EQPL”, Outubro 25 e Novembro 8,
2005.
• Centro de Matemática da Universidade de Coimbra, “Proof of the weak completeness of EQPL”, Março 15, 2005.
• Centro de Matemática da Universidade de Coimbra, “Combining logic systems. Why, how, what for?”, Fevereiro 17, 2004.
12
• Centro de Análise Matemática, Geometria e Sistemas Dinâmicos, “Combining
logic systems. Why, how, what for?”, Novembro 11, 2003.
• Centro de Matemática e Aplicações Fundamentais - Seminário de Lógica Matemática, “Topos-theoretic Semantics of Fibring”, Abril 2, 16 e 23, 2002.
• Centro de Matemática e Aplicações Fundamentais - Seminário de Lógica Matemática, “Fibring: Completeness Preservation”, Maio 4, 11 e 18, 2000.
• 9th European Summer School on Logic, Language and Information, Advanced
Course on Logic, “Categorial Techniques in Combining Logics”, 7,5 horas, em
conjunto com C. Sernadas, Aix-en-Provence, Agosto 11-22, 1997.
• Universidade de Braunschweig, “Object Specification with Pictures”, Janeiro
9, 1992.
• DIGITAL Portuguesa, “OBLOG: An Informal Introduction”, 30 horas, Setembro 17-21,1990.
• Database Semantics 4 (DS-4), “What is an Object, After All?”, Windermere,
UK, Julho 2-6, 1990.
• Universidade Livre de Amsterdão, “The OBLOG Approach to Object-Oriented
Systems Development”, 3 horas, Dezembro 19, 1989.
• Universidade de Braunschweig, “Towards a Categorial Semantics of OBLOG”,
com a colaboração de C. Sernadas, 2 horas, Outubro 17, 1988.
• Universidade do Minho, “Lógica Matemática em Ciência da Computação”,
com a colaboração de C. Sernadas e J. Carmo, 18 horas, Setembro 28-30,
1988.
• Institute of Software, Academia Sinica, Pequim, R. P. China, “An Objectoriented Approach to Systems Design”, com a colaboração de C. Sernadas, 3
horas, Julho 15, 1988.
• Universidade Católica de Tilburg, Holanda, “Information Systems: The Third
Wave”, Março, 1987.
• Instituto Nacional de Administração (INA), “Bases de Dados: Metodologia
Inforlog”, com a colaboração de C. Sernadas e V. Gamito, 56 horas, Dezembro,
1986.
• CIBA GEIGY, Lisboa, “Bases de Dados”, 6 horas, Setembro, 1986.
• Instituto de Altos Estudos Militares (IAEM), “Bases de Dados Relacionais”,
3 horas, Julho, 1986.
• Laboratório Nacional de Engenharia Civil (LNEC), “Sistemas Operativos”,
15 horas, Julho, 1986.
• INESC, “Desenvolvimento de Sistemas: Metodologia INFOLOG”, com a colaboração de C. Sernadas, 28 horas, Maio, 1986.
• INESC, “Metodologias da Programação”, com a colaboração de M. Rui Gomes
e J. Fiadeiro, 28 horas, Fevereiro, 1986.
• FILEME, “A Terceira Vaga da Informática”, 1 hora, Janeiro 30, 1986.
• INA, “Bases de Dados: Metodologia INFOLOG”, com a colaboração de C.
Sernadas, R. Carapuça e G. Gaspar, 60 horas, Novembro-Dezembro, 1985.
13
• Instituto Superior de Gestão (ISG),”Introdução à Análise de Sistemas e Programação”, 30 horas, Fevereiro, 1985.
• The Norwegian Institute of Technology, Trondheim, Noruega, “INFOLOG:
Towards the 5th Generation System Development Work Bench”, Maio 22,
1984.
• Universidade do Minho, “Projecto INFOLOG”, Dezembro, 1983.
• Sociedade Portuguesa de Matemática, “Lógicas de Programação Concorrente”,
10 horas, Setembro, 1983.
• Universidade de Coimbra, “Projecto INFOLOG”, Julho, 1983.
• Universidade Técnica, “INFOLOG”, 6 horas, Março, 1983.
• INA, “Bases de Dados: Metodologia INFOLOG”, com a colaboração de L.
Gouveia, 26 horas, Março, 1983.
• INA, “Lógica de Programas”, 30 horas, Novembro, 1981.
• Associação Portuguesa de Informática (API), “Programação Estruturada”, 4
horas, Outubro, repetido em Dezembro, 1981.
• Universidade de Goteborg, Suécia, “Systems Specification”, 12 horas, Maio,
1980.
• The British Computer Society, Londres, Reino Unido, “Specification Languages”, Maio, 1980.
• Imperial College of Science and Technology, Londres, Reino Unido, “INFOLOG”, Maio, 1980.
• London School of Economics (LSE), Londres, Reino Unido, “Information System Specification”, Janeiro, 1980.
1.10
Serviços à comunidade cientı́fica
Arbitragem, avaliação e aconselhamento
• Membro da comissão cientı́fica da série Advanced Studies in Mathematics and
Logic, publicada pela Polimetrica, desde o seu inı́cio em 2005.
• Membro do conselho cientı́fico do Centro Internacional de Matemática (CIM),
desde 2004.
• Membro da comissão cientı́fica (associate editor com capacidade de decisão final) da revista Formal Aspects of Computing (indexada no TR web of science),
publicada pela Springer Verlag, desde 1988.
• Membro da comissão de programa da FroCoS2007: 6th International Symposium on Frontiers of Combining Systems, Liverpool, Setembro 10-12, 2007.
• Presidente da comissão de programa, Lisbon Quantum Computation, Information and Logic (LQCIL’07), Lisboa, Julho 18-20, 2007.
• Membro do painel de avaliação das candidaturas individuais a bolsas de
pós-doutoramento, doutoramento e mestrado na área de Engenharia Electrotécnica e de Computadores, Fundação para a Ciência e a Tecnologia, 2007.
14
• Presidente da comissão de programa, Sessões de Lógica e Computação do
Encontro Nacional de Matemática, Lisboa, Junho 20-23, 2006.
• Membro da comissão cientı́fica da revista Decision Support Systems, publicada
pela North Holland, 1983-2006.
• Coordenador do painel de avaliação das candidaturas individuais a bolsas de
pós-doutoramento, doutoramento e mestrado na área de Matemática, Fundação
para a Ciência e a Tecnologia, 2004-2005.
• Avaliador de propostas para a ACI Nouvelles Interfaces des Mathématiques,
França, 2003.
• Membro da comissão de programa da CAiSE2003: 15th Conference Advanced
Information Systems Engineering, Klagenfurt/Velden, Junho 16-20, 2003.
• Presidente da comissão de programa, Sessões de Lógica e Computação do
Encontro Nacional de Matemática, Coimbra, Fevereiro 5-8, 2002.
• Membro da comissão de programa da IFIP WG8.1 Working Conference on
Organisational Semiotics - the evolving science of information systems, Montreal, Julho 23-25, 2001.
Information Systems Engineering, Interlaken, Junho 4-8, 2001.
• Membro da comissão de programa da DEMM2000 Workshop, Dagsthul, Setembro 18-22, 2000.
Information Systems Engineering, Estocolmo, Junho 5-9, 2000.
• Membro da comissão de programa da 10th International Conference on Data
Base and Expert Systems Applications, Florença, Agosto 30 - Setembro 3,
1999.
• Membro da comissão de programa da LICS99, Trento, Julho 2-10, 1999.
Information Systems Engineering, Heidelberg, Junho 14-18, 1999.
• Membro da Comissão Consultiva da Sociedade Portuguesa de Matemática,
desde Janeiro de 1997 até Julho de 1998.
• Membro da comissão de programa da FROCOS98: Frontiers of Combining
Systems, Amsterdam, Outubro 2-4, 1998.
Base and Expert Systems Applications, Viena, Agosto 24-28, 1998.
Information Systems Engineering, Pisa, Junho 8-12, 1998.
• Membro da comissão de programa da Foundations of Software Science and
Computation Structures, Lisboa, Março 30 - Abril 3, 1998.
Base and Expert Systems Applications, Toulouse, Setembro 1-5, 1997.
Information Systems Engineering, Barcelona, Junho 16-20, 1997.
15
Base and Expert Systems Applications, Zurique, Setembro 9-13, 1996.
Base and Expert Systems Applications, Londres, Setembro 4-8, 1995.
Information Systems Engineering, Jyvskyl, Junho 12-16, 1995.
• Membro da comissão de programa da 13th International Conference on EntityRelationship Approach, Manchester, Setembro 26-29, 1994.
• Membro da comissão de programa da First International Conference on Temporal Logic, Bona, Julho 11-14, 1994.
• Membro da comissão de programa da CAiSE94: 6th Conference on Advanced
Information Systems Engineering, Utrecht, Junho 6-10, 1994.
• Membro da comissão de programa do ESOP’94: European Symposium on
Programming, Edimburgo, Abril 11-15, 1994.
• Editor associado da revista The INESC Journal of Research and Development,
1990-94.
Base and Expert Systems Applications, Praga, Setembro 6-8, 1993.
• Membro da comissão de programa da CAiSE93: 5th Conference on Advanced
Information Systems Engineering, Sorbonne, Junho 8-11, 1993.
Engineering, Viena, Abril 19-23, 1993.
• Membro da comissão de programa da 3rd International Conference on Data
Base and Expert Systems Applications, Valência, Setembro 2-4, 1992.
• Membro da comissão de programa da 18th VLDB International Conference,
Vancouver, Agosto 23-27, 1992.
• Membro da comissão de programa da CAiSE92: 4th Nordic Conference on
Advanced Information Systems Engineering, Manchester, Maio 12-15, 1992.
• Membro da comissão de programa da IFIP WG 8.1 Working Conference on
Information System Concepts, Alexandria, Abril 13-15, 1992.
• Membro da comissão de programa da IFIP WG 8.1 Working Conference on
the Object Oriented Approach in Information Systems, Quebec City, Outubro
28-31, 1991.
• Coordenador da comissão de programa da 7th VLDB International Conference, Barcelona, Setembro 3-6, 1991.
• Membro da comissão de programa da CAiSE91: 3rd Nordic Conference on
Advanced Information System Engineering, Trondheim, Maio 13-15, 1991.
• Membro da comissão de programa da 9th International Conference on EntityRelationship Approach, Lausanne, Outubro 8-10, 1990.
• Membro da comissão de programa da International Conference on Data Base
and Expert Systems Applications, Viena, Agosto 29-31, 1990.
16
• Membro da comissão de programa da CAiSE90: 2nd Nordic Conference on
Advanced Information Systems Engineering, Estocolmo, Maio 8-10, 1990.
Amsterdão, Agosto 22-25, 1989.
• Membro da comissão de programa da 11th International Conference on Software Engineering, Pittsburg, Maio 15-18, 1989.
• Referee do programa comunitário ESPRIT - Basic Research Actions, 1988.
• Membro da comissão de programa da 7th International Conference on the
Entity-Relationship Approach, Roma, Novembro 16-18, 1988.
• Membro da comissão de programa da IFIP Working Conference on The Role
of Artificial Intelligence in Databases and Information Systems, Cantão, Julho
4-8, 1988.
• Coordenador geral do RCJ88: 1o. Encontro sobre Representação do Conhecimento Jurı́dico, Sesimbra, Maio 12-13, 1988.
• Membro da comissão de programa da International Conference on Extending
Database Technology, Veneza, Março 14-18, 1988.
Entity- Relationship Approach, New York, Novembro 9-11, 1987.
• Coordenador da comissão de programa do 3o Encontro Português de Inteligência Artificial, Braga, Outubro 1-9, 1987.
• Referee do programa comunitário CODEST, 1987.
• Membro da comissão de avaliação do projecto ESPRIT KNOSOS, 1987.
• Membro da comissão de programa da IFIP WG 8.1 Working Conference
on Temporal Aspects of Information Systems, Sophia-Antipolis, Maio 13-15,
1987.
Entity- Relationship Approach, Dijon, Novembro 17-19, 1986.
• Coordenador geral da IFIP WG 2.6 Working Conference on Knowledge and
Data, Aldeia das Açoteias, Novembro 3-7, 1986.
• Coordenador da comissão de programa do IV Congresso Português de Informática, Lisboa, Junho 23-27, 1986.
• Referee ocasional da revista Information Systems, publicada pela Pergamon
Press, 1981-86.
• Membro da comissão de programa do Workshop Nacional dos Computadores
e da Tecnologia da Informação, Vimeiro, Outubro 21-23, 1985.
Estocolmo, Agosto 21-23, 1985.
• Coordenador da comissão de programa da IFIP WG 8.1 Working Conference
Theoretical and Formal Aspects of Information Systems, Sitges, Abril 16-18,
1985.
17
• Coordenador da comissão de organização do seminário The New Generation
of Information Systems, Lisboa, Abril 12, 1985.
• Membro da comissão técnica da Revista de Informática, publicada pela API,
1980-85.
Organização
• Workshop on Combination of Logics: Theory and Applications, em colaboração com W. Carnielli, M. Coniglio, P. Mateus e T. Mossakowski, CLC,
Lisboa, Julho 28-30, 2004. http://www.cs.math.ist.utl.pt/comblog04/
• IFIP TC 1 Meeting, Lisboa, Março 29, 1998.
• ASPIRE Meeting, Lisboa, Setembro 19-20, 1997.
• Escola de Verão sobre Fundamentos Matemáticos da Computação, em colaboração com J. Fiadeiro, CIM, Coimbra, Setembro 8-11, 1997.
• COMPASS Meeting, Sintra, Fevereiro 15-18, 1995.
• IFIP WG 2.6 Meeting, Aldeia das Açoteias, Novembro 8, 1986.
• IFIP WG 2.6 Working Conference, Aldeia das Açoteias, Novembro 3-7, 1986.
• IFIP WG 8.1 Meeting, Sesimbra, Junho 5-8, 1989.
• IFIP WG 8.1 CRIS3 Task Group Meeting, Lisboa, Outubro 27-28, 1983.
• IFIP WG 2.3 Meeting, Sintra, Outubro 19-23, 1981.
Gestão
• Membro da Direcção do Centro Internacional de Matemática (CIM), 19962004.
1.11
Afiliações
• American Mathematical Society (AMS), desde 2000.
• Sociedade Portuguesa de Matemática (SPM), desde 1983.
• IFIP WG 1.3 (Foundations of Systems Specifications), membro efectivo, 19942004.
• IFIP WG 8.1 (Information Systems), membro efectivo, 1982-2004.
• European Association for Theoretical Computer Science (EATCS), 1980-2002.
• IFIP TC 1 (Foundations of Computer Science), 1997-2001.
• IFIP WG 2.6 (Databases), membro efectivo 1985-1995.
• Association for Computing Machinery (ACM), 1978-1995.
• Associação Portuguesa para a Inteligência Artificial (APPIA), 1984-1994.
• The British Computer Society (BCS), 1980-1988.
• IFIP WG 2.3 (Programming Methodology), membro visitante, 1980-1988.
18
• Associação Portuguesa de Informática (API), 1976-1987.
• Sociedade Portuguesa de Estatı́stica e Investigação Operacional, membro fundador, 1981-1985.
• IFIP WG 8.1 CRIS-3 Task Group, 1982-1984.
• IFIP WG 8.1 (Information Systems), membro visitante, 1979-1982.
• Query Language Group, BCS, 1979-1980.
Capı́tulo 2
Actividade pedagógica
2.1
Coordenação curricular
• Coordenador dos trabalhos de lançamento do curso de doutoramento em Segurança de Informação, 2007.
• Representante do IST na comissão de coordenação, para a área de Lógica,
Fundamentos e Computação, dos trabalhos de lançamento do curso de doutoramento em Matemática de Lisboa, 2007.
• Co-responsável com D. Gomes e C. Sernadas pelo conteúdo programático da
nova disciplina de optimização linear do curso de licenciatura em Matemática
Aplicada e Computação, IST, 2007.
• Co-responsável com C. Sernadas pela actualização do conteúdo programático
das disciplinas de lógica matemática dos cursos de licenciatura e de mestrado
em Matemática Aplicada e Computação, IST, 2006.
• Responsável, com a colaboração de J. Ramos, pela actualização do conteúdo
programático das disciplinas de introdução à programação dos cursos de licenciatura em Quı́mica e em Engenharia do Ambiente, Engenharia Biológica, Engenharia Geológica e Mineira, Engenharia de Materiais e Engenharia Quı́mica,
IST, 2003.
• Co-responsável com C. Sernadas pela actualização do conteúdo programático
da disciplina de introdução à teoria da computação do curso de licenciatura
em Matemática Aplicada e Computação, 2001.
• Responsável pela revisão curricular da área de Teoria da Computação no
curso de licenciatura em Matemática Aplicada e Computação e no curso de
mestrado em Matemática Aplicada, 2000-2001.
• Coordenador dos trabalhos de lançamento do curso de licenciatura em Ciências
Informáticas, 1999-2000.
• Responsável, com a colaboração de C. Sernadas, pela actualização do conteúdo
programático das disciplinas de fundamentos algébricos da programação do
curso de licenciatura em Engenharia Informática e de Computadores, IST,
1999.
• Colaborador nos trabalhos de reformulação dos cursos de licenciatura e mestrado em Engenharia Informática e de Computadores, IST, 1998.
19
CAPÍTULO 2. ACTIVIDADE PEDAGÓGICA
20
• Responsável pela revisão do curriculum da especialização em Computação do
curso de licenciatura em Matemática Aplicada e Computação, IST, 1997.
• Responsável, com a colaboração de C. Sernadas, pela actualização do conteúdo
programático das disciplinas de introdução à programação dos cursos de licenciatura em Engenharia Quı́mica, Ambiente, Materiais e Minas, IST, 1996.
• Responsável pela revisão do curriculum da especialização em Computação do
curso de licenciatura em Matemática Aplicada e Computação, IST, 1989.
• Colaborador nos trabalhos de lançamento do curso de licenciatura em Engenharia Informática e de Computadores, IST, 1987-1988.
• Orientador, com a colaboração de C. Sernadas, de docentes do Departamento
de Informática, Faculdade de Engenharia, Universidade Agostinho Neto, R.
P. Angola, Outubro-Dezembro, 1987.
• Responsável com a colaboração de C. Sernadas pela revisão do curriculum
da especialização em Computação do curso de licenciatura em Matemática
Aplicada e Computação, IST, 1986.
• Responsável com a colaboração de C. Sernadas pela revisão do curriculum da
especialização em Computação do curso de mestrado em Matemática Aplicada, IST, 1986.
• Responsável pela proposta e lançamento do curso de licenciatura em Computação na Faculdade de Ciências, Universidade de Lisboa, 1981-1986.
2.2
Leccionação
• Curso de licenciatura em Engenharia Biomédica, IST:
– Elementos de Programação: 2007/08, 2004/05, 2003/04.
– Introdução à Programação: 2002/03, 2001/02.
• Curso de licenciatura em Ciências Informáticas, IST:
• Curso de licenciatura em Matemática Aplicada e Computação, IST:
– Introdução à Computabilidade e Complexidade: 2012/13, 2010/11, 2009/10,
2008/09.
– Lógica Matemática: 2014/15, 2012/13, 2011/12, 2010/11, 2009/10, 2008/09,
2003/04.
– Elementos de Programação: 2007/08, 2004/05, 2003/04.
– Lógica e Teoria da Computação: 2006/07.
– Fundamentos Algébricos da Engenharia da Programação: 2001/02.
– Elementos Algébricos da Programação I: 1998/99, 1991/92.
– Sintaxe e Semântica de Linguagens I: 1997/98, 1996/97, 1995/96.
– Elementos Lógicos da Programação II: 1996/97, 1995/96, 1994/95.
– Elementos Lógicos da Programação I: 1990/91.
– Elementos Lógicos e Algébricos da Programação: 1989/90.
– Programação Recursiva: 1994/95, 1989/90, 1988/89.
21
– Bases de Dados: 1988/89.
– Introdução à Computação I: 1987/88.
• Curso de licenciatura em Engenharia Informática e de Computadores, IST:
–
–
–
–
Fundamentos Algébricos: 1998/99, 1991/92.
Teoria da Programação III: 1993/94.
Teoria da Programação II: 1993/94, 1992/93.
Teoria da Programação I: 1991/92.
• Curso de licenciatura em Engenharia Quı́mica, IST:
– Programação: 1986/87.
• Curso de licenciatura em Matemática Aplicada, FCUL:
–
–
–
–
–
–
–
–
–
–
–
–
Inteligência Artificial: 1985/86.
Programação Não Procedimental: 1985/86.
Lógica e Computabilidade: 1985/86, 1982/83, 1981/82.
Sistemas de Operação I: 1984/85.
Estruturas de Dados e Algoritmos: 1984/85.
Complementos de Computadores II (Compiladores): 1983/84.
Introdução à Ciência da Computação: 1982/83, 1981/82, 1980/81.
Bases de Dados: 1981/82.
Complementos de Computação I (Estruturas de Dados): 1981/82, 1980/81.
Complementos de Computadores: 1977/78, 1976/77.
Processos Estocásticos: 1977/78 (práticas).
Estatı́stica Computacional: 1976/77 (práticas).
• Curso de licenciatura em Engenharia, FCUL:
– Introdução à Ciência da Computação: 1981/82, 1980/81.
– Computadores: 1976/77.
– Sistemas Lógicos: 1976/77.
• Curso de licenciatura em Engenharia Electrotécnica, IST:
– Antenas: 1974/75 (práticas).
– Propagação e Radiação de Ondas Electromagnéticas: 1973/74 (práticas).
– Análise Matemática: 1972/73 (práticas).
• Curso de mestrado em Matemática Aplicada, IST:
– Sintaxe e Semântica de Linguagens: 1996/97, 1995/96.
– Fundamentos Lógicos da Programação: 1996/97, 1995/96, 1994/95, 1988/89,
1987/88.
– Fundamentos Algébricos da Programação: 1988/89, 1987/88.
• Curso de mestrado em Matemática e Ciências da Computação, Universidade
de Coimbra:
–
–
–
–
Análise de Sistemas: 1984/85 (com C. Sernadas).
Bases de Dados: 1984/85, 1983/84 (com C. Sernadas).
Compiladores: 1983/84 (com C. Sernadas).
Estruturas de Dados: 1982/83.
2.3
22
Orientação de trabalhos finais de curso
Tem vindo a orientar trabalhos finais de curso desde 1980, primeiro na FCUL e,
a partir de 1986, no IST. Destacam-se pela qualidade excepcional dos resultados
obtidos, dando origem a publicações internacionais, os seguintes:
• Carlos Caleiro, 1992-93 (semântica operacional da lógica temporal de objectos).
• José Luiz Fiadeiro, 1984-85 (lógica temporal linear de especificação de sistemas
de informação).
2.4
Textos pedagógicos sem publicação
• Introdução à Computabilidade e Complexidade, em colaboração com J. Ramos
e C. Sernadas, Departamento de Matemática do Instituto Superior Técnico,
2008-2014.
• Introdução à Optimização Linear, em colaboração com D. Gomes e C. Sernadas, Departamento de Matemática do Instituto Superior Técnico, 2007-2016.
• Fundamentos de Lógica e Teoria da Computação, em colaboração com C.
Sernadas, Departamento de Matemática do Instituto Superior Técnico, 2007.
• Lógica Matemática - Notas de Apoio, com a colaboração de C. Sernadas,
Departamento de Matemática do Instituto Superior Técnico, 2003/04.
• Introdução à Computação e Programação em F, em colaboração com J. Ramos
e P. Mateus, Departamento de Matemática do Instituto Superior Técnico,
2003/04.
• Introdução à Computação e Programação em MATLAB, em colaboração com
J. Ramos e P. Mateus, Departamento de Matemática do Instituto Superior
Técnico, 2003/04.
• Elementos de Lógica e Computação, em colaboração com C. Sernadas e P. Mateus, Departamento de Matemática do Instituto Superior Técnico, 2003/04.
• Programação em Mathematica, com a colaboração de C. Sernadas e J. Ramos,
Departamento de Matemática do Instituto Superior Técnico, 2001/02. Disponı́vel em http://www.cs.math.ist.utl.pt/s84.www/cs/courses/progfolhas01.html.
• Fundamentos Algébricos da Engenharia da Programação, com a colaboração
de C. Sernadas, Departamento de Matemática do Instituto Superior Técnico,
1998/99.
• Programação em Mathematica, com a colaboração de C. Sernadas, Departamento de Matemática do Instituto Superior Técnico, 1996/97.
• Sintaxe e Semântica de Linguagens I, com a colaboração de C. Sernadas,
• Elementos Lógicos da Programação II, com a colaboração de C. Sernadas,
• Teoria da Programação II - Fundamentos Lógicos, com a colaboração de
C. Sernadas, Departamento de Matemática do Instituto Superior Técnico,
1992/93.
23
• Teoria da Programação I - Fundamentos Algébricos, em colaboração com
C. Sernadas, Departamento de Matemática do Instituto Superior Técnico,
1991/92.
• Lições de Programação - Tomo I: Fundamentos Metodológicos, com a colaboração com de J. Carmo e C. Sernadas, Departamento de Matemática do
Instituto Superior Técnico, (caps. 3,4,8,10 e 16) e Associação de Estudantes
do Instituto Superior Técnico, 1987/89.
• Introdução aos Computadores e Programação, programa de disciplina, provas
de agregação, Universidade de Lisboa, 1982.
Capı́tulo 3
Serviços à comunidade
académica
Membro dos júris a seguir listados.
3.1
Avaliação de desempenho
• Avaliação do desempenho dos avaliadores dos docentes da área de Matemática,
Faculdade de Ciências, Universidade de Lisboa, 2004-2011.
• Avaliação do desempenho dos docentes da área de Lógica e Computação,
Departamento de Matemática, Instituto Superior Técnico, 2004-2015.
3.2
Concursos
• Professor Catedrático de Metodologia e Tecnologia da Programação, Instituto
Superior Técnico, Universidade de Lisboa, Outubro de 2015.
• Professor Associado de Lógica e Computação, Instituto Superior Técnico,
Universidade de Lisboa, Outubro de 2015.
• Professor Catedrático de Linguagens e Modelos de Programação, Faculdade
de Ciências e Tecnologia, Universidade Nova de Lisboa, Janeiro de 2012.
• Professor Associado de Lógica e Fundamentos da Matemática, Faculdade de
Ciências e Tecnologia, Universidade Nova de Lisboa, Janeiro de 2012.
• Professor Catedrático de Lógica Matemática, Faculdade de Ciências, Universidade de Lisboa, Dezembro de 2011.
• Professor Catedrático de Matemática, Instituto Superior Técnico, Universidade de Lisboa, Abril de 2011.
• Professor Catedrático de Matemática, Instituto Superior Técnico, Universidade de Lisboa, Dezembro de 2010.
• Professor Auxiliar de Matemática, Instituto Superior Técnico, Universidade
Técnica de Lisboa, Janeiro de 2010.
• Professor Associado de Probabilidades e Estatı́stica ou Lógica e Computação,
Instituto Superior Técnico, Universidade Técnica de Lisboa, Janeiro de 2010.
24
CAPÍTULO 3. SERVIÇOS À COMUNIDADE ACADÉMICA
25
• Professor Associado de Álgebra e Topologia ou Análise Real e Análise Funcional ou Equações Diferenciais e Sistemas Dinâmicos ou Geometria, Instituto
Superior Técnico, Universidade Técnica de Lisboa, Dezembro de 2009.
• Professor Catedrático de Informática – Metodologia e Tecnologia da Programação, Instituto Superior Técnico, Universidade Técnica de Lisboa, Maio
de 2009.
• Professor Associado de Probabilidades e Estatı́stica ou Análise Numérica e
Análise Aplicada ou Lógica e Computação, Instituto Superior Técnico, Universidade Técnica de Lisboa, Janeiro de 2009.
• Professor Associado de Informática – Sistemas de Informação, Instituto Superior Técnico, Universidade Técnica de Lisboa, Dezembro de 2008.
• Professor Catedrático de Álgebra e Topologia ou Análise Real e Análise Funcional ou Equações Diferenciais e Sistemas Dinâmicos ou Geometria, Instituto
Superior Técnico, Universidade Técnica de Lisboa, Outubro de 2008.
• Professor Associado de Álgebra e Topologia ou Análise Real e Análise Funcional ou Equações Diferenciais e Sistemas Dinâmicos ou Geometria, Instituto
Superior Técnico, Universidade Técnica de Lisboa, Dezembro de 2007.
• Professor Catedrático de Álgebra e Topologia ou Análise Real e Análise Funcional ou Equações Diferenciais e Sistemas Dinâmicos ou Geometria, Instituto
Superior Técnico, Universidade Técnica de Lisboa, Maio de 2007.
• Professor Associado de Informática – Metodologia e Tecnologia da Programação,
Instituto Superior Técnico, Universidade Técnica de Lisboa, Março de 2007.
• Professor Associado de Informática – Ciência e Tecnologia da Programação,
Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Janeiro de
2007.
• Professor Associado de Matemática – Computação, Instituto Superior de
Agronomia, Universidade Técnica de Lisboa, Dezembro de 2006.
• Professor Catedrático de Informática – Sistemas Simbólicos, de Decisão, e
de Informação, Faculdade de Ciências e Tecnologia, Universidade Nova de
Lisboa, Junho de 2006.
• Professor Associado de Matemática – Estatı́stica e Computação, Instituto
Superior de Agronomia, Universidade Técnica de Lisboa, Dezembro de 2005.
• Professor Associado de Informática – Inteligência Artificial, Instituto Superior
Técnico, Universidade Técnica de Lisboa, Outubro de 2005.
• Professor Catedrático de Matemática, Faculdade de Ciências e Tecnologia,
Universidade de Coimbra, Maio de 2005.
• Professor Associado de Matemática, Universidade do Minho, Junho de 2004
(relator).
Instituto Superior Técnico, Universidade Técnica de Lisboa, Fevereiro de
2004.
• Professor Associado de Informática – Sistemas de Informação, Instituto Superior Técnico, Universidade Técnica de Lisboa, Fevereiro de 2004.
26
• Professor Catedrático de Matemática, Faculdade de Ciências e Tecnologia,
Universidade de Coimbra, Janeiro de 2004.
• Professor Catedrático de Análise Matemática ou Geometria ou Topologia,
• Professor Associado de Análise Matemática ou Geometria ou Topologia, Instituto Superior Técnico, Universidade Técnica de Lisboa, Janeiro de 2004.
• Professor Associado de Lógica e Teoria da Computação, Instituto Superior
Técnico, Universidade Técnica de Lisboa, Fevereiro de 2003.
• Professor Associado de Matemática Aplicada e Análise Numérica, Instituto
Superior Técnico, Universidade Técnica de Lisboa, Maio de 2002.
• Professor Catedrático de Matemática Aplicada e Análise Numérica, Instituto
Superior Técnico, Universidade Técnica de Lisboa, Julho de 2001.
• Professor Associado de Análise Matemática ou Geometria ou Topologia, Instituto Superior Técnico, Universidade Técnica de Lisboa, Janeiro de 2001.
• Professor Associado de Informática – Arquitectura e Sistemas Operativos,
• Professor Catedrático de Matemática, Universidade da Madeira, Outubro de
2000.
• Professor Associado de Informática – Computação Gráfica e Multimédia, Instituto Superior Técnico, Universidade Técnica de Lisboa, Julho de 2000.
• Professor Catedrático de Sistemas de Apoio ao Projecto, Instituto Superior
Técnico, Universidade Técnica de Lisboa, Julho de 2000.
Instituto Superior Técnico, Universidade Técnica de Lisboa, Fevereiro de
2000.
• Professor Catedrático de Ciência de Computadores, Faculdade de Ciências,
Universidade Nova do Porto, Dezembro de 1999.
• Professor Associado de Matemática – Ciência da Computação, Instituto Superior Técnico, Universidade Técnica de Lisboa, Junho de 1999.
• Professor Associado de Análise Matemática ou Geometria ou Topologia, Instituto Superior Técnico, Universidade Técnica de Lisboa, Maio de 1999.
• Professor Associado de Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Maio de 1999.
• Professor Associado de Matemática, Faculdade de Ciências, Universidade de
Lisboa, Dezembro de 1998.
• Professor Catedrático de Lógica e Fundamentos da Matemática, Faculdade de
Ciências e Tecnologia, Universidade Nova de Lisboa, Março de 1998.
• Professor Associado de Matemática, Universidade de Évora, Janeiro de 1998.
• Professor Associado de Controlo, Automação e Robótica ou Informática e
Inteligência Artificial, Instituto Superior Técnico, Universidade Técnica de
Lisboa, Outubro de 1997.
27
• Professor Associado de Informática, Faculdade de Ciências, Universidade de
Lisboa, Maio de 1997.
• Investigador Coordenador (Raul Cordovil), Matemática, Instituto Superior
Técnico, Universidade Técnica de Lisboa, Janeiro de 1997.
• Professor Catedrático de Ciência e Tecnologia da Programação, Faculdade de
Ciências e Tecnologia, Universidade Nova de Lisboa, Julho de 1996.
• Professor Catedrático de Análise Matemática, Instituto Superior Técnico,
Universidade Técnica de Lisboa, Novembro de 1995.
• Professor Associado de Modelação e Computação ou Inteligência Artificial ou
Controlo ou Aerospacial, Instituto Superior Técnico, Universidade Técnica de
Lisboa, Dezembro de 1994.
• Professor Catedrático de Sistemas Digitais ou Sistemas e Controlo, Instituto
Superior Técnico, Universidade Técnica de Lisboa, Novembro de 1994.
• Professor Catedrático de Inteligência Artificial, Instituto Superior Técnico,
Universidade Técnica de Lisboa, Setembro de 1993.
• Professor Catedrático de Análise Matemática, Instituto Superior Técnico,
Universidade Técnica de Lisboa, Julho de 1993.
• Professor Associado de Gestão das Organizações Industriais, Instituto Superior Técnico, Universidade Técnica de Lisboa, Dezembro de 1993.
• Professor Associado de Análise Numérica ou Estatı́stica, Instituto Superior
Técnico, Universidade Técnica de Lisboa, Maio de 1993.
• Professor Associado de Análise Numérica ou Estatı́stica ou Ciência da Computação, Instituto Superior Técnico, Universidade Técnica de Lisboa, Fevereiro de 1992.
• Professor Associado de Inteligência Artificial, Instituto Superior Técnico, Universidade Técnica de Lisboa, Novembro de 1991.
• Professor Associado de Informática de Gestão, Universidade do Minho, Dezembro de 1990 (relator).
• Professor Associado de Análise Numérica, Instituto Superior Técnico, Universidade Técnica de Lisboa, Outubro de 1990.
• Professor Associado de Análise Numérica, Instituto Superior Técnico, Universidade Técnica de Lisboa, Outubro de 1989 (relator).
• Professor Associado de Ciências da Computação, Universidade do Minho,
Maio de 1989 (relator).
• Professor Associado de Informática de Gestão, Universidade do Minho, Maio
de 1989.
• Professor Associado de Análise Numérica, Instituto Superior Técnico, Universidade Técnica de Lisboa, Maio de 1989 (relator).
3.3
28
Provas de agregação
• Ana Cannas da Silva, Matemática, Instituto Superior Técnico, Universidade
Técnica de Lisboa, Junho 21-22, 2010 (presidente).
• José Nuno Oliveira, Informática, Escola de Engenharia, Universidade do Minho, Janeiro 11-12, 2010 (arguente).
• Ricardo Schiappa, Matemática, Instituto Superior Técnico, Universidade Técnica
de Lisboa, Dezembro 21-22, 2009 (presidente).
• Rahul Pandharipande, Matemática, Instituto Superior Técnico, Universidade
Técnica de Lisboa, Dezembro 21-22, 2009 (presidente).
• Reinhard Kahle, Matemática, Faculdade de Ciências e Tecnologia, Universidade de Coimbra, Novembro 6-7, 2008 (arguente).
• Aleksander Mikovic, Matemática, Instituto Superior Técnico, Universidade
Técnica de Lisboa, Julho 14-15, 2008.
• José Júlio Alferes, Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Junho 5-6, 2008 (arguente).
• Luı́s Caires, Informática, Faculdade de Ciências e Tecnologia, Universidade
Nova de Lisboa, Novembro 15-16, 2007 (arguente).
• Jorge Buescu, Matemática, Instituto Superior Técnico, Universidade Técnica
de Lisboa, Fevereiro 22-23, 2007.
• Paulo Mateus, Matemática, Instituto Superior Técnico, Universidade Técnica
de Lisboa, Março 27-28, 2006 (arguente).
• Fernando Ferreira, Matemática, Universidade de Lisboa, Julho 19-20, 2005
(arguente).
• Nuno João Neves Mamede, Engenharia Informática e de Computadores, Instituto Superior Técnico, Universidade Técnica de Lisboa, Setembro 27-28,
2004.
• Luı́s Silveira, Engenharia Electrotécnica e de Computadores, Instituto Superior Técnico, Universidade Técnica de Lisboa, Julho 8-9, 2004 (arguente).
• Pedro Guerreiro, Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Julho 1-2, 2004 (arguente).
• João Paulo Marques da Silva, Engenharia Informática e de Computadores,
Instituto Superior Técnico, Universidade Técnica de Lisboa, Fevereiro 12-13,
2004.
• Arlindo Oliveira, Engenharia Informática e de Computadores, Instituto Superior Técnico, Universidade Técnica de Lisboa, Dezembro 2-3, 2003 (arguente).
• Vasco Vasconcelos, Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Outubro 6-7, 2003.
• Ana Martins, Fı́sica, Instituto Superior Técnico, Universidade Técnica de
Lisboa, Junho 16-17, 2003.
• Joaquim Jorge, Engenharia Informática e de Computadores, Instituto Superior Técnico, Universidade Técnica de Lisboa, Novembro 21-22, 2002.
29
• Rui Loja Fernandes, Matemática, Instituto Superior Técnico, Universidade
Técnica de Lisboa, Julho 1-2, 2002.
• Pedro Freitas, Matemática, Instituto Superior Técnico, Universidade Técnica
de Lisboa, Maio 28-29, 2001.
• Adélia Sequeira, Matemática, Instituto Superior Técnico, Universidade Técnica
de Lisboa, Janeiro 15-16, 2001.
• Filipe Romeiras, Matemática, Instituto Superior Técnico, Universidade Técnica
• Stefan Samko, Matemática, Instituto Superior Técnico, Universidade Técnica
• Viktor Kravchencko, Matemática, Instituto Superior Técnico, Universidade
Técnica de Lisboa, Outubro 18-19, 1999.
• João Bento, Engenharia Civil, Instituto Superior Técnico, Universidade Técnica
de Lisboa, Março 18-19, 1999 (arguente).
• José Luiz Fiadeiro, Informática, Universidade de Lisboa, Novembro 26-27,
1998 (arguente).
• Mário Rui Gomes, Engenharia Electrotécnica e de Computadores, Instituto
Superior Técnico, Universidade Técnica de Lisboa, Novembro 26-27, 1998.
• Hanna Nencka, Fı́sica, Instituto Superior Técnico, Universidade Técnica de
Lisboa, Junho 2-3, 1998.
• Miguel Filgueiras, Ciências da Computação, Universidade do Minho, Abril
29-30, 1998 (arguente).
• José Carmo, Matemática, Instituto Superior Técnico, Universidade Técnica
de Lisboa, Junho 27-28, 1996 (arguente).
• Frank Speck, Matemática, Instituto Superior Técnico, Universidade Técnica
de Lisboa, Junho 27-28, 1996.
• Luı́s Fernando Monteiro, Engenharia Informática, Faculdade de Ciências e
Tecnologia, Universidade Nova de Lisboa, Dezembro 13-14, 1995.
• António Porto, Engenharia Informática, Faculdade de Ciências e Tecnologia,
Universidade Nova de Lisboa, Dezembro 13-14, 1995 (arguente).
• Paulo Verı́ssimo, Engenharia Electrotécnica e de Computadores, Instituto Superior Técnico, Universidade Técnica de Lisboa, Novembro 29-30, 1994.
• Luı́s Magalhães, Matemática, Instituto Superior Técnico, Universidade Técnica
de Lisboa, Junho 9-10, 1992.
• Pedro Veiga, Engenharia Electrotécnica e de Computadores, Instituto Superior Técnico, Universidade Técnica de Lisboa, Fevereiro 10-11, 1992 (arguente).
• João Pavão Martins, Engenharia Informática e de Computadores, Instituto
Superior Técnico, Universidade Técnica de Lisboa, Junho 27-28, 1991 (arguente).
• Jorge Almeida, Matemática, Faculdade de Ciências, Universidade do Porto,
Junho 28-29, 1990 (arguente).
• Ferreira dos Santos, Matemática, Instituto Superior Técnico, Universidade
Técnica de Lisboa, Maio 22-23, 1989.
3.4
30
Provas de doutoramento
• João Cachopo, Engenharia Informática e de Computadores, Instituto Superior
Técnico, Universidade Técnica de Lisboa, Setembro 6, 2007 (Presidente).
• Daniel Graça, Matemática, Instituto Superior Técnico, Universidade Técnica
de Lisboa, Setembro 5, 2007 (Presidente).
• Pedro Adão, Matemática, Instituto Superior Técnico, Universidade Técnica
de Lisboa, Dezembro 5, 2006 (Presidente).
• Ricardo Lopes de Saldanha, Engenharia Informática e de Computadores, Instituto Superior Técnico, Universidade Técnica de Lisboa, Abril 1, 2004.
• João Rasga, Matemática, Instituto Superior Técnico, Universidade Técnica
de Lisboa, Julho 28, 2003.
• Manuel Campagnolo, Matemática, Instituto Superior Técnico, Universidade
Técnica de Lisboa, Janeiro 21, 2002.
• António Marques Fernandes, Matemática, Universidade de Lisboa, Julho 18,
2001.
de Lisboa, Janeiro 12, 2001 (orientador).
• António Ravara, Matemática, Instituto Superior Técnico, Universidade Técnica
de Lisboa, Dezembro 18, 2000 (co-orientador).
• Carlos Caleiro, Matemática, Instituto Superior Técnico, Universidade Técnica
de Lisboa, Dezembro 5, 2000 (orientador).
• Jaime Ramos, Matemática, Instituto Superior Técnico, Universidade Técnica
de Lisboa, Maio 19, 2000 (orientador).
• António Rito Silva, Engenharia Informática e de Computadores, Instituto
Superior Técnico, Universidade Técnica de Lisboa, Setembro 16, 1999.
• Sofia Guerra, Matemática, Instituto Superior Técnico, Universidade Técnica
de Lisboa, Junho 29, 1999 (co-orientador).
• Antónia Lopes, Informática, Universidade de Lisboa, Junho 8, 1999 (primeiro
relator e arguente).
• Alfio Martini, Informática, Universidade Técnica de Berlim, Janeiro 1999 (relator).
• Pedro Quaresma de Almeida, Informática, Universidade do Minho, Novembro
6, 1998 (primeiro relator e arguente).
• Paula Gouveia, Matemática, Instituto Superior Técnico, Universidade Técnica
de Lisboa, Junho 29, 1998.
• Davide Ancona, Informática, Universidade de Pisa, Março 1998 (relator).
• Pedro Resende, Matemática, Instituto Superior Técnico, Universidade Técnica
de Lisboa, Janeiro 5, 1998 (orientador).
• Pedro Sousa, Engenharia Informática e de Computadores, Instituto Superior
Técnico, Universidade Técnica de Lisboa, Fevereiro 13, 1997.
31
• Paulo Menezes, Matemática, Instituto Superior Técnico, Universidade Técnica
de Lisboa, Fevereiro 4, 1997 (orientador).
• Diana Santos, Engenharia Informática e de Computadores, Instituto Superior
Técnico, Universidade Técnica de Lisboa, Janeiro 17, 1997 (co-orientador).
• Amândio Vaz Velho, Engenharia Informática e de Computadores, Instituto
Superior Técnico, Universidade Técnica de Lisboa, Março 7, 1996.
• Renwei Li, Matemática, Instituto Superior Técnico, Universidade Técnica de
Lisboa, Julho 16, 1993.
• Nuno Guimarães, Engenharia Electrotécnica e de Computadores, Instituto
Superior Técnico, Universidade Técnica de Lisboa, Junho 9, 1992.
• José Félix Costa, Matemática, Instituto Superior Técnico, Universidade Técnica
de Lisboa, Janeiro 17, 1992 (orientador e arguente).
• Mário Rui Gomes, Engenharia Electrotécnica e de Computadores, Instituto
Superior Técnico, Universidade Técnica de Lisboa, Novembro 20, 1991.
• Frank Dignum, Universidade Livre de Amsterdão, Dezembro 18, 1989 (primeiro arguente).
• José Fiadeiro, Matemática, Instituto Superior Técnico, Universidade Técnica
de Lisboa, Janeiro 19, 1989 (orientador e arguente).
• Rogério Carapuça, Engenharia Electrotécnica e de Computadores, Instituto
Superior Técnico, Universidade Técnica de Lisboa, Outubro 6, 1988 (orientador).
de Lisboa, Abril 28, 1988 (orientador e arguente).
• Kung Chen Ho, The Norwegian Institute of Technology, Maio 21, 1984 (primeiro arguente).
• L. Monteiro, Engenharia Informática, Faculdade de Ciências e Tecnologia,
Universidade Nova de Lisboa, Outubro 10-11, 1983.
• P. Guerreiro, Engenharia Informática, Faculdade de Ciências e Tecnologia,
Universidade Nova de Lisboa, Julho 22-23, 1983 (primeiro arguente).
3.5
Equiparações a doutoramento
• Francisco Miguel Dionı́sio, Matemática, Instituto Superior Técnico, Universidade Técnica de Lisboa, Janeiro 9, 1998 (primeiro relator).
• Luı́s Pinto, Matemática, Universidade do Minho, Novembro 22, 1996 (primeiro
relator).
• P. Amaral, Engenharia Informática e de Computadores, Instituto Superior
Técnico, Universidade Técnica de Lisboa, Abril 12, 1996.
• Thibault Langlois, Engenharia Electrotécnica e de Computadores, Instituto
Superior Técnico, Universidade Técnica de Lisboa, Outubro, 1994.
• Frank Dignum, Instituto Superior Técnico, Universidade Técnica de Lisboa,
Junho, 1992 (primeiro relator).
32
• Leonor Barroca, Informática, Universidade do Minho, Junho, 1990.
• Ulrich Schiel, Informática, Universidade do Minho, Junho, 1990 (primeiro
relator).
• Jorge Almeida, Matemática, Universidade do Minho, Dezembro, 1993 (primeiro relator).
• Narciso Garcia, Matemática, Instituto Superior Técnico, Universidade Técnica
de Lisboa, Dezembro, 1983.
3.6
Provas de mestrado
• Alexandre Francisco, Matemática Aplicada, Instituto Superior Técnico, Universidade Técnica de Lisboa, Dezembro 7, 2004 (Presidente e co-orientador).
• Daniel Graça, Matemática Aplicada, Instituto Superior Técnico, Universidade
Técnica de Lisboa, Setembro 6, 2002 (Presidente).
• Maria João Coutinho, Matemática Aplicada, Instituto Superior Técnico, Universidade Técnica de Lisboa, Novembro 17, 1997 (Presidente).
• José Espı́rito Santo, Matemática Aplicada, Instituto Superior Técnico, Universidade Técnica de Lisboa, Abril 29, 1997 (Presidente).
• Joana Campos de Carvalho, Matemática Aplicada, Instituto Superior Técnico,
Universidade Técnica de Lisboa, Outubro 28, 1996 (Presidente).
• Carlos Caleiro, Matemática Aplicada, Instituto Superior Técnico, Universidade Técnica de Lisboa, Março 28, 1996 (Presidente e orientador).
• João Gomes, Matemática Aplicada, Instituto Superior Técnico, Universidade
Técnica de Lisboa, Março 13, 1996 (Presidente).
• António Ravara, Matemática Aplicada, Instituto Superior Técnico, Universidade Técnica de Lisboa, Março 13, 1996 (Presidente e orientador).
• J. Pinto, Informática, Universidade do Minho, Novembro 10, 1995 (primeiro
arguente).
• José Bacelar Almeida, Informática, Universidade do Minho, Janeiro 28, 1994
(primeiro arguente).
• Pedro Sousa, Matemática Aplicada, Instituto Superior Técnico, Universidade
Técnica de Lisboa, Janeiro 13, 1994 (orientador).
• Luı́s Dominguez, Engenharia Electrotécnica e de Computadores, Instituto Superior Técnico, Universidade Técnica de Lisboa, Setembro 30, 1993.
• Paula Gouveia, Matemática Aplicada, Instituto Superior Técnico, Universidade Técnica de Lisboa, Fevereiro 25, 1993.
• António Rito da Silva, Matemática Aplicada, Instituto Superior Técnico, Universidade Técnica de Lisboa, Dezembro 18,1991.
• Miguel Dionı́sio, Matemática Aplicada, Instituto Superior Técnico, Universidade Técnica de Lisboa, Dezembro 4, 1991 (orientador).
• Filipe Santos, Matemática Aplicada, Instituto Superior Técnico, Universidade
Técnica de Lisboa, Novembro 18, 1991.
33
• Pedro Resende, Matemática Aplicada, Instituto Superior Técnico, Universidade Técnica de Lisboa, Novembro 13, 1991 (orientador).
• José Félix Costa, Matemática Aplicada, Instituto Superior Técnico, Universidade Técnica de Lisboa, Março 8, 1990 (orientador).
• José Afonso Sousa, Engenharia Electrotécnica e de Computadores, Instituto
Superior Técnico, Universidade Técnica de Lisboa, Junho 14, 1988.
• Alvaro Athayde, Matemática e Ciências da Computação, Universidade de
Coimbra, Julho 24, 1987 (orientador e arguente).
• Jorge Coelho, Matemática e Ciências da Computação, Universidade de Coimbra, Julho 2, 1987 (orientador e arguente).
• Alfredo Carvalho, Engenharia Electrotécnica e de Computadores, Instituto
Superior Técnico, Universidade Técnica de Lisboa, Maio 8, 1987 (orientador
e arguente).
• Vı́tor Garcia, Engenharia Electrotécnica e de Computadores, Instituto Superior Técnico, Universidade Técnica de Lisboa, Março 11, 1987 (orientador e
arguente).
• A. Girão Antunes, Engenharia Electrotécnica e de Computadores, Instituto
Superior Técnico, Universidade Técnica de Lisboa, Março 4, 1987 (orientador
e arguente).
• José Timóteo, Informática, Universidade do Minho, Dezembro 29, 1986 (primeiro arguente).
• L. Paupério da Silva, Informática, Universidade do Minho, Março 25, 1986
• J. Correia, Engenharia Electrotécnica, Universidade de Coimbra, Dezembro
18, 1985 (primeiro arguente).
• Manuela Veloso, Engenharia Electrotécnica e de Computadores, Instituto Superior Técnico, Universidade Técnica de Lisboa, Julho 20, 1984 (Primeiro
arguente).
• Rogério Carapuça, Engenharia Electrotécnica e de Computadores, Instituto
Superior Técnico, Universidade Técnica de Lisboa, Julho 20, 1984 (primeiro
arguente).
3.7
Provas de APCC
• Luı́s Barbosa, Informática, Universidade do Minho, Setembro 8-9, 1992 (primeiro arguente).
• José Fiadeiro, Matemática, Instituto Superior Técnico, Dezembro 15-16, 1987
(orientador e arguente).
• Maria dos Remédios Cravo, Informática, Instituto Superior Técnico, Fevereiro
24-25, 1987 (primeiro arguente).
• João Carvalho, Informática, Universidade do Minho, Dezembro 29-30, 1986
34
• Isabel Ramos, Matemática Aplicada, Faculdade de Ciências de Lisboa, Outubro, 1986 (orientador e arguente).
• Luı́s Gouveia, Matemática Aplicada, Faculdade de Ciências de Lisboa, Fevereiro 12, 1985 (orientador e arguente).
• Pedro Henriques, Informática, Universidade do Minho, Julho 6, 1984 (primeiro
arguente).
• Graça Gaspar, Matemática Aplicada, Faculdade de Ciências de Lisboa, Janeiro 26, 1984 (orientador e arguente).
• José Martins, Informática, Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa, Março, 1982 (primeiro arguente).
3.8
Equiparações a mestrado
• José Barros, Informática, Universidade do Minho, Julho, 1993.
• Alexandra Barros, Informática, Universidade do Minho, Julho, 1993.
3.9
Provimentos definitivos (Relator)
• Daniel Graça, Matemática, Universidade do Algarve, Maio, 2012.
• Yasser Omar, Matemática, Instituto Superior de Economia e Gestão, Universidade Técnica de Lisboa, Abril, 2010.
• Manuel Martins, Matemática, Universidade de Aveiro, Junho, 2009.
• Manuel Bernardo Barbosa, Universidade do Minho, Novembro, 2008.
• Luı́s Antunes, Ciência de Computadores, Universidade do Porto, Fevereiro,
2007.
• José Carlos Espı́rito Santo, Matemática, Universidade do Minho, Janeiro,
2007.
• Manuel Campagnolo, Matemática, Instituto Superior de Agronomia, Universidade Técnica de Lisboa, Novembro, 2006.
• António Marques Fernandes, Matemática, Instituto Superior Técnico, Universidade Técnica de Lisboa, Abril, 2006.
• Jorge Sousa Pinto, Informática, Universidade do Minho, Março, 2006.
de Lisboa, Outubro, 2005.
• Carlos Caleiro, Matemática, Instituto Superior Técnico, Universidade Técnica
de Lisboa, Setembro, 2005.
• António Ravara, Matemática, Instituto Superior Técnico, Universidade Técnica
• Jaime Ramos, Matemática, Instituto Superior Técnico, Universidade Técnica
de Lisboa, Fevereiro, 2005.
35
• Luı́s Caires, Engenharia Informática, Faculdade de Ciências e Tecnologia, Universidade Nova de Lisboa, Fevereiro, 2005.
• Paula Gouveia, Matemática, Instituto Superior Técnico, Universidade Técnica
de Lisboa, Março, 2003.
• António Florido, Ciência de Computadores, Faculdade de Ciências, Universidade do Porto, Janeiro, 2003.
• Pedro Resende, Matemática, Instituto Superior Técnico, Universidade Técnica
• Miguel Dionı́sio, Matemática, Instituto Superior Técnico, Universidade Técnica
• Rui Crespo, Engenharia Electrotécnica e de Computadores, Instituto Superior
Técnico, Universidade Técnica de Lisboa, Setembro, 1998.
de Lisboa, Março, 1997.
• José Nuno Oliveira, Ciências da Computação, Universidade do Minho, Junho,
1994.
• João Pavão Martins, Engenharia Mecânica, Instituto Superior Técnico, Universidade Técnica de Lisboa, Junho, 1992.
• João Amaral, Matemática, Instituto Superior Técnico, Universidade Técnica
Capı́tulo 4
Gestão universitária
• Membro do Senado e da sua Comissão Permanente para os Assuntos Cientı́ficos da Universidade de Lisboa, desde Maio de 2013.
• Membro do Conselho Cientı́fico do IST, desde Julho de 2009.
• Coordenador da Área (Secção / Unidade de Ensino) de Lógica e Computação,
Departamento de Matemática, IST, desde Janeiro de 2009.
• Coordenador do programa de doutoramento em Segurança de Informação,
IST, 2007-2010.
• Coordenador do curso de mestrado em Matemática e Aplicações, IST, 2009.
• Membro da Assembleia da Assembleia Estatutária da UTL, 2008.
• Membro do Grupo de Reflexão e Acompanhamento nomeado pelo Reitor da
UTL para aconselhamento sobre a implantação do novo regime jurı́dico das
instituições de ensino superior (RJIES), 2007.
• Membro do Grupo de Reflexão e Acompanhamento nomeado pelo Presidente
do IST para aconselhamento sobre a implantação do novo regime jurı́dico das
instituições de ensino superior (RJIES), 2007.
• Coordenador da Comissão Permanente de Acompanhamento do Funcionamento do IST da Assembleia de Representantes do IST, 2007.
• Membro da Assembleia de Representantes do IST, 2007.
• Membro da Assembleia de Representantes do IST, 2005-2006.
• Coordenador do curso de licenciatura em Ciências Informáticas, IST, 20032004.
• Coordenador da área de Teoria da Computação do curso de Licenciatura em
Engenharia Informática e de Computadores, IST, 2003-2004.
• Membro da Comissão Interdepartamental do curso de Licenciatura em Engenharia Biomédica, IST, 2001-2004.
• Coordenador da subárea de Lógica e Teoria da Computação do Programa de
Doutoramento em Matemática, 2000-2004.
• Membro do Senado da UTL, 1997-2007.
36
CAPÍTULO 4. GESTÃO UNIVERSITÁRIA
37
• Coordenador da especialização em Ciência da Computação do curso de Licenciatura em Matemática Aplicada e Computação, IST, 1988-2004.
• Coordenador da Secção de Lógica e Computação (inicialmente Secção de
Ciência da Computação), Departamento de Matemática, IST, 1988-2004.
• Membro coordenador da Comissão de Revisão dos Estatutos da Assembleia
de Representantes do IST, 1999-2002.
• Membro da Assembleia de Representantes do IST, 1994-2002.
• Coordenador do Programa de Doutoramento em Matemática, 2000.
• Membro da Comissão Coordenadora do Conselho Cientı́fico do IST, 19992000.
• Coordenador da área de Teoria da Computação do curso de Licenciatura em
Engenharia Informática e de Computadores, IST, 1998-2000.
• Coordenador do ramo de Programação e Sistemas de Informação do curso de
Licenciatura em Engenharia Informática e de Computadores, IST, 1989-1998.
• Membro da Comissão Coordenadora do Conselho Cientı́fico do IST, 19931995.
• Coordenador do curso de licenciatura em Matemática Aplicada e Computação,
IST, 1990-1992.
• Vice-Presidente do Conselho Cientı́fico, IST, 1987.
• Membro da comissão encarregada da selecção de equipamento informático
para os laboratórios departamentais, IST, 1987-1988.
• Membro da Comissão Executiva, Departamento de Informática e Ciências da
Computação, FCUL, 1985.
• Professor Responsável, Centro de Cálculo, FCUL, 1984-1985.
• Presidente da comissão encarregada de gerir o Centro de Cálculo, FCUL,
1982-1983.
• Membro da comissão encarregada da selecção de equipamento informático,
FCUL, 1980-1982.
Capı́tulo 5
Apêndice: Descendentes
cientı́ficos
Amı́lcar Sernadas, University of London, 1980
(supervised by Sam Waters):
Logical Procedure Definition for Information Systems Specification.
1. José Carmo, Universidade Técnica de Lisboa, 1988:
Lógicas Temporais para a Especificação e Verificação de Sistemas de Informação.
(a) Renwei Li, 1993.
(b) Filipe Santos, 1998.
(c) Olga Pacheco, 2002.
2. Rogério Carapuça, Universidade Técnica de Lisboa, 1988:
Representação em Bases de Dados de Bases de Conhecimento.
3. José Luiz Fiadeiro, Universidade Técnica de Lisboa, 1989:
Cálculo de Objectos e Eventos.
(a) Isabel Nunes, 1998.
(b) Antónia Lopes, 1999.
i. André Leal Santos, 2009.
ii. Liliana Rosa, 2012.
(c) Pedro Ramos, 1999.
(d) Michel Wermelinger, 1999.
i. Angela Rodriguez, 2009.
ii. Leonel Montrieux, 2013.
(e) Ahmed M. Al-Ghamdi, 2008.
(f) João Abril de Abreu, 2009.
(g) Osama El-Hassam, 2009.
(h) Georgios Koutsoukos, 2011.
(i) Ionut Tutu, 2015.
38
CAPÍTULO 5. APÊNDICE: DESCENDENTES CIENTÍFICOS
39
4. José Félix Costa, Universidade Técnica de Lisboa, 1992:
Fundamentos Matemáticos da Concorrência.
(a) Manuel Campagnolo, 2001.
i. Daniel Graça, 2007.
A. Amaury Pouly, 2015
(b) João Pedro Neto, 2002.
(c) Hélia Guerra, 2004.
(d) Luı́s Miguel Gomes, 2007.
5. Diana Santos, Universidade Técnica de Lisboa, 1996
(co-supervised by Lauri Carlson, Helsingin Yliopisto):
Tense and Aspect in English and Portuguese – A Contrastive Semantical
Study.
(a) Rachel Virgı́nia Xavier Aires, 2005.
(b) Marcirio Silveira Chaves, 2009.
6. Paulo Fernando Blauth Menezes, Universidade Técnica de Lisboa, 1997:
Reificação de Objectos Concorrentes.
(a) Carlos Antônio Pereira Campani, 2005.
7. Pedro Resende, Universidade Técnica de Lisboa, 1998:
Tropological Systems and Observational Logic in Concurrency and Specification.
(a) Misha Protin, 2008.
8. Sofia Guerra, Universidade Técnica de Lisboa, 1999
(co-supervised by Mark Ryan, U Birmingham):
Defaults in the Specification of Reactive Systems.
9. Jaime Ramos, Universidade Técnica de Lisboa, 2000:
The Situation and State Calculus – Specification and Verification.
10. António Ravara, Universidade Técnica de Lisboa, 2000
(co-supervised by Vasco Vasconcelos, U Lisboa):
Typing Non-Uniform Concurrent Objects.
(a) Maxime Gamboni, 2010. (*)
11. Carlos Caleiro, Universidade Técnica de Lisboa, 2000:
Combining Logics.
(a) João Marcos, 2005.
(b) Ricardo Gonçalves, 2008.
(c) Maxime Gamboni, 2010. (*)
(d) Bruno Conchinha, 2014.
12. Paulo Mateus, Universidade Técnica de Lisboa, 2001
(co-supervised by Cristina Sernadas):
Interconnection of Probabilistic Systems.
(a) Pedro Adão, 2006.
(b) Pedro Baltazar, 2010.
Bibliografia
[1] L. Andrade and A. Sernadas. Banking and management information system
automation. In J. Gertler, J. Cruz, and M. Peshkin, editors, Proc. 13th World
Congress of International Federation of Automatic Control, pages 133–138.
IFAC, 1996.
[2] P. Baltazar, R. Chadha, P. Mateus, and A. Sernadas. Towards model-checking
quantum security protocols. In P. Dini et al, editor, Proceedings of the First
Workshop on Quantum Security: QSec’07, page 0014. IEEE Press, 2007. Joint
e-proceedings with Quantum, Nano, and Micro Technologies: ICQNM ’07. 6
pages.
[3] K. Böhm and A. Sernadas. Real-time object specification logic. In A. Olivé,
editor, The Deductive Approach to Information Systems and Databases 93,
pages 159–174. Universitat Politècnica de Catalunya, 1993.
[4] K. Böhm and A. Sernadas. A logic to specify real-time object behaviour. In
A. Verbraeck, H. Sol, and P. Bots, editors, Proceedings of the Fourth International Working Conference on Dynamic Modelling and Information Systems,
pages 53–69. Delft University Press, 1994.
[5] C. Caleiro, W. A. Carnielli, M. E. Coniglio, A. Sernadas, and C. Sernadas.
Fibring non-truth-functional logics: Completeness preservation. Journal of
Logic, Language and Information, 12(2):183–211, 2003.
[6] C. Caleiro, P. Mateus, J. Ramos, and A. Sernadas. Combining logics: Parchments revisited. In M. Cerioli and G. Reggio, editors, Recent Trends in
Algebraic Development Techniques - Selected Papers, volume 2267 of Lecture
Notes in Computer Science, pages 48–70. Springer-Verlag, 2001.
[7] C. Caleiro, P. Mateus, A. Sernadas, and C. Sernadas. Quantum institutions.
In K. Futatsugi, J.-P. Jouannaud, and J. Meseguer, editors, Algebra, Meaning,
and Computation – Essays Dedicated to Joseph A. Goguen on the Occasion of
His 65th Birthday, volume 4060 of Lecture Notes in Computer Science, pages
50–64. Springer-Verlag, 2006.
[8] C. Caleiro, G. Saake, and A. Sernadas. Deriving liveness goals from temporal
logic specifications. Journal of Symbolic Computation, 22:521–553, 1996.
[9] C. Caleiro and A. Sernadas. Fibring logics. In J.-Y. Béziau, editor, Universal Logic: An Anthology (From Paul Hertz to Dov Gabbay), pages 389–396.
Birkhauser, 2012.
[10] C. Caleiro, A. Sernadas, and C. Sernadas. Fibring logics: Past, present and
future. In S. Artemov, H. Barringer, A. S. d’Avila Garcez, L. C. Lamb, and
J. Woods, editors, We Will Show Them: Essays in Honour of Dov Gabbay,
Volume One, pages 363–388. King’s College Publications, 2005.
40
BIBLIOGRAFIA
41
[11] C. Caleiro, C. Sernadas, and A. Sernadas. Parameterisation of logics. In J.L.
Fiadeiro, editor, Recent Developments in Algebraic Development Techniques,
Selected Papers, volume 1589 of Lecture Notes in Computer Science, pages
[12] R. Carapuça, L. Andrade, and A. Sernadas. A database design and construction workbench. In T. Olle, A. Verrijn-Stuart, and L. Bhabuta, editors,
Computerized Assistance During the Information Systems Life Cycle, pages
261–286. North-Holland, 1988.
[13] J. Carmo and A. Sernadas. A temporal logic framework for a layered approach to systems specification and verification. In C. Rolland, F. Bodart, and
M. Leonard, editors, Temporal Aspects in Information Systems, pages 31–46.
North-Holland, 1988.
[14] J. Carmo and A. Sernadas. Inevitability in branching time. In A. Meyer
and M. Taitshin, editors, Logic at Botik 89, volume 363 of Lecture Notes in
Computer Science, pages 41–62. Springer-Verlag, 1989.
[15] J. Carmo and A. Sernadas. Branching versus linear logics yet again. Formal
Aspects of Computing, 2(1):24–59, 1990.
[16] J. Carmo and A. Sernadas. Formal techniques for systems specification and
verification. Information Systems, 16(3):245–272, 1991.
[17] J. Carmo, A. Sernadas, C. Sernadas, F. M. Dionı́sio, and C. Caleiro. Introdução à Programação em Mathematica (Introduction to Programming in
Mathematica). IST Press, 1999.
[18] J. Carmo, A. Sernadas, C. Sernadas, F. M. Dionı́sio, and C. Caleiro. Introdução à Programação em Mathematica – Segunda Edição (Introduction to
Programming in Mathematica – Second Edition). IST Press, 2004.
[19] R. Chadha, L. Cruz-Filipe, P. Mateus, and A. Sernadas. Reasoning about probabilistic sequential programs. Theoretical Computer Science, 379(1-2):142–
165, 2007.
[20] R. Chadha, P. Mateus, and A. Sernadas. Reasoning about quantum imperative programs. Electronic Notes in Theoretical Computer Science, 158:19–40,
2006. Invited talk at the Twenty-second Conference on the Mathematical
Foundations of Programming Semantics, May 24-27, 2006, Genova.
[21] R. Chadha, P. Mateus, and A. Sernadas. Reasoning about states of probabilistic sequential programs. In Z. Ésik, editor, Computer Science Logic 2006
(CSL06), volume 4207 of Lecture Notes in Computer Science, pages 240–255.
Springer-Verlag, 2006.
[22] R. Chadha, P. Mateus, A. Sernadas, and C. Sernadas. Extending classical
logic for reasoning about quantum systems. In D. Gabbay K. Engesser and
D. Lehmann, editors, Handbook of Quantum Logic and Quantum Structures:
Quantum Logic, pages 325–372. Elsevier, 2009.
[23] H. Coelho, A. Rodrigues, and A. Sernadas. Towards knowledge-based infolog
specifications. Decision Support Systems, 1(2):143–165, 1985.
[24] M. Coniglio, A. Sernadas, and C. Sernadas. Preservation by fibring of the finite
model property. Journal of Logic and Computation, 21(2):375–402, 2011.
BIBLIOGRAFIA
42
[25] M. E. Coniglio, A. Sernadas, and C. Sernadas. Fibring logics with topos
semantics. Journal of Logic and Computation, 13(4):595–624, 2003.
[26] J. F. Costa and A. Sernadas. Cálculo de actividades e transacções (Calculus
of activities and transactions). Estudos de Economia, 13(3):293–317, 1993. In
Portuguese. Menção Honrosa do Prémio Cientı́fico IBM 1992.
[27] J. F. Costa and A. Sernadas. A categorial framework of process interconnection. The INESC Journal of Research and Development, 4(1):81–93, 1993.
[28] J. F. Costa and A. Sernadas. Progress assumption in concurrent systems.
Formal Aspects of Computing, 7(1):18–36, 1995.
[29] J. F. Costa, A. Sernadas, and C. Sernadas. Data encapsulation and modularity: Three views of inheritance. In A. Borzyszkowski and S. Sokolowski,
editors, Mathematical Foundations of Computer Science 93, volume 711 of
Lecture Notes in Computer Science, pages 382–391. Springer-Verlag, 1993.
[30] J. F. Costa, A. Sernadas, and C. Sernadas. Object inheritance beyond subtyping. Acta Informatica, 31:5–26, 1994.
[31] J. F. Costa, A. Sernadas, C. Sernadas, and H.-D. Ehrich. Object interaction.
In I. Havel and V. Koubek, editors, Mathematical Foundations of Computer
Science 92, volume 629 of Lecture Notes in Computer Science, pages 200–208.
[32] L. Cruz-Filipe, J. Rasga, A. Sernadas, and C. Sernadas. A complete axiomatization of discrete-measure almost-everywhere quantification. Journal of
Logic and Computation, 18(6):885–911, 2008.
[33] L. Cruz-Filipe, A. Sernadas, and C. Sernadas. Heterogeneous fibring of deductive systems via abstract proof systems. Logic Journal of the IGPL, 16:121–
153, 2008.
[34] G. Denker, J. Ramos, C. Caleiro, and A. Sernadas. A linear temporal logic approach to objects with transactions. In M. Johnson, editor, Algebraic
Methodology and Software Technology, volume 1349 of Lecture Notes in Computer Science, pages 170–184. Springer-Verlag, 1997.
[35] C. A. Bana e Costa, P. A. F. Martins, M. D. Oliveira, A. Sernadas, and
C. A. Mota Soares. Faculty evaluation using multicriteria value measurement.
In L. Rogozea, editor, 12th WSEAS International Conference on Mathematical and Computational Methods in Science and Engineering, pages 287–290.
WSEAS Press, 2010. Preliminary version appeared at APDIO Boletim.
[36] H.-D. Ehrich, C. Caleiro, A. Sernadas, and G. Denker. Logics for specifying
concurrent information systems. In J. Chomicki and G. Saake, editors, Logic
for Databases and Information Systems, pages 167–198. Kluwer Academic
Publishers, 1998.
[37] H.-D. Ehrich, G. Denker, and A. Sernadas. Constructing systems as object
communities. In M.C. Gaudel and J.-P. Jouannaud, editors, TAPSOFT 93:
Theory and Practice of Software Development, volume 668 of Lecture Notes
in Computer Science, pages 453–467. Springer-Verlag, 1993.
[38] H.-D. Ehrich, M. Gogolla, and A. Sernadas. Objects and their specification. In
M. Bidoit and C. Choppy, editors, Recent Trends in Data Type Specification:
8th Workshop on Specification of Abstract Data Types - Selected Papers, volume 655 of Lecture Notes in Computer Science, pages 40–65. Springer-Verlag,
1993.
BIBLIOGRAFIA
43
[39] H.-D. Ehrich, J. Goguen, and A. Sernadas. A categorial theory of objects
as observed processes. In J. de Bakker, W.-P de Roever, and G. Rozenberg,
editors, Foundations of Object-Oriented Languages, volume 489 of Lecture
[40] H.-D. Ehrich, R. Jungclaus, G. Denker, and A. Sernadas. Object-oriented
design of information systems: Theoretical foundations. In J. Paredaens and
L. Tenenbaum, editors, Advances in Database Systems, Implementations and
Applications, pages 201–218. Springer-Verlag, 1994.
[41] H.-D. Ehrich, G. Saake, and A. Sernadas. Concepts of object orientation.
In R. Studer, editor, Informationssysteme und Künstliche Intelligenz, pages
[42] H.-D. Ehrich and A. Sernadas. Algebraic implementation of objects over
objects. In J. de Bakker, W.-P de Roever, and G. Rozenberg, editors, Stepwise
Refinement of Distributed Systems: Models, Formalisms, Correctness, volume
430 of Lecture Notes in Computer Science, pages 239–266. Springer-Verlag,
1990.
[43] H.-D. Ehrich and A. Sernadas. Local specification of distributed families of
sequential objects. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent
Trends in Data Type Specification, volume 906 of Lecture Notes in Computer
Science, pages 219–235. Springer-Verlag, 1995.
[44] H.-D. Ehrich, A. Sernadas, and C. Sernadas. Abstract object types for databases. In K. Dittrich, editor, Advances in Object-Oriented Database Systems,
pages 144–149. Springer-Verlag, 1988.
[45] H.-D. Ehrich, A. Sernadas, and C. Sernadas. Objects, object types and object
identity. In H. Ehrig et al, editor, Categorical Methods in Computer Science
with Aspects from Topology, volume 393 of Lecture Notes in Computer Science,
[46] H.-D. Ehrich, A. Sernadas, and C. Sernadas. From data types to object types.
Journal of Information Processing and Cybernetics EIK, 26(1):33–48, 1990.
[47] J. Fiadeiro, J. F. Costa, A. Sernadas, and T. Maibaum. Process semantics
of temporal logic specification. In M. Bidoit and C. Choppy, editors, Recent
Trends in Data Type Specification: 8th Workshop on Specification of Abstract Data Types - Selected Papers, volume 655 of Lecture Notes in Computer
[48] J. Fiadeiro and A. Sernadas. The infolog linear tense logic of events and
transactions. Information Systems, 11(1):61–85, 1986.
[49] J. Fiadeiro and A. Sernadas. Behavioural aspects of intelligent knowledgebased information systems. In C. Rolland, F. Bodart, and M. Leonard, editors,
Temporal Aspects in Information Systems, pages 77–92. North-Holland, 1988.
[50] J. Fiadeiro and A. Sernadas. Specification and verification of database dynamics. Acta Informatica, 25:625–661, 1988.
[51] J. Fiadeiro and A. Sernadas. Structuring theories on consequence. In D. Sannella and A. Tarlecki, editors, Recent Trends in Data Type Specification: 5th
Workshop on Specification of Abstract Data Types - Selected Papers, volume
332 of Lecture Notes in Computer Science, pages 44–72. Springer-Verlag, 1988.
BIBLIOGRAFIA
44
[52] J. Fiadeiro and A. Sernadas. Logics of modal terms for systems specification.
Journal of Logic and Computation, 1(2):187–227, 1990.
[53] J. Fiadeiro and A. Sernadas. Structuring theories for knowledge representation. In J. Falcão e Cunha, editor, Terceira Escola Avançada em Inteligência
Artificial, pages 21–25. APPIA, 1992.
[54] J. Fiadeiro, A. Sernadas, and C. Sernadas. Knowledgebases as structured theories. In K. Nori and S. Kumar, editors, Foundations of Software Technology
and Theoretical Computer Science, volume 338 of Lecture Notes in Computer
[55] J. Fiadeiro, C. Sernadas, T. Maibaum, and A. Sernadas. Describing and
structuring objects for conceptual schema development. In P. Loucopoulos and
R. Zicari, editors, Conceptual Modelling, Databases and CASE: An Integrated
View of Information Systems Development, pages 117–138. John Wiley, 1992.
[56] R. Li and A. Sernadas. Reasoning about objects using tableau method. Journal of Logic and Computation, 1(5):575–611, 1991.
[57] G. Lohman, A. Sernadas, and R. Camps, editors. Proceedings of the Seventeenth International Conference on Very Large Data Bases. VLDB, 1991.
[58] H. Lourenço and A. Sernadas. An institution of hybrid systems. In Didier Bert and Christine Choppy, editors, Recent Developments in Algebraic
Development Techniques - Selected Papers, volume 1827 of Lecture Notes in
[59] P. Mateus, M. Cabral Morais, C. Nunes, A. Pacheco, A. Sernadas, and C. Sernadas. Categorical foundations for randomly timed automata. Theoretical
Computer Science, 308:393–427, 2003.
[60] P. Mateus, A. Pacheco, J. Pinto, A. Sernadas, and C. Sernadas. Probabilistic situation calculus. Annals of Mathematics and Artificial Intelligence,
32(1/4):393–431, 2001.
[61] P. Mateus, J. Ramos, A. Sernadas, and C. Sernadas. Temporal logics for
reasoning about quantum systems. In I. Mackie and S. Gay, editors, Semantic
Techniques in Quantum Computation, pages 389–413. Cambridge University
Press, 2010.
[62] P. Mateus and A. Sernadas. Exogenous quantum logic. Research report, CLC,
Department of Mathematics, Instituto Superior Técnico, 1049-001 Lisboa,
Portugal, 2004. Extended abstract. Presented at Workshop on Combination
of Logics: Theory and Applications, July 28-30, 2004, Lisbon, Portugal.
[63] P. Mateus and A. Sernadas. Reasoning about quantum systems. In J. Alferes
and J. Leite, editors, Logics in Artificial Intelligence, Ninth European Conference, JELIA’04, volume 3229 of Lecture Notes in Artificial Intelligence,
[64] P. Mateus and A. Sernadas. Complete exogenous quantum propositional logic. Technical report, CLC, Department of Mathematics, Instituto Superior
Técnico, 1049-001 Lisboa, Portugal, 2005. Extended abstract. Short presentation at LICS 2005, Chicago, USA, June 26-29.
[65] P. Mateus and A. Sernadas. Weakly complete axiomatization of exogenous
quantum propositional logic. Information and Computation, 204(5):771–794,
2006. ArXiv math.LO/0503453.
BIBLIOGRAFIA
45
[66] P. Mateus, A. Sernadas, and C. Sernadas. Precategories for combining probabilistic automata. Electronic Notes in Theoretical Computer Science, 29,
1999. Early version presented at FIREworks Meeting, Magdeburg, May 15-16,
1998. Presented at CTCS’99, Edinburgh, September 10-12, 1999.
[67] P. Mateus, A. Sernadas, and C. Sernadas. Realization of probabilistic automata: Categorical approach. In Didier Bert and Christine Choppy, editors,
Recent Developments in Algebraic Development Techniques - Selected Papers,
volume 1827 of Lecture Notes in Computer Science, pages 237–251. SpringerVerlag, 2000.
[68] P. Mateus, A. Sernadas, and C. Sernadas. Exogenous semantics approach to
enriching logics. In G. Sica, editor, Essays on the Foundations of Mathematics
and Logic, volume 1 of Advanced Studies in Mathematics and Logic, pages
165–194. Polimetrica, 2005.
[69] P. Mateus, A. Sernadas, C. Sernadas, and L. Viganò. Modal sequent calculi labelled with truth values: Completeness, duality and analyticity. Logic
Journal of the IGPL, 12(3):227–274, 2004.
[70] P. Mateus, A. Sernadas, and A. Souto. Universality of quantum Turing machines with deterministic control. Journal of Logic and Computation, in print.
[71] R. Meersman and A. Sernadas, editors. Data and Knowledge. North-Holland,
1988.
[72] P. B. Menezes, J. F. Costa, and A. Sernadas. Refinement mapping for (discrete
event) system theory. In F. Pichler, R. Moreno Diaz, and R. Albrecht, editors,
Computer Aided System Technology, EUROCAST’95, volume 1030 of Lecture
[73] P. B. Menezes, A. Sernadas, and J. F. Costa. Refinement in a concurrent
object-base language. In R. Bigonha, editor, Proceedings of the First Brazilian
Symposium on Programming Languages, pages 237–250. Sociedade Brazileira
de Computação, 1996.
[74] P. B. Menezes, A. Sernadas, and J. F. Costa. Nonsequential automata semantics for a concurrent object-based language. Electronic Notes in Theoretical
Computer Science, 14, 1998.
[75] J. Pinto, A. Sernadas, C. Sernadas, and P. Mateus. Non-determinism and
uncertainty in the situation calculus. In A. Kumar and I. Russell, editors,
Proceedings of the FLAIRS’99 - the 12th International Florida AI Research
Symposium, pages 454–460. AAAI Press, 1999. Short version of [76].
[76] J. Pinto, A. Sernadas, C. Sernadas, and P. Mateus. Non-determinism and
uncertainty in the Situation Calculus. International Journal of Uncertainty,
Fuzziness and Knowledge-Based Systems, 8(2):127–149, 2000. Full version of
[75].
[77] D. Qiu, L. Li, P. Mateus, and A. Sernadas. Exponentially more concise quantum recognition of non-RMM regular languages. Journal of Computer and
System Sciences, 81(2):359–375, 2015.
[78] J. Ramos and A. Sernadas. The situation and state calculus versus branching
temporal logic. In J.L. Fiadeiro, editor, Recent Developments in Algebraic
Development Techniques, Selected Papers, volume 1589 of Lecture Notes in
BIBLIOGRAFIA
46
[79] J. Rasga, A. Sernadas, and C. Sernadas. Importing logics. Studia Logica,
100(3):545–581, 2012.
[80] J. Rasga, A. Sernadas, and C. Sernadas. Importing logics: Soundness and
completeness preservation. Studia Logica, 101(1):117–155, 2013.
[81] J. Rasga, A. Sernadas, and C. Sernadas. Fibring as biporting subsumes asymmetric combinations. Studia Logica, 102(5):1041–1071, 2014.
[82] J. Rasga, A. Sernadas, C. Sernadas, and L. Viganò. Fibring labelled deduction
systems. Journal of Logic and Computation, 12(3):443–473, 2002.
[83] J. Rasga, A. Sernadas, C. Sernadas, and L. Viganò. Labelled deduction over
algebras of truth values. In A. Armando, editor, Frontiers of Combining
Systems 4, volume 2309 of Lecture Notes in Artificial Intelligence, pages 222–
238. Springer-Verlag, 2002.
[84] J. Rasga, C. Sernadas, and A. Sernadas. Craig interpolation in the presence
of unreliable connectives. Logica Universalis, 8(3-4):423–446, 2014.
[85] J. Rasga, C. Sernadas, and A. Sernadas. Preservation of admissible rules when
combining logics. Preprint, SQIG - IT and IST - U Lisboa, 1049-001 Lisboa,
Portugal, 2015. Submitted for publication.
[86] J. Rasga, C. Sernadas, and A. Sernadas. A roadmap to decidability. In
A. Koslow and A. Buchsbaum, editors, The Road to Universal Logic, Studies
in Universal Logic, pages 423–445. Birkhäuser Basel, Springer, 2015.
[87] G. Reichwein, A. Sernadas, and J. Fiadeiro. Ensuring and maintaining quality
through formal object-oriented design. In A. Bertolino and M. Fusani, editors,
Software Quality Principles and Techniques, pages 55–67. ERCIM, 1992.
[88] M. Ryan, A. Sernadas, and C. Sernadas. Adjunctions between default frameworks. In R. Wieringa and R. Feenstra, editors, IS-CORE’94 - Selected
papers, pages 155–172. World Scientific Publishers, 1995.
[89] G. Saake and A. Sernadas, editors. Esprit BRA IS-CORE 91 Workshop Selected Papers. TUBS, 1991.
[90] G. Saake, A. Sernadas, and C. Sernadas. Evolving object specifications. In
R. Wieringa and R. Feenstra, editors, IS-CORE’94 - Selected papers, pages
84–99. World Scientific Publishers, 1995.
[91] P.-Y. Schobbens, G. Saake, A. Sernadas, and C. Sernadas. U2: A two-level
temporal logic for evolving specifications. Information Processing Letters,
83(3):167–172, 2002.
[92] A. Sernadas. Temporal aspects of logical procedure definition. Information
Systems, 5(3):167–197, 1980.
[93] A. Sernadas. Systematics: its syntax and semantics as a query language I.
Computer Journal, 24(1):56–61, 1981.
[94] A. Sernadas. Systematics: its syntax and semantics as a query language II.
Computer Journal, 24(2):125–129, 1981.
[95] A. Sernadas. Information systems specification with Infolog. In J. Hawgood, editor, Evolutionary Information Systems, pages 141–157. North Holland, 1982.
BIBLIOGRAFIA
47
[96] A. Sernadas. Book Review – Fibring Logics by Dov M. Gabbay. Journal of
Logic, Language, and Information, 9(4):511–513, 2000.
[97] A. Sernadas. Extending classical logic for reasoning about quantum systems
(extended abstract). The Bulletin of Symbolic Logic, 20(2):211–213, 2014.
[98] A. Sernadas, J. Bubenko, and A. Olivè, editors. Theoretical and Formal
Aspects of Information Systems. North-Holland, 1985.
[99] A. Sernadas, J. F. Costa, and C. Sernadas. An institution of object behaviour.
In H. Ehrig and F. Orejas, editors, Recent Trends in Data Type Specification,
volume 785 of Lecture Notes in Computer Science, pages 337–350. SpringerVerlag, 1994.
[100] A. Sernadas and H.-D. Ehrich. What is an object, after all? In R. Meersman,
W. Kent, and S. Khosla, editors, Object Oriented Databases: Analysis, Design
and Construction, pages 39–69. North-Holland, 1991.
[101] A. Sernadas, H.-D. Ehrich, and J. F. Costa. From processes to objects. The
INESC Journal of Research and Development, 1(1):7–27, 1990.
[102] A. Sernadas, J. Fiadeiro, C. Sernadas, and H.-D. Ehrich. Abstract object
types: A temporal perspective. In B. Banieqbal, H. Barringer, and A. Pnueli, editors, Temporal Logic in Specification, volume 398 of Lecture Notes in
[103] A. Sernadas, J. Fiadeiro, C. Sernadas, and H.-D. Ehrich. The basic building
blocks of information systems. In E. Falkenberg and P. Lindgreen, editors,
Information Systems Concepts: An In-Depth Analysis, pages 225–246. NorthHolland, 1989.
[104] A. Sernadas, G. Gaspar, and J. Granado. Bips: a layered predicative query
language for a DBTG database system. In P. Scheuermann, editor, Improving
Database Usability and Responsiveness, pages 73–93. Academic Press, 1982.
[105] A. Sernadas, P. Mateus, and Y. Omar. Quantum computation and information. In M. S. Pereira, editor, A Portrait of State-of-the-Art Research at the
Technical University of Lisbon, pages 46–65. Springer-Verlag, 2007.
[106] A. Sernadas, J. Ramos, and P. Mateus. Linear algebra techniques for deciding
the correctness of probabilistic programs with bounded resources. Technical
report, SQIG - IT and IST - TU Lisbon, 1049-001 Lisboa, Portugal, 2008.
Short paper presented at LPAR 2008, Doha, Qatar. November 22-27.
[107] A. Sernadas, J. Rasga, and C. Sernadas. On probability and logic. Preprint,
SQIG - IT and IST - U Lisboa, 1049-001 Lisboa, Portugal, 2015. Submitted
for publication.
[108] A. Sernadas, J. Rasga, C. Sernadas, and P. Mateus. Approximate reasoning
about logic circuits with single-fan-out unreliable gates. Journal of Logic and
Computation, 24(5):1023–1069, 2014.
[109] A. Sernadas, J. Rasga, C. Sernadas, and P. Mateus. Reasoning about logic
circuits with independent input errors. South American Journal of Logic,
1(1):135–162, 2015.
[110] A. Sernadas and C. Sernadas. Capturing knowledge about the organization
dynamics. In L. Methlie and R. Sprague, editors, Knowledge Representation
for Decision Support Systems, pages 255–267. North Holland, 1985.
BIBLIOGRAFIA
48
[111] A. Sernadas and C. Sernadas. Conceptual modeling for knowledge-based DSS
development. In C. Holsapple and A. Winston, editors, Decision Support
Systems: Theory and Application, pages 91–135. Springer Verlag, 1985.
[112] A. Sernadas and C. Sernadas. The use of ER abstractions for knowledge
representation. In P. Chen, editor, Entity-relationship Approach, pages 224–
231. IEEE CS Press/North Holland, 1985.
[113] A. Sernadas and C. Sernadas. Abstraction and inference mechanisms for
knowledge representation. In J. Schmidt and C. Thanos, editors, Foundations
of Knowledge-Base Management, pages 91–111. Springer-Verlag, 1989.
[114] A. Sernadas and C. Sernadas. Combining logic systems: Why, how, what for?
CIM Bulletin, 15:9–14, December 2003.
[115] A. Sernadas and C. Sernadas. Foundations of Logic and Theory of Computation. College Publications, London, 2008.
[116] A. Sernadas and C. Sernadas. Foundations of Logic and Theory of Computation - Second Edition. College Publications, London, 2012. ISBN 978-1904987-88-8.
[117] A. Sernadas and C. Sernadas. Fundamentos de Lógica e Teoria da Computação - Segunda Edição. College Publications, London, 2012. ISBN 978-184890-081-3.
[118] A. Sernadas, C. Sernadas, and C. Caleiro. Synchronization of logics. Studia
Logica, 59(2):217–247, 1997.
[119] A. Sernadas, C. Sernadas, and C. Caleiro. Synchronization of logics with
mixed rules: Completeness preservation. In M. Johnson, editor, Algebraic
Methodology and Software Technology, volume 1349 of Lecture Notes in Computer Science, pages 465–478. Springer-Verlag, 1997.
[120] A. Sernadas, C. Sernadas, and C. Caleiro. Denotational semantics of object
specification. Acta Informatica, 35:729–773, 1998.
[121] A. Sernadas, C. Sernadas, and C. Caleiro. Fibring of logics as a categorial
construction. Journal of Logic and Computation, 9(2):149–179, 1999.
[122] A. Sernadas, C. Sernadas, C. Caleiro, and T. Mossakowski. Categorial fibring
of logics with terms and binding operators. In D. Gabbay and M. de Rijke,
editors, Frontiers of Combining Systems 2, pages 295–316. Research Studies
Press, 2000.
[123] A. Sernadas, C. Sernadas, and J. F. Costa. Object specification logic. Journal
of Logic and Computation, 5(5):603–630, 1995.
[124] A. Sernadas, C. Sernadas, and H.-D. Ehrich. Object-oriented specification of
databases: an algebraic approach. In P. Hammersley, editor, Very Large Data
Bases 87, pages 107–116. Morgan and Kaufmann, 1987.
[125] A. Sernadas, C. Sernadas, and J. Ramos. A temporal logic approach to object
certification. Data and Knowledge Engineering, 19:267–294, 1996.
[126] A. Sernadas, C. Sernadas, and J. Rasga. On combined connectives. Logica
Universalis, 5(2):205–224, 2011.
[127] A. Sernadas, C. Sernadas, and J. Rasga. On meet-combination of logics.
Journal of Logic and Computation, 22(6):1453–1470, 2012.
BIBLIOGRAFIA
49
[128] A. Sernadas, C. Sernadas, J. Rasga, and M. Coniglio. A graph-theoretic
account of logics. Journal of Logic and Computation, 19:1281–1320, 2009.
[129] A. Sernadas, C. Sernadas, J. Rasga, and M. Coniglio. On graph-theoretic
fibring of logics. Journal of Logic and Computation, 19:1321–1357, 2009.
[130] A. Sernadas, C. Sernadas, J. Rasga, and P. Mateus. Non-deterministic combination of connectives. In Jean-Yves Béziau and Marcelo Coniglio, editors,
Logic without Frontiers: Festschrift for Walter Alexandre Carnielli on the
Occasion of his 60th Birthday, volume 17 of Tribute Series, pages 321–338.
College Publications, London, 2011.
[131] A. Sernadas, C. Sernadas, and J. Valença. A theory-based, topological notion
of institution. In E. Astesiano, G. Reggio, and A. Tarlecki, editors, Recent
Trends in Data Type Specification, volume 906 of Lecture Notes in Computer
[132] A. Sernadas, C. Sernadas, and A. Zanardo. Fibring modal first-order logics:
Completeness preservation. Logic Journal of the IGPL, 10(4):413–451, 2002.
[133] C. Sernadas, J. Fiadeiro, R. Meersman, and A. Sernadas. Proof-theoretic conceptual modeling: The NIAM case study. In E. Falkenberg and P. Lindgreen,
editors, Information Systems Concepts: An In-Depth Analysis, pages 1–30.
[134] C. Sernadas, J. Fiadeiro, and A. Sernadas. Modular construction of logic
knowledge bases: An algebraic approach. Information Systems, 15(1):37–59,
1990.
[135] C. Sernadas, J. Fiadeiro, and A. Sernadas. Object-oriented conceptual modeling from law. In R. Meersman, Z. Shi, and C.-H. Kung, editors, The Role of
Artificial Intelligence in Databases and Information Systems, pages 305–327.
[136] C. Sernadas, P. Gouveia, J. Gouveia, A. Sernadas, and P. Resende. The
reification dimension in object-oriented data base design. In D. Harper
and M. Norrie, editors, Specification of Database Systems, pages 275–299.
[137] C. Sernadas, P. Gouveia, and A. Sernadas. Refinement: Layered definition
of conceptual schemata. In E. Falkenberg, C. Rolland, and E. N. El-Sayed,
editors, Information System Concepts, pages 19–51. North-Holland, 1992.
[138] C. Sernadas, P. Mendes, A. Hespanha, F. Santos, S. Mascarenhas, and A. Sernadas. An object-oriented representation of the dogmatics of omission to help
in criminal law. In A. Martino, editor, Computers, Logic and Law, pages
781–809. Istituto per la Documentazione Giuridica, Pisa, Italy, 1989.
[139] C. Sernadas, J. Rasga, and A. Sernadas. Preservation of Craig interpolation
by the product of matrix logics. Journal of Applied Logic, 11(3):328–349,
2013.
[140] C. Sernadas, P. Resende, P. Gouveia, and A. Sernadas. In-the-large objectoriented design of information systems. In F. Van Assche, B. Moulin, and
C. Rolland, editors, The Object-Oriented Approach in Information Systems,
pages 209–232. North-Holland, 1991.
BIBLIOGRAFIA
50
[141] C. Sernadas and A. Sernadas. Conceptual modeling abstraction mechanisms
as parameterized theories in institutions. In R. Meersman and T. Steel, editors, Database Semantics, pages 121–140. North Holland, 1986.
[142] C. Sernadas, L. Viganò, J. Rasga, and A. Sernadas. Truth-values as labels: A
general recipe for labelled deduction. Journal of Applied Non-Classical Logics,
13(3-4):277–315, 2003.
[143] J. Sousa, C. Sernadas, and A. Sernadas. An object-oriented specification tool
for graphical interfaces. Computers and Graphics, 14(1):29–40, 1990.
[144] R. Tagg and et al, editors. Query Language: A Unified Approach. Heyden
and Son Ltd, 1981. A. Sernadas is one of the coeditors.
[145] A. Zanardo, A. Sernadas, and C. Sernadas. Fibring: Completeness preservation. Journal of Symbolic Logic, 66(1):414–439, 2001.

Curriculum Vitae - SQIG at IT

Transcrição

Documentos relacionados

Baixar este arquivo PDF

Grigori Yakovlevich Perelman - PET Matemática

História MOderna_noite_Rodrigo Bentes

Associação de Classe União dos Chauffeurs Excursionistas de Lisboa

Currículo - Alantiel Freire Marins

Pré-Olimpíada - Olimpíadas Portuguesas de Matemática

FingerTec AC800 série é um leitor de impressões digitais que

Suporte TVZ

De Ms Katharine O`Brien ao Haiku F. J. Craveiro de Carvalho Esta

Regularizaç˜ao de ´Orbitas Periódicas em Sistemas Suaves Por