Curriculum Vitae. Dados Pessoais. Interesses de Investigação. Formação Complementar

Transcrição

1 Sérgio Miguel Fernandes IST/INESC-ID R. Alves Redol 9 Sala Lisboa PORTUGAL Sergio.Fernandes@ist.utl.pt Curriculum Vitae Dados Pessoais Nome Completo: Sérgio Miguel Martinho Fernandes Domicílio: Lisboa (PORTUGAL) Sergio.Fernandes@ist.utl.pt Telefone: (+351) Data de Nascimento: 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 Frequenta o Doutoramento em Engenharia Informática e de Computadores pelo Instituto Superior Técnico, Universidade Técnica de Lisboa 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) 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) o ano de escolaridade, Escola Secundária Professor Herculano de Carvalho. Média final de 18 valores (em 20). Formação Complementar 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 Formação The Coaching Clinic. Duração: 2 dias. Formadora: Susana Azevedo.

2 Actividade Profissional 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) Participação, como investigador do grupo INESC-ID, no Projecto Cloud-TM. Projecto Europeu número do programa FP7-ICT Objective 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/ 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/ 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) 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 Apoio ao ensino na cadeira de Engenharia da Programação, do curso de Engenharia Informática e de Computadores do Instituto Superior Técnico 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 Investigador Estagiário do Grupo de Engenharia de Software do INESC-ID. Publicações 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 (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

3 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 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 Publicado online: moss/transact-2010/public-papers/24.pdf 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 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 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 Janeiro Měřín, República Checa 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 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 Membro do Senado da UTL Membro da Assembleia de Representantes da UTL 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

4 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 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 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 Janeiro Měřín, República Checa 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 Março, th Annual ACM Symposium on Applied Computing (SAC 2011), Universidade Tunghai, Taichung, Taiwan Março, th Annual ACM Symposium on Applied Computing (SAC 2009), Honolulu, Hawaii, EUA Março, th Annual ACM Symposium on Applied Computing (SAC 2008), Fortaleza, Ceará, Brasil Março, th Annual ACM Symposium on Applied Computing (SAC 2007), Seul, Coreia Março, th Annual ACM Symposium on Applied Computing (SAC 2006), Dijon, França Abril, th Annual ACM Symposium on Applied Computing (SAC 2005), Santa Fé, Novo México Março, th Annual ACM Symposium on Applied Computing (SAC 2004), Nicosia, Chipre Março, Desenvolvimento de Software Lock-free JVSTM: implementação da versão lock-free da JVSTM (Java Versioned Software Transactional Memory) WorkSCo (Workflow with Separation of Concerns): Arquitectura da framework e implementação do núcleo do sistema.

5 Desenvolvimento de Software (continuação) 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 Certificação Open Water Diver da PADI Gestor dos sistemas informáticos do Grupo de Engenharia de Software do INESC-ID Curso de Básico de Formação de Socorristas (N. 529/FOR/05) da Cruz Vermelha Portuguesa. Recertificações em 2008 e Curso de Paraquedismo (nível elementar) na Escola de Paraquedismo de Aero-clube de Évora. (N. actual saltos:12) 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 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 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 Responsável pelo Clube de Informática da Esc. Sec. Prof. Herculano de Carvalho. (Sérgio Miguel Martinho Fernandes) Dezembro 2011