CV Lattes
ResearcherID
ORCID
Universidade de São Paulo (USP). Instituto de Ciências Matemáticas e de Computação (ICMC) (Instituição Sede da última proposta de pesquisa) País de origem: Brasil
Professor Titular em Engenharia de Software e Diretor do Instituto de Ciências Matemáticas e de Computação (ICMC-USP, 2010-2014). Pesquisador 1A do CNPq até 02/2024. Atualmente Professor Sênior no ICMC-USP (a partir de março de 2016) e Professor Emérito do ICMC-USP (desde março de 2020). Atuou na Loggi Tecnologia como Coordenador da Relação com a Academia. Possui graduação em Engenharia Elétrica pela Universidade de São Paulo (1978), mestrado em Engenharia e Tecnologia Espaciais pelo Instituto Nacional de Pesquisas Espaciais (1983) e doutorado em Engenharia Elétrica - Computação e Automação pela Universidade Estadual de Campinas (UNICAMP) (1991). Título de Livre-Docente da USP (1996). Vice-Diretor do ICMC-USP (2007-2010). Presidente da Sociedade Brasileira de Computação SBC(2007-2009; 2009-2011); foi Diretor de Educação da SBC (97-99), Membro do Conselho da SBC (1999-2003; 2011-2015; 2017-2021, 2023-2027), Vice-Presidente da SBC (2003-2005; 2005-2007). Presidente da SBC 2007-2011. Membro do CA-CC/CNPq (2006-2009; 2015-2018); Adjunto da Área de Computação da CAPES (2004-2007; 2007-2010, 2018-2022). Membro da Coordenação de Área da FAPESP (2006-2013). Coordenador do Grupo de TIC do IEA Instituto de Estudos Avançados/USP-São Carlos, até 2011. Membro da rede de pesquisa - International Software Engineering Research Network (ISERN, até 2010). Foi membro da Comissão Permanente de Avaliação da USP. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nosseguintes temas: teste de software, educação em engenharia de software, engenharia de software experimental, sistemas embarcados críticos, e ambientes e métodos de ensino. Já publicou mais de 60 artigos em periódicos e mais de uma centena de artigos completos arbitrados, além de 03 livros e mais de uma dezena de capítulos de livros. Coordenou e participou de dezenas de projetos de pesquisa financiados por agências de pesquisa. Coordenou o Instituto Nacional de Ciência e Tecnologia em Sistemas Embarcados Críticos (INCT-SEC), financiado pelo CNPq/Fapesp. Participa de Comitês Editorias de Periódicos Internacionais e já coordenou/participou de mais de uma centena de Comitês de Programas de Eventos Científicos. Recebeu vários prêmios e homenagens, destacando-se: Prêmio de Mérito Científico 2017 da SBC - Sociedade Brasileira de Computação, Comenda do Mérito Científico 2008, Premio Jabuti 2008 de Ciências Exatas, Ciências e Tecnologia (terceiro lugar); Destaque Acadêmico 2007 proferido pela ABDI - Agência Brasileira de Desenvolvimento Industrial; e IV Prêmio Nacional de Informática 1991, conferido pela SEI, MODDATA S/A, Fundação Roberto Marinho. (Fonte: Currículo Lattes)
| Matéria(s) publicada(s) na Revista Pesquisa FAPESP sobre o(a) pesquisador(a): |
| Matéria(s) publicada(s) na Agência FAPESP sobre o(a) pesquisador(a) |
| Mais itensMenos itens |
| TITULO |
| Matéria(s) publicada(s) em Outras Mídias ( ): |
| Mais itensMenos itens |
| VEICULO: TITULO (DATA) |
| VEICULO: TITULO (DATA) |
O foco desta proposta é a transferência de conhecimento matemático para outras áreas da ciência, tecnologia e indústria, por meio de um centro de pesquisa estruturado para esse fim. Todo o conhecimento matemático é, em última análise, aplicável se não diretamente, por meio de outros conhecimentos. Em algumas áreas da matemática a aplicação é quase imediata (entretanto, a colocação em prát…
A Engenharia de Software é uma área em constante evolução e diferentes métodos, técnicas, critérios e ferramentas são desenvolvidos constantemente visando aprimorar a forma como produtos de software são criados, acima de tudo, contribuindo com a melhoria da qualidade de tais produtos. Especificamente em relação a teste de software, metodologias ágeis com ênfase em testes unitários e progr…
O objetivo deste projeto é a aquisição de equipamentos destinados ao apoio no monitoramento dos bens existentes nos prédios onde se localizam os laboratórios de pesquisa, ICMC-1 e ICMC-6, com vistas a garantir a preservação do valor do patrimônio ali instalado. (AU)
O Brasil é um grande usuário de sistemas embarcados críticos, mas é necessário maiores investimentos no sentido de dominar a tecnologia de Sistemas Embarcados Críticos e fomentar a indústria de forma a minimizar a dependência estrangeira. Esse desenvolvimento depende de uma associação entre a pesquisa acadêmica e a indústria, o que deve ser bastante incentivado no país e constitui-se numa…
Revisões sistemáticas (RS) têm sido utilizadas como meio de reunir dados de diferentes estudos experimentais para sintetizar o conhecimento sobre uma dada tecnologia. Uma das fases associadas ao processo de RS consiste da seleção de estudos, muito dificultada quando se depara com grandes volumes de artigos. Uma alternativa para apoiar a atividade de seleção é utilizar mineração visual de …
Esta proposta de mestrado está inserida no contexto do projeto Subsídios para Atividades de VV\&T no Desenvolvimento de Software (CNPq - Universal/2007), o qual visa estudar e explorar novas estratégias, técnicas e critérios de inspeção e teste que apóiem paradigmas de desenvolvimento mais recentemente utilizados, considerando domínios de aplicação específicos. Neste projeto de mestrado p…
Tem-se adotado na Engenharia de Software as revisões sistemáticas como uma forma de reunir dados e informações de diferentes estudos experimentais, permitindo a combinação desses resultados para caracterizar custos e benefícios associados a uma dada tecnologia ou ferramentas/ambientes de desenvolvimento. Apesar de relevante, o processo de condução de revisão sistemática é custoso e em mui…