 |
|
|
||||||||||
|
| |||||||||||||
|
|
Present Status: Full professor of Computer Science and Artificial Intelligence (FCUL, 1995-) Elected member of the National Academy of Engineering (1999- ) President of Instituto das Ciências da Complexidade (ICC) (2004- )
Educational Background: Aggregation in Mathematics (ISEG/UTL, Lisboa, 1988) Ph. D. in Artificial Intelligence (Univ. of Edinburg, 1980) Informatics Specialist Degree (LNEC, Lisboa, 1980) Diploma of Studies in Signal Handling (PII, Eindhoven, 1969) Electronics Engineer (IST/UTL, Lisboa, 1968)
Awards: European Coordinating Committee on Artificial Intelligence Fellow (2002- )
Past Positions: Member of the Board of Portuguese Society of Engineers, CAQ Committee (2001-2004) Coordinator of LabMAG (2002-2004) Coordinator of LabMAC (1997-2002) Coordinator of C3 (Centro de Ciências da Complexidade) (1997- ) Full Professor of Computer Science (ISEG, 1990-1995) Associate Professor of Computer Science (ISEG, 1985-89) Senior Scientist (LNEC, 1985-89) Auxiliary Professor of Computer Science (FCUL, 1981-83) Junior Scientist (LNEC, 1980-84)
Work Experience as Computer Professional
Hardware design: Digital clock 2 (LFEN, Luanda, 1972) Digital clock 1 (LFEN, Sacavém, 1970) PDP-15 Computer interfaces for nuclear physics measurement equipments (LFEN, 1970) Decimal to Binary Converter (PII, 1969) Digital system to control shadow masks using a k-memory (PII, 1969)
Software design: Intersections model for the innovation processes within Tagus Park (LabMAC, 2002) FRAUD Intelligent Decision Support System (DGCI, 1996) PeSiRis, Emmergence Service for Intelligent Buildings (INESC, 1992) Tutor for Organisations (INESC, 1990) Evolving Grammars for NL Processing(LNEC, 1989) Path Planner for the Cutting of Nested Irregular Layouts (LNEC, 1989) Societies of Knowledge Based Systems (LNEC, 1988) FIRE legislation Expert System (LNEC, 1987) Prolog Tutor for Logic Programming (LNEC, 1987) Expert Systems for Smart Buildings (LNEC, 1986-89) Library Manager (LNEC, 1986) Systemic Definition of an Intelligent Building (LNEC, 1986) Temporal Inferecing on Administrative Data Bases (LNEC, 1985) Knowledge Architecture for Management Environments (LNEC, 1985) Knowledge based INFOLOG Specifications (LNEC, 1984) CALCC Portuguese question-answering system for civil engineering legislation DB (LNEC, 1981) TUGA Conversational Portuguese interface for a simple library (LNEC, 1980) Automatic Query Modules for DEC DBMS-10 (LNEC, 1976)
Video course: AI Tools Illustrated by Applications (FUNDETEC, 1993)
Management: President of Instituto das Ciências da Complexidade (ICC) (2004- ) LabMAG Coordinator (FCUL, 2002-2004) LabMAC Coordinator (FCUL, 1997-2002) Coordinator of C3 (1997- ) Head of the Computer Science Department (FCUL, 1995-97) Head of the TCI Núcleo (ISEG, 1993-95) Head of the Information Systems Sector of Centro de Informática (LNEC, 1985-89) Head of the Support Systems Sector of Centro de Informática (LNEC, 1981-84) Centro de Cibernética Coordinator (IST, 1973-74) Grupo de Estudos de Cibernética Coordinator (ULuanda, 1971-73)
R&D Management: - At LNEC TutorLNEC (JNICT/BC, 1988-89) COMPULOG Network (ESPRIT, 1988-96) Expert Systems for Building Services (SPRINT RA41, 1987-89) Sistemas Avançados para os Edifícios Inteligentes (JNICT, 1987-89) MINERVA (LNEC, ME, 1985-89) X Assistido por Computador (LNEC, PIDDAC, 1985-86) Tecnologias da Informação para os Sistemas Administrativos (LNEC, PIDDAC, 1985-89) INFOLOG (JNICT/BESCL, 1982-83) Inteligência Artificial (LNEC, PIDDAC, 1980-84) Lógica Computacional (LNEC, PIDDAC, 1977-79)
- At INESC Abordagens Multi-Estratégias para Classificação de Imagens: Aplicação a uma Zona Florestal (INESC, ESTIMULO/DGOT, 1995-96) Modelação de Agentes Intencionais (INESC, JNICT/CNPq, 1995-96) DEONTLOG (INESC, JNICT, 1993-94) Inteligência para Organizações (INESC, JNICT/CNR, 1992-93) JURAD (INESC, STRIDE, 1991-92) Sistemas Integrados de Gestão de Processos Industriais (ISEG, PITIE, 1991-92) Processamento de Língua Natural (INESC, JNICT/CNPq, 1990-94) Communicating Systems (INESC, JNICT/BC, 1990-92) Diálogos Multiagentes (INESC, JNICT, 1990-92) NORMLOG (INESC, FLAD, 1990-91)
- At DI/FCUL
AIMED (FCT/CAPES, 2005-07) The European Network of Excelence on Complexity EXYSTENCE (FCUL, FRAMEWORK 5, 2002- ) Modelação de Agentes para as Organizações (MAGO 2) (FCUL, FCT, 2002-04) Sistemas de Comando e Controle Inteligentes (SCCI) (FCUL, ICCTI/CAPES, 2000-03) Apoio à Intervenção Médica Avançada (AIMED) (FCUL, ICCTI/CAPES, 2000-04) COSI (FCUL, FRAMEWORK 5, RTN, 2000-03) DOMAS (FCUL, JNICT/CNPq, 1999-01) AgentCities (FCUL, FRAMEWORK 5, 1998-03) SARA (FCUL, JNICT, 1997-00) AGENTLINK Network (FCUL, FRAMEWORK, 1997-03) Fundações (FCUL, JNICT/CNPq, 1997-98) MODELAGE (FCUL, FRAMEWORK, 1997-98) Modelação de Agentes para as Organizações (MAGO) (FCUL, JNICT, 1995-97)
Strategy: Computer Science Department (FCUL, 1995-97) Coordinating Committee of FCUL Scientific Council (1995- ) Head of GIA (FCUL, 1995- ) Head of the TCI Núcleo (ISEG, 1993-95) ISEG Information system policy (ISEG, 1991-93) Head of GIA (INESC, 1990-95) Developing Competence in a Developing Environment (LNEC, 1989) Setup of Licenciatura MAEG (ISEG, 1989) Setup of Mathematics Departament (ISEG, 1986) LNEC Office Automation (LNEC, 1986) DSA: administrative data processing, evaluation of computer proposals (LNEC, 1985-87) Agents Line of Research (LNEC, 1985-89; INESC, 1990-95; FCUL, 1995- ) Portuguese-Brazilian Cooperation (INESC, 1987) Coordinating Committee of ISEG Scientific Council (1986-1995) The development of a Portuguese Data Processing Industry (CODETI, 1985) LNEC Word Processing Policy (LNEC, 1985) Intelligent Buildings Line of Research (LNEC, 1985-89) TISA Line of Research (LNEC, 1985-89) State of the Art of the Brazilian Informatics Policy (LNEC, 1984) Logic Programming Teaching (LNEC, 1984) Informatics Education policy for LNEC (LNEC, 1982-89) Instituto de Soldadura selection of data processing equipment (1981) DSA: administrative data processing, evaluation of computer proposals (LNEC, 1980) Logic programming Line of Research (LNEC, 1978-1984) Classification of scientific processing applications and problems (LNEC, 1976) GAIA (LNEC, 1974-1989) LNEC New Informatics policy: from batch to time-sharing scientific computing (LNEC, 1974) Portuguese Artificial Intelligence founder (LNEC, 1973) Cybernetics group and center (ULuanda and IST, 1971-73)
Leadership: ICC (2004- ) LabMAG (2002-2004) LabMAC (1997-2002) C3 (1997- ) GIA (FCUL, 1995- ) GIA (INESC, 1990-95) GAIA (LNEC, 1978-1989) CEC (IST, 1973-74) GEC (ULuanda, 1971-73)
Conference/Workshop Organization: EUMAS06, FCG, Lisbon (2006) IBERAMIA/SBIA06, RIbeirão Preto, Brazil (2006) ABS04 Workshop, C I - II, Lisbon (2005) IBERAMIA98, FCG, Lisbon (1998) EPIA86, LNEC, Lisbon (1986) KROT Workshop, IFIPWG83, LNEC, Lisbon (1983)
Business and Complexity: Master of Science on Complexity Sciences for Organisations (ISCTE and FCUL, 2003) Arrábida Workshop on Complexity (FCG, 2001- ) Seminar on Decision and Complexity (IFM, 1998- ) Centro de Ciências da Complexidade da UL (1995- )
PhD and MSc Supervision: From 17 successful students, one got a PhD in Economics (ISCTE) and another in Management (UParis-Dauphine). From 25 MSc thesis, 10 were in Mathematics Applied to Economy and Management (ISEG) and 3 in Management (ISCTE).
International referee and examiner: - PhD´s dissertations outside Portugal Michel Schilperood (Erasmus University, Netherlands 2005) Louise Seixas (UFRGS, Brazil 2005) Maria Aparecida Souto (UFRGS, Brazil 2003) Madhi Hannoum (USaint-Étienne, France 2002) Magda Bercht (UFRGS, Brazil 2002) Marcelo Ladeira (UFRGS, Brazil 2000) Jorge Louçã (UParis-Dauphine, France 2000) Michael Mora (UFRGS, Brazil 1999) Jaime Sichman (UGrenoble, France 1995) Flávio Oliveira (UFRGS, Brazil 1994) Milton Corrêa (UFRJ, Brazil 1994) António Rocha Costa (UFRGS, Brazil 1993) Christian Debarbieri (USaint-Étienne, France 1990) - Project Consultant HNET (Health Educational Network, 2008-10)
- Projects and Programs evaluation EMIL (FP6 nº. 033841) (2007-09) New Ties (FP6 SO 2386, FET/STREP, 2005- ) European Research Consortium for Informatics and Mathematics (1993-94) Japanese Fifth Generation Program (ICOT, 1992) EuroPACE (1990-94) NATO Science for Stability Program (1991- ) DOSES CAN (1990-93) IPE (1989) RM 97 Technirob Robot (IPE, 1988) Fundação Luso-Americana (1988) CERN Portuguese Scientific Committee (1987-1990) EUROTRA Common Steering Committee (1987-89) MMI2 (Multi-Modal Intelligent Interface) of the BIM Consortium (ESPRIT 1098, 1986-1991) Home Systems of Philips Consortium (ESPRIT 2431, 1986-1991) CODEST Community Stimulation Action and SCIENCE Program (1985-1991)
- Scientific Editorial Board of Journals Applied Artificial Intelligence, an International Journal (1987-1995) Journal of Symbolic Logic (1989-1995) Revista de Informática Teórica e Aplicada (IIUFRGS, 1987-89) Psicologia (1985- ) Vértice (1985- )
- Science Prize Selection Member of the IBM Science Prize Council (1990- )
Consultancy: DGCI/DI (1995-96) UNL Grupo de Estudos Tecnologias da Informação (1994-95) ISEG (1990-93) Instituto de Informática (1991-93) CTT Building Rehabilitation (LNEC/INESC, 1989) Instituto Gulbenkian de Ciência (1988-89) Informatics Developping of CMP (1987) Informatics Developping of CMA (1987) Informatics Developping of CML (1987) State of the Application of Information Technologies in Portugal (FAST, 1987) Artificial Intelligence Glossary (União Latina, 1987) INETI (1987) CODETI Software Technical Committee (1985-87) DGCI (NIVA data processing): evaluation of computer proposals (1984) DGOA Public Administration Reform (1983-85) State of Informatics Education in Portugal (GEBEI/CESEM, 1983) New Informatics Center of IGC (1983) Informatics Education Policy of Sismet (1983) Informatics Re-engineering of COBA informatics: evaluation of proposals for a new computer (1982) Centro de Informática Fields of Research (LNEC, 1980-89) Divisão de Informática (LNEC, 1974-79) Observatório da Mulemba (1971-73) CTT Measurement Laboratory (1966-68)
Close enterprise links: LPM (strategy for large organisations) Expedita (software house for tourism industry)
Computer societies: Portuguese Society of Engineers (Ordem dos Engenheiros), CAQ Committee (2001-2004) APPIA President (1987-89) IFIP WG8.3 technical member (1984-89) IFIP TC5 national representative (1981-83) API Vice-President (1979-1981) API Board of Directors (1976-77)
Computer Science and Informatics Columnist: Correio de Informática (1990-95) Revista MacIn (1992-93) Boletim Grupo Forma Editor-in-Chief (1994-95) Público (1990-94) Revista Futuro (1989-1992) O Jornal, Suplemento de Informática (1981-89) Revista de Informática Editor-in-Chief (1980-83) Informática Editor-in-Chief (1977-1981) BUTS LNEC Editor-in-Chief (1978-1981)
|