Sérgio Miguel Fernandes IST/INESC-ID R. Alves Redol 9 Sala 608 1000-029 Lisboa PORTUGAL Sergio.Fernandes@ist.utl.pt http://fenix.ist.utl.pt/homepage/ist14264 Curriculum Vitae Dados Pessoais Nome Completo: Sérgio Miguel Martinho Fernandes Domicílio: Lisboa (PORTUGAL) E-mail: Sergio.Fernandes@ist.utl.pt Telefone: (+351) 213 100 303 Data de Nascimento: 27-06-1978 Sexo: Masculino Nacionalidade: Portuguesa Interesses de Investigação Engenharia de Software Sistemas e Arquitecturas de Workflow Desenvolvimento de Aplicações Web Sistemas Transaccionais Formação Específica 2006... Frequenta o Doutoramento em Engenharia Informática e de Computadores pelo Instituto Superior Técnico, Universidade Técnica de Lisboa. 2006. Mestrado em Engenharia Informática e de Computadores pelo Instituto Superior Técnico, Universidade Técnica de Lisboa. Média final de 5 valores (em 5). 2001. Licenciatura em Engenharia Informática e de Computadores, ramo de Programação e Sistemas de Informação, pelo Instituto Superior Técnico, Universidade Técnica de Lisboa. Média final de 16 valores (em 20). 1996. 12 o ano de escolaridade, Escola Secundária Professor Herculano de Carvalho. Média final de 18 valores (em 20). Formação Complementar 2009. Workshop em Técnicas de Comunicação Oral e Apresentações em Público para docentes e conferencistas. Duração: 2 horas. Formadora: Maria Júlia Guerra. 2009. Formação The Coaching Clinic. Duração: 2 dias. Formadora: Susana Azevedo.
Actividade Profissional 2006... Assistente do Departamento de Engenharia Informática do Instituto Superior Técnico, Universidade Técnica de Lisboa. Disciplinas leccionadas: Algoritmos e Estruturas de Dados (2005/2006 a 2006/2007), Compiladores (2006/2007, 2011/2012), Engenharia de Software (2005/2006, 2007/2008) e Programação Avançada (2007/2008, 2011/2012). 2010 2013. Participação, como investigador do grupo INESC-ID, no Projecto Cloud-TM. Projecto Europeu número 257784 do programa FP7-ICT-2009-5 Objective 1.2. 2010 2012. Participação, como investigador do grupo INESC-ID, no Projecto RuLAM: Execução de aplicações legadas em sistemas multiprocessador. Projecto FCT com referência PTDC/EIA-EIA/108240/2008. 2008 2010. Participação, como investigador do grupo INESC-ID, no Projecto PASTRAMY: Transacções de Software em Memória com Persistência e de Alta Disponibilidade. Projecto FCT com referência PTDC/EIA/72405/2006. 2002 2006. Assistente Estagiário do Departamento de Engenharia Informática do Instituto Superior Técnico, Universidade Técnica de Lisboa. Disciplinas leccionadas: Compiladores (2002/2003 a 2004/2005), Engenharia da Programação (2002/2003 a 2004/2005), Engenharia de Software (2004/2005). 2002 2004. Participação, como investigador do grupo INESC-ID, no Projecto ESPRIT ACE-GIS (Adaptable and Composable E-commerce and Geographic Information Services). Projecto Europeu número IST-2001-37724. 2001 2002. Apoio ao ensino na cadeira de Engenharia da Programação, do curso de Engenharia Informática e de Computadores do Instituto Superior Técnico. 2000 2002. Participação, como investigador estagiário do grupo INESC-ID, no Projecto ES- PRIT COMBINE (COMponent-Based INteroperable Enterprise system development). Projecto Europeu número IST-1999-20893. 2000... Investigador Estagiário do Grupo de Engenharia de Software do INESC-ID. Publicações 2012. Nuno Diegues, Sérgio Miguel Fernandes e João Cachopo. Parallel nesting in a lockfree multi-version Software Transactional Memory. In 7th ACM SIGPLAN Workshop on Transactional Computing (TRANSACT 2012), New Orleans, Louisiana, EUA, Fevereiro 2012. (submetido) Jorge Martins, João Pereira, Sérgio Miguel Fernandes e João Cachopo. Towards a simple programming model in Cloud Computing platforms. In IEEE First Symposium on Network Cloud Computing and Applications (NCCA 2011), Toulouse, França, Novembro Sérgio Miguel Fernandes e João Cachopo. Strict Serializability is Harmless: A New Architecture for Enterprise Applications. In SPLASH Wavefront 2011, Portland, Oregon, EUA, Outubro
Publicações (continuação) Sérgio Miguel Fernandes e João Cachopo. A New Architecture for Enterprise Applications With Strong Transactional Semantics. INESC-ID Relatório Técnico 26/2011, Lisboa, Maio Sérgio Miguel Fernandes e João Cachopo. Lock-free and scalable multi-version Software Transactional Memory. In 16th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming (PPoPP 2011), San Antonio, Texas, EUA, Fevereiro 2010. Sérgio Miguel Fernandes e João Cachopo. A scalable and efficient commit algorithm for the JVSTM. In 5th ACM SIGPLAN Workshop on Transactional Computing (TRANSACT 2010), Paris, França, Abril 2010. Publicado online: http://www-ali.cs.umass.edu/ moss/transact-2010/public-papers/24.pdf. 2008. Miguel Pardal, Sérgio Miguel Fernandes, Jorge Martins e Joana Paulo Pardal. Customizing Web Services with Extensions in the STEP framework. In Web Services Research Foundation, International Journal of Web Services Practices Vol 3, No 1. 2005. Sérgio Fernandes. A Workflow Virtual Machine. Dissertação para obtenção do grau de Mestre em Engenharia Informática e de Computadores, Instituto Superior Técnico/Universidade Técnica de Lisboa. 2004. Sérgio Fernandes, João Cachopo e António Rito Silva, Supporting Evolution in Workflow Definition Languages. In Proceedings of the 20th Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2004), Springer-Verlag, LNCS 2932. Janeiro 2004. Měřín, República Checa. 2001. Sérgio Fernandes. Compositional Micro-Workflow Architecture to Support Business Processes. Dissertação para a obtenção do grau de Licenciado em Engenharia Informática e de Computadores, Instituto Superior Técnico/Universidade Técnica de Lisboa. 2001. Sérgio Fernandes e Paulo Dias, Business Tourist. In Proceedings of the Workshop of Introduction to Autonomous Agents (WIAA 2001), Lisboa, Portugal. Actividades de Representação e Gestão 2007 2009 Membro do Senado da UTL. 2007 2009 Membro da Assembleia de Representantes da UTL. 2007 2009 Representante dos Assistentes no Conselho do Departamento de Engenharia Informática. Apresentações Sérgio Miguel Fernandes e João Cachopo. Strict Serializability is Harmless: A New Architecture for Enterprise Applications. In SPLASH Wavefront 2011, Portland, Oregon, EUA, Outubro
Apresentações (continuação) Sérgio Miguel Fernandes e João Cachopo. Lock-free and scalable multi-version Software Transactional Memory. In 16th ACM SIGPLAN Annual Symposium on Principles and Practice of Parallel Programming (PPoPP 2011), San Antonio, Texas, EUA, Fevereiro 2010. Sérgio Miguel Fernandes e João Cachopo. A scalable and efficient commit algorithm for the JVSTM. In 5th ACM SIGPLAN Workshop on Transactional Computing (TRANSACT 2010), Paris, France, Abril 2010. 2004. Sérgio Fernandes, João Cachopo e António Rito Silva, Supporting Evolution in Workflow Definition Languages. In Proceedings of the 20th Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM 2004), Springer-Verlag, LNCS 2932. Janeiro 2004. Měřín, República Checa. 2003. Acção de formação sobre CVS (Concurrent Versions System). Apresentação realizada no INESC-ID a convite do seu Laboratório de Sistemas de Língua Falada. Revisor de Artigos 27th Annual ACM Symposium on Applied Computing (SAC 2012), Riva del Garda (Trento), Italy. 26 30 Março, 2012. 2010. 26th Annual ACM Symposium on Applied Computing (SAC 2011), Universidade Tunghai, Taichung, Taiwan. 21 24 Março, 2008. 24th Annual ACM Symposium on Applied Computing (SAC 2009), Honolulu, Hawaii, EUA. 8 12 Março, 2009. 2007. 23th Annual ACM Symposium on Applied Computing (SAC 2008), Fortaleza, Ceará, Brasil. 16 20 Março, 2008. 2006. 22th Annual ACM Symposium on Applied Computing (SAC 2007), Seul, Coreia. 11 15 Março, 2007. 2005. 21th Annual ACM Symposium on Applied Computing (SAC 2006), Dijon, França. 23 27 Abril, 2006. 2004. 20th Annual ACM Symposium on Applied Computing (SAC 2005), Santa Fé, Novo México. 13 17 Março, 2005. 2003. 19th Annual ACM Symposium on Applied Computing (SAC 2004), Nicosia, Chipre. 14 17 Março, 2004. Desenvolvimento de Software 2010- Lock-free JVSTM: implementação da versão lock-free da JVSTM (Java Versioned Software Transactional Memory). 2002 2004. WorkSCo (Workflow with Separation of Concerns): Arquitectura da framework e implementação do núcleo do sistema. http://worksco.sourceforge.net/.
Desenvolvimento de Software (continuação) 2002 2003. Redefinição da arquitectura e implementação do núcleo do sistema de Gestão de Disciplinas (GesDis) utilizado pelos alunos das aulas práticas de Engenharia da Programação. Línguas Estrangeiras Inglês. Espanhol. Francês. Conversação, leitura e escrita: Muito bom. Conversação e leitura: Médio. Escrita: Elementar. Conversação e leitura: Médio. Escrita: Elementar. Outras Actividades Certificação Advanced Open Water Diver e Enriched Air Diver (Nitrox) da PADI. 2009. Certificação Open Water Diver da PADI. 2003 2007 Gestor dos sistemas informáticos do Grupo de Engenharia de Software do INESC-ID. 2005. Curso de Básico de Formação de Socorristas (N. 529/FOR/05) da Cruz Vermelha Portuguesa. Recertificações em 2008 e 2010. 2002. Curso de Paraquedismo (nível elementar) na Escola de Paraquedismo de Aero-clube de Évora. (N. actual saltos:12) 2000 2001. Trabalho Final de Curso (em regime integrado) realizado no Grupo de Engenharia de Software do INESC-ID sob a orientação do Prof. Doutor António Manuel Ferreira Rito da Silva, com o tema Compositional Workflow Architecture to Support Business Processes. Nota final de 17 valores. 2000. Levantamento e estudo dos sistemas de informação da TV Cabo Portugal e apresentação de recomendações com vista à melhoria desses sistemas. Trabalho realizado no âmbito da disciplina de Arquitectura Organizacional dos Sistemas de Informação Empresariais. 1994 1996. Participação na organização das 7 a e 8 a Olimpíadas Informáticas realizadas na Escola Sec. Prof. Herculano de Carvalho da responsabilidade da Associação Portuguesa de Informática. 1993 1994. Responsável pelo Clube de Informática da Esc. Sec. Prof. Herculano de Carvalho. (Sérgio Miguel Martinho Fernandes) Dezembro 2011