João Gabriel Monteiro de Carvalho e Silva Curriculum Vitae Apresentado no âmbito da candidatura a Director da Faculdade de Ciências e Tecnologia da Universidade de Coimbra Novembro de 2009 Índice 1. DADOS GERAIS...........................................................................................................................1 2. CARREIRA PROFISSIONAL......................................................................................................1 3. ACTIVIDADE PEDAGÓGICA....................................................................................................1 4. ACTIVIDADE DE GESTÃO UNIVERSITÁRIA.......................................................................2 5. ACTIVIDADE DE ENGENHARIA............................................................................................3 6. ACTIVIDADE CIENTÍFICA......................................................................................................5 Curriculum vitae de João Gabriel Monteiro de Carvalho e Silva 1 1. Dados gerais. João Gabriel Monteiro de Carvalho e Silva, filho de Jaime Ribeiro de Carvalho e Silva e de Maria Amélia de Sousa Monteiro, nasceu a 27 de Junho de 1957 em Pombal, concelho de Pombal, distrito de Leiria. Completou em 1980 a licenciatura em Engenharia Electrotécnica da Faculdade de Ciências e Tecnologia da Universidade de Coimbra com a classificação final de 18 valores. Defendeu a sua tese de doutoramento, para a obtenção do grau de Doutor em Ciências de Engenharia, especialidade de Informática, com o título "Sistema de Operação de Tempo Real para uma Arquitectura Distribuída Tolerante a Falhas" a 23 de Março de 1988, tendo sido aprovado por unanimidade, com Distinção e Louvor. Obteve o título de agregado em Engenharia Electrotécnica pela Universidade de Coimbra no dia 12 de Abril de 1996, tendo sido aprovado por unanimidade. 2. Carreira Profissional. Foi monitor no departamento de Engenharia Electrotécnica da Universidade de Coimbra, de 15 de Janeiro de 1979 a 19 de Outubro de 1980. A partir de 20 de Outubro de 1980 exerceu funções de assistente estagiário do mesmo departamento, tendo sido contratado como assistente a 19 de Março de 1984. Em Março de 1988 passou a professor auxiliar no mesmo departamento, tendo obtido a nomeação definitiva em Março de 1993. É um dos fundadores do departamento de Engenharia Informática da Faculdade de Ciências e Tecnologia da Universidade de Coimbra, criado por deliberação de 13 de Dezembro de 1995 do Senado da Universidade de Coimbra, tendo por isso passado, desde essa data, a ser professor auxiliar desse departamento. Em Março de 1999 foi contratado como professor associado do departamento de Engenharia Informática, e como professor catedrático em Outubro de 2005. É membro fundador do Centro de Informática e Sistemas da Universidade de Coimbra (CISUC), criado em 1991 no âmbito do Programa Ciência, que é o Centro de Investigação onde tem exercido a actividade de investigação científica desde essa data. 3. Actividade Pedagógica. Liderou os dois processos de revisão curricular da licenciatura em Engenharia Informática que entraram em vigor em 1995/96 e em 2002/2003, tendo introduzido importantes inovações metodológicas em ambos os casos. Nesta última promoveu a adopção de algumas vertentes do processo de Bolonha, em particular uma alteração dos métodos de ensino, mudando a ênfase do binómio aulas magistrais e exames para uma ênfase no incremento da participação activa e continuada dos estudantes no decorrer das disciplinas, e da avaliação contínua. Teve também uma participação activa na elaboração da reforma curricular de Engenharia Informática de 1987, quer na construção da sua arquitectura geral, quer especialmente na definição do conteúdo curricular de várias disciplinas. Ao longo dos anos procedeu à introdução de inúmeros assuntos nas licenciaturas de Engenharia Electrotécnica e de Engenharia Informática, tais como o ensino da engenharia de software através de projectos Curriculum vitae de João Gabriel Monteiro de Carvalho e Silva 2 de larga escala, da arquitectura dos computadores modernos, da programação orientada a objectos, da programação concorrente e distribuída e ainda, no longínquo ano de 1981/82, o processamento digital de sinal. É importante realçar que nos inquéritos aos alunos obteve sempre muito boas classificações, nas múltiplas disciplinas das licenciaturas de Engenharia Electrotécnica e de Engenharia Informática pelas quais foi responsável, bem como dos muitos mestrados em que interveio. 4. Actividade de gestão universitária. É actualmente Presidente do Conselho Directivo da Faculdade de Ciências e Tecnologia da Universidade de Coimbra (FCTUC), cargo para que foi eleito em resultado das eleições de 14 de Fevereiro de 2008 para a Assembleia de Representantes. Tinha exercido já esse cargo no mandato anterior, na sequência das eleições de 15 de Dezembro de 2005 para a Assembleia de Representantes, tendo tomado posse a 16 de Fevereiro de 2006. É igualmente Presidente do Conselho Científico da FCTUC, cargo para que foi eleito em Outubro de 2005, e reeleito para o mesmo cargo a 18 de Fevereiro de 2008. Foi eleito para o Conselho Científico da FCTUC nas eleições do dia 30 de Setembro de 2009. É ainda membro do Conselho Geral da UC, tendo sido eleito a 24 de Novembro de 2008, embora vá agora abandonar esse lugar por força da presente candidatura a Director da FCTUC. Foi eleito para a Assembleia Estatutária da FCTUC a 10 de Novembro de 2008, tendo sido seu presidente, onde foram elaborados os novos estatutos publicados em Junho de 2009. Foi membro da Assembleia Estatutária da UC, eleita a 26 de Novembro de 2007, que elaborou os novos estatutos da UC, publicados a 1 de Setembro de 2008. Foi vice-Presidente do Conselho Directivo da Faculdade de Ciências e Tecnologia da Universidade de Coimbra (FCTUC), sob a liderança do Prof. Lélio Quaresma Lobo, cargo para que foi eleito em resultado das eleições de Dezembro de 2001 para a Assembleia de Representantes, tendo tomado posse a 31 de Janeiro de 2002. Na sequências das eleições de Dezembro de 2003 para a Assembleia de Representantes, viu o seu mandato renovado para mais dois anos. Durante todos estes cargos exerceu uma intensa actividade reformadora da FCTUC e da UC, desde as soluções adoptadas nos estatutos, passando pela transição do processo de Bolonha até à melhoria drástica da visibilidade da faculdade nos media. Despendeu a maior parte do seu esforço durante esses anos numa profunda reorganização interna da FCTUC. Ao chegar ao Conselho Directivo, onde assumiu o pelouro financeiro e do pessoal, a FCTUC estava com um défice de cerca de 2,4 milhões de euros (aproximadamente meio milhão de contos), que foi possível transformar num superavit de cerca de 2 milhões de euros em 2005. Depois disso o Governo iniciou um processo de retirada do financiamento das Universidades que ainda não terminou. É muito importante realçar que esta transformação foi conseguida num clima económico depressivo, e que se processou sem qualquer ruptura a nível do funcionamento dos diversos departamentos da FCTUC, ao contrário da situação anterior, em que os conflitos saltavam repetidamente para as páginas dos jornais, com graves consequências para a imagem e credibilidade da FCTUC e da Universidade de Coimbra em geral. Foi particular objecto do reorganização o suporte a projectos de investigação, em que se inclui a criação de um Fundo de Apoio à Investigação, com capacidade financeira para amortecer junto dos investigadores as oscilações do financiamento externo, e adiantar-lhes os meios financeiros necessários à plena execução orçamental, dada a cada vez maior tendência das entidades financiadoras, particularmente a União Europeia, para trabalhar na base do reembolso. Para além das funções acima descritas, é também desde 2001 até ao presente membro do Senado da Universidade de Coimbra. Participou também na secção de Planeamento Gestão e Património e na Secção Científica do Senado. Curriculum vitae de João Gabriel Monteiro de Carvalho e Silva 3 Foi membro da Assembleia da Universidade de Coimbra, para a qual foi eleito em representação dos docentes doutorados da FCTUC em eleições que tiveram lugar a 17 de Fevereiro de 1998, em 20 de Fevereiro de 2002, e de novo em 25 de Janeiro de 2006, até à sua extinção em Setembro de 2008. Foi Presidente da Comissão Directiva do CISUC (Centro de Informática e Sistemas da Universidade de Coimbra) desde Junho de 2002 a Janeiro de 2006. Foi vice-presidente da Comissão Científica do departamento de Engenharia Informática desde Março de 2001 até 2006. Foi presidente do Conselho de departamento de Engenharia Informática, de Março de 1999 a Janeiro de 2002. Foi Presidente da Comissão Científica do departamento de Engenharia Informática de Fevereiro de 1997 a Março de 1999. Foi coordenador na Faculdade de Ciências e Tecnologia do programa Prodep/Mestrados, de Maio de 1990 a Julho de 1994. Foi coordenador do Mestrado em Sistemas e Tecnologias da Informação, do departamento de Engenharia Electrotécnica da Universidade de Coimbra, em 1990 e 1991. Foi presidente do Conselho Pedagógico do departamento de Engenharia Electrotécnica da Universidade de Coimbra, durante o ano de 1990, período durante o qual organizou as primeiras Jornadas Pedagógicas do departamento de Engenharia Electrotécnica, que tiveram lugar em Maio de 1990. Foi membro da Comissão Executiva do Laboratório de Informática e Sistemas da Faculdade de Ciências da Universidade de Coimbra, de 1992 a 1994, entretanto extinto por criação do CISUC. Foi membro da Assembleia de Representantes da Faculdade de Ciências e Tecnologia da Universidade de Coimbra em 1978/79 e 1979/80, ainda como estudante. Foi membro como estudante do Conselho Directivo da Faculdade de Ciências e Tecnologia da Universidade de Coimbra no ano lectivo 1978/79. Orgulha-se de ter conseguido, ao fim de um ano de denodados esforços junto da administração da Universidade de Coimbra no ano lectivo 1992/93, que o seu primeiro projecto europeu (FT-MPS) fosse o primeiro projecto da Universidade cuja execução financeira foi devida e inteiramente integrada nas contas da Universidade, forçando uma grande clarificação e flexibilização das regras de enquadramento administrativo e financeiro dos projectos de investigação financiados por entidades exteriores à Universidade, regras essas posteriormente alargadas a todos os outros projectos. 5. Actividade de engenharia Tem tido desde o início da sua carreira uma grande actividade de engenharia, tentando sempre que possível encurtar a distância entre a investigação e a actividade económica. Logo no início, entre 1980 e 1985, foi responsável pelo desenvolvimento, no âmbito do departamento de Engenharia Electrotécnica da Universidade de Coimbra, de parte dos módulos base, de todo o software de sistema e da linha de montagem do computador ENER 1000. Os restantes módulos base foram projectados no departamento de Física da Universidade de Coimbra. O ENER 1000 foi o primeiro computador português a ser produzido industrialmente. O projecto decorreu de 1980 a 1985. Este projecto foi considerado pela Ordem dos Engenheiros um dos marcos da engenharia portuguesa do século XX, que o incluiu na exposição "Engenho e Obra - Engenharia em Portugal no século XX", que foi exposta na Cordoaria Nacional em Lisboa de 8 de Janeiro a 2 de Março de 2003. O Ener 1000 foi, aliás, o único representante da Engenharia de Coimbra nessa exposição. Logo na altura recebeu também, pela sua participação no projecto do ENER 1000, em conjunto com Carlos Correia e Francisco Fraga (ambos do departamento de Física da Universidade de Coimbra), e José Guedes (da empresa produtora do computador) o 1º Prémio de Inovação atribuído pela Associação Nacional Curriculum vitae de João Gabriel Monteiro de Carvalho e Silva 4 das Indústrias de Material Eléctrico e Electrónico (ANIMEE) durante o Encontro Nacional para o Desenvolvimento das Indústrias Eléctricas e Electrónicas, 18 a 23 de Janeiro de 1983 (ENDIEL 83). Entre 1983 e 1987 foi também elemento central do projecto de uma máquina de escrever electrónica portátil que esteve para ser produzida e comercializada pela empresa portuguesa MESSA. Este projecto teve reconhecimento internacional por parte de grandes empresas produtoras de máquinas de escrever, tal como a Triumph Adler, só não se tendo concretizado a sua comercialização devido à incapacidade da MESSA em obter o financiamento necessário. O projecto foi financiado pela JNICT. Coordenou depois, de 1985 a 1988, o projecto de desenvolvimento do microcomputador modular UNIC (uma evolução do ENER 1000) na sua versão de computador pessoal. O UNIC foi produzido e comercializado pela empresa RIMA. Para além dos módulos componentes do sistema, o projecto incluiu o desenho e montagem da respectiva linha de produção, incluindo o hardware e software de teste. Em sobreposição parcial, quer temporal quer material, coordenou também um Contrato de Desenvolvimento Industrial, financiado pelo Ministério da Indústria através do Laboratório Nacional de Engenharia e Tecnologia Industrial, em que o Grupo de Informática e Sistemas do departamento de Engenharia Electrotécnica, em conjunto com a empresa produtora do UNIC, desenvolveu os módulos e o software necessários para usar o sistema UNIC em aplicações de controlo industrial e instrumentação. Um produto dos projectos anteriores foi o desenvolvimento de um controlador de fornos a gás intermitentes, para a indústria cerâmica, em colaboração com as empresas FORNOCERÂMICA e RIMA. O controlador projectado foi produzido industrialmente, e incorporado em produtos da FORNOCERÂMICA. O projecto decorreu de 1988 a 1990, sabendo-se que pelo menos em 1998 alguns deles ainda se encontravam a ser usados em empresas de cerâmica, em ambiente de produção. Foi neste produto que, pela primeira vez, foram incorporados alguns dos mecanismos de tolerância a falhas estudados em projectos de investigação do grupo a que pertence. Numa segunda fase do seu envolvimento industrial, de 1995 a 1997, coordenou diversos projectos no âmbito do Laboratório de Informática e Sistemas do Instituto Pedro Nunes. Os mais interessantes sob o ponto de vista da utilização de resultados da investigação na actividade industrial foram o desenvolvimento de diversos interfaces entre máquinas da fábrica de papel da empresa Soporcel SA e o respectivo sistema de controlo de produção. Estes sistemas foram desenvolvidos com base em computadores pessoais standard, para substituir aparelhos proprietários dedicados, de manutenção muito cara e sem versatilidade. O tipo de utilização em causa impunha uma disponibilidade total, pelo que foi necessário incluir um conjunto de mecanismos capazes de detectar e recuperar de perturbações de funcionamento, muitas delas devidas ao carácter não industrial do sistema operativo usado, o Windows 95, e ao ambiente industrial agressivo, pois estes interfaces estavam junto às máquinas, e não na sala climatizada dos computadores de controlo de produção. Em seguimento destes projectos com a Soporcel, coordenou um pequeno projecto sem financiamento específico, o WinFT (de Windows Fault Tolerance), que resultou num conjunto de programas com esse nome, software esse que deu origem a algumas publicações, foi inicialmente comercializado como shareware, e depois suscitou o interesse de algumas empresas internacionais. Veio a ser adquirido em 1998 por uma empresa canadiana, chamada Intrinsyc, que o incorporou na sua oferta de sistemas para controlo industrial e sistemas embebidos. Nesta fase coordenou ainda o desenvolvimento de outros pacotes de software que ganharam visibilidade internacional: Por um lado o WPVM, uma adaptação (a primeira a nível mundial) ao sistema operativo Windows do então standard PVM para programação paralela, que foi colocada no domínio público em 1995 (inicialmente apenas os binários e mais tarde também o código fonte) e se manteve até 2001, tendo tido uma utilização intensiva em centenas de universidades e empresas em todo o mundo. Ainda (início de 2005) são conhecidos utilizadores desse software. Foi a porta de entrada do grupo de investigação de Coimbra no mundo da programação paralela, dando-lhe bastante visibilidade. Por outro, o WMPI, uma adaptação do standard MPI para programação paralela ao sistema operativo Windows, que foi também a primeira a nível mundial. A primeira versão foi disponibilizada na Web (apenas os binários) em 1996, tendo-se difundido profusamente em centenas de instituições do mundo inteiro. Uma versão Curriculum vitae de João Gabriel Monteiro de Carvalho e Silva 5 deste programa, adaptada à máquina paralela Parsytec CCi, foi vendida à empresa alemã Parsytec Gmbh em 1997. Uma versão comercial deste produto, designada PaTENT MPI, foi comercializada pela empresa alemã Genias Software Gmbh, de 1998 a 2001, data em que esta empresa foi aquirida pela empresa Sun Microsystems que, visto não trabalhar com o Sistema Operativo Windows, o cedeu à Critical Software, que o desenvolveu e alterou profundamente e o difundiu ainda mais no mercado internacional. A terceira fase do seu envolvimento industrial iniciou-se quando, em 1998, formou como sócio secundário, em conjunto com estudantes de pós-graduação do seu grupo de investigação, a empresa Critical Software, que tem adquirido notável notoriedade e taxas de crescimento em Portugal e mesmo a nível europeu. No âmbito deste empresa tem colaborado de forma importante em diversos projectos industriais, à frente dos quais está a evolução do pacote WMPI atrás descrito. Tem tido igualmente papel central na evolução e definição dos métodos de desenvolvimento de software utilizados, bem como do sistema de garantia de qualidade. Foi Director de Inovação da Critical de 2005 a 2009. Outro projecto em que participou intensamente (de Setembro de 1999 a Março de 2001) foi a adaptação de um injector de falhas para os requisitos do projecto de Remote Exploration and Experimentation do Jet Propulsion Laboratory da NASA (http://www-ree.jpl.nasa.gov/). Esse injector, chamado Xception, resultou de trabalho desenvolvido no seu grupo de investigação, tendo constituído parte substancial do trabalho de mestrado e doutoramento do Doutor João Carreira, um dos fundadores principais e presidente do Conselho de Administração da Critical Software até ao final de 2004. Participou ainda noutro projecto de evolução do Xception, de 2001 a 2002, este para a ESA (Agência Espacial Europeia). O projecto, chamado STADY, tinha por objectivo adaptar o injector de falhas ao processador ERC32, o mais usados nos satélites da ESA, e integrá-lo com técnicas de análise estática de código, para em conjunto permitir uma melhor validação da confiabilidade dos sistemas. Também para a ESA, participou num estudo em 2003 e 2004, designado PA-PreDev, que teve por objectivo estudar as alterações necessárias aos standards de engenharia de software da indústria aeroespacial para promover uma maior reutilização nos projectos espaciais, bem como fazer recomendações sobre os mecanismos de garantia de qualidade necessários. 6. Actividade científica É membro fundador do grupo de investigação em Sistemas Confiáveis do CISUC, que coordenou desde a sua criação, e que recentemente se fundiu com outros para dar origem ao grupo de investigação em Software and Systems Engineering. Depois de uma fase inicial em que se dedicou apenas à Tolerância a Falhas, evoluiu para a situação actual em que inclui também os Sistemas Distribuídos e a Programação Paralela, para além de uma actividade no contacto entre a Confiabilidade e as Bases de Dados. Nas avaliações externas do CISUC em que os grupos de investigação foram individualmente julgados, o grupo de investigação em Sistemas Confiáveis recebeu a classificação de Excelente. Orientou 8 teses de doutoramento já completadas, e inúmeras teses de mestrado, para além de diversas provas de aptidão pedagógica e capacidade científica. Desde que assumiu funções na Direcção da FCTUC, em particular a partir de 2005 quando passou a acumular as funções de presidente dos Conselhos Científico e Directivo, a sua actividade de investigação e desenvolvimento parou quase completamente, por falta de tempo. Coordenou ao longo dos anos inúmeros projectos de investigação científica, entre os quais diversos projectos financiados pela União Europeia, estes de forma praticamente contínua de desde 1992 até 2004, bem como cerca de uma dezena de projectos financiados pela Fundação para a Ciência e Tecnologia e a sua antecessora JNICT, para além de diversos outros financiados por empresas, acordos bilaterais, ministério da indústria, agência de inovação, etc, e participou em muitos outros, sem interrupção desde 1982. É autor de cerca de 150 publicações científicas, a grande maioria delas internacionais, que foram citadas cerca de 1000 vezes, quase todas por investigadores de outras nacionalidades. Curriculum vitae de João Gabriel Monteiro de Carvalho e Silva 6 Goza de grande reconhecimento internacional na sua área de trabalho, tendo sido membro do steering committee de várias das mais importantes conferências internacionais dessa área, e sido responsável pelo programa científico de muitas delas, entre as quais a conferência de topo desta área, a "Dependable Computing and Communications Symposium", promovida pela IEEE e IFIP. Foi ainda membro do Comité de Programa de dezenas de conferências internacionais, e revisor de algumas centenas de artigos científicos, submetidos quer a conferências quer a revistas científicas. Proferiu inúmeras conferências de divulgação científica.