CURRICULUM VITÆ Francisco Manuel Gonçalves Coelho DADOS PESSOAIS E CONTACTOS Local e data de nascimento Lisboa, 30 de Julho de 1968. Nacionalidade Portuguesa Contactos pessoais Endereço Avenida Portugal, N. o 18-3 o Dto., 2790-128 CARNAXIDE, Portugal Telefone 919006379 E-mail mangon@gmail.com Contactos profissionais Endereço Departamento de Matemática, Universidade de Évora, 7000-671 ÉVORA, Portugal Telefone 266744616 Fax 266744546 E-mail fc@uevora.pt
GRAUS ACADÉMICOS Doutoramento (classificação final: muito bom, com louvor e distinção, por unanimidade) em Informática, ramo Ciências da Computação, em 2006, Universidade de Lisboa Mestrado (parte escolar: 17 valores (média); classificação final: muito bom) em Matemática, especialização em Álgebra, em 1997, Faculdade de Ciências da Universidade de Lisboa Licenciatura (classificação final: 13 valores) em Matemática, em 1993, Faculdade de Ciências da Universidade de Lisboa 1
ACTIVIDADE DOCENTE As disciplinas de área da teoria da computação marcaram, quase desde o início, presença na actividade docente. A sua importância tem progressivamente aumentado, sendo, no presente, maioritárias, em relação a disciplinas mais tradicionais da matemática. Também os cursos da área da engenharia informática constituem uma parte muito significativa no total da actividade docente. Vínculos profissionais Professor Auxiliar no Departamento de Matemática da Universidade de Évora, desde Julho de 2006 Assistente no Departamento de Matemática da Universidade de Évora, entre Outubro de 1997 e Julho de 2006 Assistente na Escola Superior de Tecnologia e Gestão do Instituto Politécnico de Leiria, entre Fevereiro e Setembro de 1997 Monitor no Departamento de Informática da Faculdade de Ciências da Universidade de Lisboa, entre Dezembro de 1994 e Fevereiro de 1996 Monitor no Departamento de Matemática do Instituto Superior de Agronomia da Universidade Técnica de Lisboa, entre Setembro e Dezembro de 1993 Participação em órgãos de gestão Membro do Conselho do Departamento de Matemática da Universidade de Évora, por eleição, em 2002, 2003 e 2004 Membro do Conselho do Departamento de Matemática da Universidade de Évora, por inerência, em 2005, 2006 e 2007 Membro da Comissão Científica do Departamento de Matemática da Universidade de Évora, por inerência, em 2006 e 2007 Membro do Conselho Científico da Área Departamental de Ciências Exactas da Universidade de Évora, por inerência, em 2006 e 2007 Disciplinas leccionadas Histórico das disciplinas leccionadas, agrupadas por ano lectivo, com indicação de cargo, tipo de aula, cursos e instituição. 2006 2007 docente de aulas teóricas e teórico-práticas de Matemática Aplicada à Economia e Gestão I, dos cursos de Economia, Gestão e Informática e Gestão da Universidade de Évora docente (responsável) das aulas teóricas e práticas de Teoria da Computabilidade e Complexidade, dos cursos de licenciatura em Matemática e Ciências da Computação e Eng. Informática da Universidade de Évora docente de aulas práticas de Sistemas Dedutivos, dos cursos de licenciatura em Matemática e Ciências da Computação e Eng. Informática da Universidade de Évora 2
2005 2006 2004 2005 2003 2004 2002 2003 docente do módulo Geometria, Trigonometria e Números Complexos, do Curso Preparatório de Matemática para o Ingresso na Universidade, do Departamento de Matemática da Universidade de Évora docente (responsável) das aulas teóricas de Álgebra linear e Geometria Analítica, de vários cursos de engenharia e ciências exactas da Universidade de Évora docente (responsável) das aulas teóricas e teórico-práticas de Teoria da Computabilidade e Complexidade, dos cursos de licenciatura em Matemática e Ciências da Computação e Eng. Informática da Universidade de Évora docente de aulas práticas de Sistemas Dedutivos, dos cursos de licenciatura em Matemática e Ciências da Computação e Eng. Informática da Universidade de Évora docente (responsável) das aulas teóricas de Álgebra linear e Geometria Analítica, de vários cursos de engenharia e ciências exactas da Universidade de Évora docente (responsável) das aulas teóricas e teórico-práticas de Teoria da Computabilidade e Complexidade, dos cursos de licenciatura em Matemática e Ciências da Computação e Eng. Informática da Universidade de Évora docente de aulas práticas de Sistemas Dedutivos, dos cursos de licenciatura em Matemática e Ciências da Computação e Eng. Informática da Universidade de Évora docente (responsável) das aulas teóricas de Álgebra linear e Geometria Analítica, de vários cursos de engenharia e ciências exactas da Universidade de Évora docente (responsável) das aulas teóricas e teórico-práticas de Teoria da Computabilidade e Complexidade, dos cursos de licenciatura em Matemática e Ciências da Computação e Eng. Informática da Universidade de Évora docente de aulas práticas de Sistemas Dedutivos, dos cursos de licenciatura em Matemática e Ciências da Computação e Eng. Informática da Universidade de Évora docente de aulas práticas de Álgebra Linear e Geometria II, dos cursos de licenciaturas em Matemática Aplicada, Eng. Informática e Ensino de Matemática da Universidade de Évora 3
1998 1999 1997 1998 1996 1997 1995 1996 1993 1994 docente (responsável) de aulas teóricas e práticas de Álgebra Linear e Geometria I, dos cursos de licenciaturas em Matemática Aplicada, Eng. Informática e Ensino de Matemática da Universidade de Évora docente (responsável) de aulas teóricas e práticas de Álgebra Linear e Geometria II, dos cursos de licenciaturas em Matemática Aplicada, Eng. Informática e Ensino de Matemática da Universidade de Évora docente (responsável) de aulas teóricas e práticas de Álgebra Linear e Geometria I, dos cursos de licenciaturas em Matemática Aplicada, Eng. Informática e Ensino de Matemática da Universidade de Évora docente (responsável) de aulas teóricas e práticas de Álgebra Linear e Geometria II, dos cursos de licenciaturas em Matemática Aplicada, Eng. Informática e Ensino de Matemática da Universidade de Évora docente de aulas práticas de Matemática II, do curso de bacharelato em Gestão de Empresas da Escola Superior de Tecnologia e Gestão do Instituto Politécnico de Leiria docente de aulas práticas de Probabilidades e Estatística, do curso de bacharelato em Gestão de Empresas da Escola Superior de Tecnologia e Gestão do Instituto Politécnico de Leiria monitor de aulas práticas de Programação Imperativa, dos cursos de licenciatura em Eng. Informática e Eng. da Linguagem e do Conhecimento da Universidade de Lisboa monitor de aulas práticas de Teoria da Computação, dos cursos de licenciatura em Eng. Informática e Eng. da Linguagem e do Conhecimento da Universidade de Lisboa monitor de aulas práticas de Matemática I, dos cursos de licenciatura em Eng. Agronómica, Eng. Florestal, Eng. Agro-Industrial e Arquitectura Paisagista, do Instituto Superior de Agronomia da Universidade Técnica de Lisboa 4
PERCURSO CIENTÍFICO A actividade científica iniciou-se na área da Álgebra mas, desde muito cedo, com uma orientação para questões da Computação. A monografia do mestrado reflecte o dilema entre uma abordagem mais algébrica à computação, relatando, na primeira parte, o contributo de Matiasevich sobre o 10 o Problema de Hilbert (um processo algorítimico para determinar as soluções de equações diofantinas) e, na segunda parte, propondo um modelo (original) de computação universal baseado em construções geométricas com régua não graduada e compasso. Algumas das questões levantadas por esta proposta estão ainda por ser esclarecidas e têm suscitado o interesse recente de alguns membros da comunidade científica. O interesse pela Teoria da Computação, Lógica, Inteligência Artificial e Simulação Social, evoluiu, desde então, em parte mantendo um foco coerente na área da Computação, em parte influenciados por actividades lectivas (por exemplo, como docente de Lógica Computacional, Sistemas Dedutivos ou Teoria da Computação), e também por incursões menos bem sucedidas noutras áreas (como, por exemplo, a Computação Quântica). Na monografia de doutoramento é possível notar-se que mantém a preocupação por certos aspectos matemáticos, procurando a construção e desenvolvimento de instrumentos adequados ao estudo de situações e fenómenos decorrentes de experiências efectuadas no âmbito da Simulação Social e da Inteligência Artificial. Interesses principais Teoria da Computação Questões de computabilidade, universalidade e complexidade Lógica Conhecimento, semântica, verdade vs. linguagem, sintaxe, demonstração Inteligência Artificial Comportamento individual, estruturas de controlo Simulação Social Estruturas de controlo distribuídas Centros de investigação membro do LabMAg, Laboratório de Modelação de Agentes, desde 2007 colaborador do LabMAg, desde 2001 Participação em projectos de investigação PODER E VALORES EM SISTEMAS MULTIAGENTES, Projeto submetido ao Edital CNPq 027/2006, ao abrigo do convénio CNPq/GRICES aguarda financiamento. Monografias para provas académicas Emergência e Colapso de Poder. Dissertação para o grau de Doutor em Informática. Faculdade de Ciências da Universidade de Lisboa (2006) Polinómios, Réguas e Compassos Problemas de computabilidade e decidibilidade. Dissertação para o grau de Mestre em Matemática. Faculdade de Ciências da Universidade de Lisboa (1997) 5
Artigos em publicações científicas Mycka, Jerzy, Coelho, Francisco e Costa, José Félix, The Euclid Abstract Machine: Trisection of the Angle and the Halting Problem. Em Unconventional Computation, Lecture Notes in Computer Science, Volume 4135, páginas 195 206, Springer Berlin/Heidelberg. (2006) Coelho, Francisco e Coelho, Helder. Discussing agent power-of by experimentation. Em Proceedings of MASTA/EPIA05. (2005) Coelho, Francisco e Coelho, Helder. Predictability for autonomous decision support. Em Multi- Agent-Based Simulation VI: International Workshop, volume 3891 de Lecture Notes in Computer Science, páginas 88 91. Springer, Berlin/Heidelberg. (2005) Coelho, Francisco e Coelho, Helder. Meta-agency and individual-power, an experimental approach. Em IEEE/WIC/ACM International Conference on Intelligent Agent Technology, páginas 414 420. (2005) Coelho, Francisco e Coelho, Helder. An application of meta-agency and individual-power, recovering reactive agents. Em International Mediterranean Multiconference, Conceptual Modeling and Simulation Conference, páginas 1 9. (2005) Coelho, Francisco e Coelho, Helder, An agent architecture to handle commitment. Em International Mediterranean Modeling Multiconference, volume European Modeling Simulation Symposium, páginas 87 94. (2005) Coelho, Francisco e Coelho, Helder. Towards Individual Power Design. Em Progress in Artificial Intelligence, Lecture Notes on AI, Volume 2902, páginas 366 378, Springer. (2003) Artigos aceites para publicação Mycka, Jerzy, Costa, José Félix e Coelho, Francisco. The Euclid Abstract Machine, Em International Journal of Unconventional Computing, Old City Publishing. (artigo convidado) Coelho, Francisco e Coelho, Helder. Meta agency and individual power. Em Web Intelligence and Agent Systems - An International Journal, IOS Press. (artigo convidado) Comunicações em encontros científicos internacionais Discussing agent power-of by experimentation, MASTA/EPIA05, Bragança, Portugal, Dezembro de 2005 (apresentada por H. Coelho) An agent architecture to handle commitment, European Modeling Simulation Symposium, Marselha, França, 20 a 22 de Outubro de 2005 An application of meta-agency and individual-power, recovering reactive agents, Conceptual Modeling and Simulation Conference, Marselha, França, 20 a 22 de Outubro de 2005 Meta-agency and individual-power, an experimental approach, International Conference on Intelligent Agent Technology, Compiègne, França, 19 a 22 de Setembro de 2005 Predictability for autonomous decision support, MABS 2005, Sixth International Workshop on Multi-Agent-Based Simulation, Utrecht, Holanda, 25 de Julho de 2005 6
Towards Individual Power Design. EPIA 2003, 11 a Conferência Portuguesa em Inteligência Artificial, Beja, Portugal, 4 a 7 de Dezembro de 2003 Computação quântica. ISQCI 2002, International School on Quantum Computation e Information, Instituto Superior Técnico, Lisboa, Portugal, 2 a 7 de Setembro de 2002 Participação em encontros científicos internacionais International Mediterranean Modeling Multiconference, Marselha, França, 20 a 22 de Outubro de 2005 International Conference on Intelligent Agent Technology, Compiègne, França, 19 a 22 de Setembro de 2005 AAMAS 2005, The Fourth International Joint Conference on Autonomous Agents & Multi Agent Systems, Utrecht, Holanda, 25 a 29 de Julho de 2005 ISQCI 2002, International School on Quantum Computation e Information, Lisboa, Portugal, 2 a 7 de Septembro de 2002 FOCM 1999, 2nd Conference on the Foundations of Computational Mathematics, Oxford, Reino Unido, 18 a 28 de Julho de 1999 Comunicações em encontros científicos nacionais Autómatos Quânticos, Instituto Superior de Agronomia, Junho de 2000 Autómatos Quânticos, Seminário Conjunto CIMA-DMat, Universidade de Évora, Junho de 2000 Quantum Grammars, Seminário de Lógica Matemática, Instituto Superior Técnico, Maio de 2000 Autómatos Quânticos, Seminário de Lógica Matemática, Instituto Superior Técnico, Janeiro 2000 Computação Geométrica, Seminário de Lógica Matemática, Faculdade de Ciências da Universidade de Lisboa O Teorema de Matiyasevich II, Seminário de Lógica Matemática, Faculdade de Ciências da Universidade de Lisboa O Teorema de Matiyasevich I, Seminário de Lógica Matemática, Faculdade de Ciências da Universidade de Lisboa Bolsas de estudo e ajudas de formação Apoio de formação a curto prazo para deslocação ao Santa Fe Institute, em Agosto de 2000, atribuída pela Fundação Luso-Americana para o Desenvolvimento. Bolsa de Mestrado atribuída pela Junta Nacional de Investigação Científica e Tecnológica, em 1996. [24 de Novembro de 2007] 7