Mario Lúcio Côrtes

Possui graduação em Engenharia Eletrônica pelo Instituto Tecnológico de Aeronáutica (1973), mestrado em Engenharia Elétrica pela Universidade de São Paulo (1980) e doutorado em Electrical Engineering - Stanford University (1987). Trabalhou na Fundação Centro de Pesquisa e Desenvolvimento em Telecomunicações como pesquisador e gerente de qualidade no período 1987 a 2010. Professor Associado do Instituto de Computação da Universidade Estadual de Campinas, com ingresso em 1991. Tem experiência na área de Ciência da Computação, com ênfase em Arquitetura de Sistemas de Computação, atuando principalmente nos seguintes temas: engenharia de software, qualidade de software, projeto e teste de circuitos VLSI e arquitetura de computadores.

Informações coletadas do Lattes em 14/01/2024

Acadêmico

Formação acadêmica

Doutorado em Electrical Engineering

1981 - 1987

Stanford University
Título: Temporary Failures in Digital Circuits: Experimental Results and Fault Modeling
Orientador: Edward J McCluskey
Bolsista do(a): Fundação de Amparo à Pesquisa do Estado de São Paulo, FAPESP, Brasil. Palavras-chave: falhas temporárias; falhas intermitentes; sistemas digitais; modelo de falha.Grande área: EngenhariasSetores de atividade: Industria Eletro-Eletrônica.

Mestrado em Engenharia Elétrica

1978 - 1980

Universidade de São Paulo
Título: Avaliação da Confiabilidade em Sistemas Digitais Triplicados, Ano de Obtenção: 1980
Orientador: Francisco José de Oliveira Dias
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: confiabilidade; sistemas digitais; modelamento.Grande área: EngenhariasGrande Área: Engenharias / Área: Engenharia Elétrica / Subárea: Circuitos Elétricos, Magnéticos e Eletrônicos. Setores de atividade: Industria Eletro-Eletrônica.

Graduação em Engenharia Eletrônica

1969 - 1973

Instituto Tecnológico de Aeronáutica

Formação complementar

2008 - 2009

Curso de Formação de Black Belt. (Carga horária: 120h). , ANOVA Métodos para Melhoria, ANOVA, Brasil.

Idiomas

Bandeira representando o idioma Inglês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Bandeira representando o idioma Espanhol

Compreende Bem, Fala Razoavelmente, Lê Bem, Escreve Pouco.

Bandeira representando o idioma Português

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Bandeira representando o idioma Italiano

Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.

Bandeira representando o idioma Francês

Compreende Pouco, Fala Pouco, Lê Razoavelmente, Escreve Pouco.

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Arquitetura de Sistemas de Computação.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Sistemas de Computação/Especialidade: Hardware.

Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Circuitos Elétricos, Magnéticos e Eletrônicos/Especialidade: Circuitos Eletrônicos.

Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Telecomunicações/Especialidade: Sistemas de Telecomunicações.

Grande área: Engenharias / Área: Engenharia de Produção / Subárea: Gerência de Produção/Especialidade: Garantia de Controle de Qualidade.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.

Participação em eventos

Radiance 2015.Membro do Comitê de Programa. 2015. (Simpósio).

SBCCI.Membro do Comitê de Programa. 2015. (Simpósio).

SBCCI.Membro do Comitê de Programa. 2013. (Simpósio).

Participação em bancas

Aluno: João Luís Villar de Oliveira

CÔRTES, MARIO L.; Adler D. de Souza; GARCIA, I. C.; Helio Pedrini; LI, L. T.Lin Tzy Li. Melhorando o Compartilhamento de Conhecimento em repositórios de Tickets: uma abordagem de Algoritmo Genético para Seleção de Características. 2020. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Marcos Vinícius Guimarães Martins Filho

ARAÚJO, Guido; PEREIRA, M.Marcio; FRANCESQUINI, E. C.;CÔRTES, MARIO L.; BALDASSIN, Alexandro J.. A Task-Parallel Approach for Neural Networks. 2020. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Stallin Estefferson Ferreira da Silva

CÔRTES, M. L.; GUDWIN, R. R.; CARVALHO, Ariadne M. B. Rizzoni. Uso de requisitos não-funcionais na estimativa de esforço de software: revisão sistemática e resultados experimentais. 2017. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Edgar Lopes Banhesse

JINO, Mario; SALVIANO, C.; COSTA, M. T. C.;CÔRTES, M. L.. Um metamodelo de perfis de capacidade de processo. 2013. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas.

Aluno: Caio Hoffman

ARAÚJO, Guido; BOIS, A. du;CORTES, MARIO L.; Sandro Rigo; Wang Jiang Chau. Análise de desgaste de técnicas de correção de erros em Phase-Change Memories. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Flávia de Oliveira Santos

ARAÚJO, Guido; AZEVEDO, Rodolfo Jardim de; BALDASSIN, A. J.; CALAZANS, N. L. V.;CÔRTES, M. L.. MediaBox: Uma Plataforma Baseada em NoCs para Aplicações Multimídia. 2013. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Yang Yun Ju

ARAÚJO, Guido; MELCHER, E. U. K.; CENTODUCATTE, Paulo César;CÔRTES, M. L.; MARRANGHELLO, N.. Impacto de Técnicas de Projeto na Redução de Consumo de Potência em ASICs. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: André Oliveira Loureiro do Baixo

ARAÚJO, Guido; AZEVEDO, Rodolfo Jardim de; BRETERNITZ JR, M.;CÔRTES, M. L.; BALDASSIN, A. J.. Mecanismo para execução especulativa de aplicações paralelizadas por técnicas DODIPE usando replicação de estágios. 2011. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: ? Rodrigo Richard Cantos Faveri

Sandro Rigo; Hexsel, Roberto; CENTODUCATTE, Paulo César;CÔRTES, M. L.. Viabilizando a simulação multi-threaded para modelos escritos em SystemC. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: João Batista Corrêa Gomes Moreira

Sandro Rigo; MOREANO, N. B.;CÔRTES, M. L.. Análise de consumo de energia em STMs e uma plataforma de simulação multiprocessada com abstração híbrida. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Leonardo Luiz Ecco

CÔRTES, M. L.; CENTODUCATTE, Paulo César; FROLICH, A. A. M.. SPARC16: Uma nova visão de compressão para processadores SPARC. 2010. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Marcus Valério de Queiroz Bruneli

CÔRTES, M. L.; MARTINS, Eliane; CRESPO, Alberto Nobiato; GUIMARÃES, Célio Cardoso. A utilização de uma metodologia de teste no processamento da melhoria da qualidade do software. 2006. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Eduardo Vasconcelos Silva

CÔRTES, M. L.; GUERRA, Ana Cervigni; MASSRUHA, Silvia Maria Fonseca Silveira; MELLO FILHO, Rogério Drumond Burnier de. Um modelo sistêmico para atividade de avaliação e teste de software. 2006. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Márcio David Drach

CÔRTES, M. L.; GUERRA, Ana Cervigni; CARVALHO, Ariadne M. B. Rizzoni. Aplicabilidade de métricas por pontos de função em sistemas baseados em WEB. 2005. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Maurício Gruhn Sanches

CÔRTES, M. L.; GUERRA, Ana Cervigni; MASSRUHA, Silvia Maria Fonseca Silveira; CARVALHO, Ariadne M. B. Rizzoni. Um estudo sobre os riscos inerentes à implantação do reuso de componentes no processo de desenvolvimento de software. 2005. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Antonio Tupinamba Timbira de Oliveira Pinto Filho

CÔRTES, M. L.; SANTOS, Raimundo Nonato Macedo dos; CARVALHO, José Oscar Fontanini de. As contribuições da comunicação e do conhecimento da ciência da informação para a análise de requisitos no desenvolvimento de software. 2005. Dissertação (Mestrado em Ciência da Informação) - Pontifícia Universidade Católica de Campinas.

Aluno: Elaine Cristina da Cruz Miravete Vianna

CÔRTES, M. L.; BARANAUSKAS, Maria Cecília; SILVA, Júnia Coutinho Anacleto; LEITE, Neucimar Jerônimo. Estudo e proposta de práticas participativas na gestão de requisitos. 2004. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Rogério Prado Colferai

CÔRTES, M. L.; MAGALHÃES, Geovane Cayres; MADEIRA, Edmundo Roberto Mauro; PARREIRA, Anderson Delcio. Desempenho e Modelagem de SGBD Ogjeto-Relacional em Sistema de Visualização de Faturamento na WEB. 2004. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: João Marcelo Borovina Josko

CÔRTES, M. L.; CATTO, Arthur João; GUERRA, Ana Cervigni; LEITE, Neucimar Jerônimo. Gestão de Pessoas em tecnologia da informação - uma visão perspectiva das abordagens. 2004. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Sônia Thereza Maintinguer

CÔRTES, M. L.; GUERRA, Ana Cervigni; PETENATTE, Ademir; ZOQUI, Eugenio. Um método de avaliação especialista para produtos de software, desenvolvido a partir dos requisitos de um edital. 2004. Dissertação (Mestrado em Engenharia Mecânica) - Universidade Estadual de Campinas.

Aluno: Eduardo Paulo Souza

CÔRTES, M. L.; GUERRA, Ana Cervigni; PETENATTE, Ademir. Elementos fundamentais na melhoria da qualidade de software. 2004. Dissertação (Mestrado em Engenharia Mecânica) - Universidade Estadual de Campinas.

Aluno: Christian Farias da Silva

CÔRTES, M. L.. Algoritmos para síntese de sistemas embutidos tolerantes a falhas empregando reconfiguração dinâmica de FPGAs. 2003. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas.

Aluno: Ângela Cristina de Oliveira

MARTINS, Eliane; SILVA, Maria de Fátima Rdolfi Ordini Pires da; ANIDO, Ricardo de Oliveira;CÔRTES, M. L.. ETIERP - Estratégia de testes para implantação de sistemas ERP. 2003. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: José Artur Quilici Gonzalez

CÔRTES, M. L.. Algoritmos de otimização de planos de teste de unidades funcionais para circuitos BIST. 2001. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Alexandre Carvalho de Alencar

CÔRTES, M. L.. Qualidade de dados em aplicações geográficas. 2000. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Ademir Morgenstern Padilha

CÔRTES, M. L.. MAPS-15504: Uma metodologia de avaliação de processo de software para o ambiente ExPSEE baseada no ISO/IEC TR 15504. 2000. Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Jorge Arturo Martin Polar

CÔRTES, M. L.. Projeto e implementação da unidade de interface de rede de um sistema de barramento automotivo. 1998. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas.

Aluno: Roberto Cangellar Cossi Júnior

CÔRTES, M. L.. Aplicações do boundary scan para o teste de módulos multi-chip. 1996. Dissertação (Mestrado em Engenharia Elétrica) - Universidade de São Paulo.

Aluno: Henrique Eduardo Goulart

CÔRTES, M. L.. Integração de ferramentas automáticas de teste e diagnóstico. 1996. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: RENATO JANSEN DE OLIVEIRA FIGUEIREDO

CÔRTES, M. L.. Síntese comportamental de circuitos utilizando SDL. 1995. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas.

Aluno: Wilton Speziali Caldas

CÔRTES, M. L.. título. 1994. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Álvaro Freitas Moreira

CÔRTES, M. L.. Uma Semântica Axiomática para DSL - uma Linguagem para Descrição de Hardware. 1992. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Fabian Luis Vargas

CÔRTES, M. L.. Validação de Protótipo e Análise de Falhas no Teste com Feixe de Elétrons: Um Estudo Visando a Sua Automação. 1991. Dissertação (Mestrado em Computação) - Universidade Federal do Rio Grande do Sul.

Aluno: Carlos Alberto Pisani

CÔRTES, M. L.. Medidor de dose de íons implantados. 1990. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas.

Aluno: Alexandre César Rodrigues da Silva

CÔRTES, M. L.. Contribuição à minimização e simulação de circuitos lógicos. 1989. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas.

Aluno: Luiz Alberto Ferreira Gomes

CÔRTES, M. L.; TORRES, R. S.; Helio Pedrini; GARCIA, I. C.; BRAGA, R. T. V.; LIMA, M. A. V.. Prediction-based Software Maintenance: A Machine Learning Perspective. 2021. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Márcio Machado Pereira

ARAÚJO, Guido; RIGO, S.; BALDASSIN, A. J.; CASTRO, M. B.;CORTES, MARIO L.. Scheduling Techniques for Transactional Memories. 2015. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Juliana Galvani Greghi

MARTINS, Eliane; VIEIRA, M.; MATTIELLO-FRANCISCO, M. F.; JINO, Mario; RUBIRA, C. M. F.;CÔRTES, M. L.; SANTANCHE, A.; NAKAGAWA, E. Y.. Geração Semiautomática de Máquinas Finitas de Estados Estendidas a Partir de Documento de Padronização do Domínio Aeroespacial. 2015. Tese (Doutorado em Doutorado em Ciência da Computação - UNICAMP) - Universidade Estadual de Campinas.

Aluno: Liana Dessandre Duenha Garanhani

AZEVEDO, R. J.; MORAES, F. G.; BALDASSIN, A. J.;ARAÚJO, Guido; WANNER, L. F.; BORIN, E.;CÔRTES, M. L.; SANTOS, R. R.. MPSoCBench: a Benchmark for High-Level Evaluation of Multiprocessor System-on-Chip Tools and Methodologies. 2015. Tese (Doutorado em Doutorado em Ciência da Computação - UNICAMP) - Universidade Estadual de Campinas.

Aluno: Bruno Cardoso Lopes

AZEVEDO, R. J.; SILVA, J. L. E.; HEXSEL, R. A.;ARAÚJO, GuidoCÔRTES, M. L.; TOKARNIA, A. M. B. H.; RIGO, S.; BALDASSIN, A.. Estudo e Avaliação de Conjuntos de Instruções Compactos. 2014. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Leonardo de Paula Rosa Piga

NAVAUX, P. O. A.; SENGER, H.; MADEIRA, E. R. M.; AZEVEDO, R. J.; HENRIQUES, M. A. A.;CÔRTES, M. L.; BALDASSIN, A. J.. Modeling, characterization, and optimization of web server power in data centers. 2013. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Felipe Vieira Klein

AZEVEDO, Rodolfo Jardim de; Luiz Carlos Villar dos Santos; Luigi Carro; Reinaldo Bergamaschi; Sandro Rigo; Wang Jiang Chau;CÔRTES, M. L.. Técnicas Avançadas de Modelagem, Análise e Otimização de Potência em Sistemas Digitais. 2009. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Alexandre José Baldassin

CENTODUCATTE, Paulo César; Meira, Wagner; Lima, Manoel Eusébio;CÔRTES, M. L.; Calciolari, IIslene. Explorando memória transacional em software nos contextos de arquiteturas assimétricas, jogos computacionais e consumo de energia. 2009. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: ? Ricardo Ribeiro dos Santos

AZEVEDO, Rodolfo Jardim de;CÔRTES, M. L.; CENTODUCATTE, Paulo César; SOUZA, Alberto Ferreira de; SATO, L. M.. 2D-VLIW: uma Arquitetura de Processador Baseada na Geometria da Computação. 2007. Tese (Doutorado em Doutorado em Ciência da Computação - UNICAMP) - Universidade Estadual de Campinas.

Aluno: Clenio Figueiredo Salviano

CÔRTES, M. L.; JINO, Mario; SPÍNOLA, Mauro de Mesquita; CARDOZO, Eleri; RICARTE, Ivan Luiz Marques; MAGALHÃES, Maurício Ferreira. Uma proposta orientada a perfis de capacidade de processo para evolução da melhoria de processo de software. 2006. Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas.

Aluno: Nahri Balesdent Moreano

CÔRTES, M. L.ARAÚJO, Guido; SONG, Siang Wun; WAGNER, Flávio Rech; KOWALTOWSKI, Tomasz; SOUZA, Cid Carvalho de. Algoritmos para Alocação de Recursos em Arquiteturas Reconfiguráveis. 2005. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Wilton Speziali Caldas

CÔRTES, M. L.; FERNANDES, Antonio Otavio; BERGERMAN, Marcel; CAMPOS, Mario Fernando Montenegro; COELHO JUNIOR, Claudionor Jose Nunes. Tolerância a falhas adaptativa para robôs móveis com arquitetura híbrida. 2004. Tese (Doutorado em Ciências da Computação) - Universidade Federal de Minas Gerais.

Aluno: Eduardo Bráulio Wanderley Netto

CÔRTES, M. L.; CENTODUCATTE, Paulo César; AZEVEDO, Rodolfo Jardim de. Compressão de código baseada em multi-profiles. 2004. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Rodolfo Jardim de Azevedo

CÔRTES, M. L.. Uma arquitetura para a execução de programas comprimidos em sistemas dedicados. 2002. Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Ricardo Pannain

CÔRTES, M. L.. Compressão de código de programa usando fatoração de operandos. 1999. Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas.

Aluno: Marcelo Arturo Jara Pérez

CÔRTES, M. L.. Projeto e implementação em VLSI de uma rede neural auto-organizável, utilizando síntese automática de alto nível. 1997. Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas.

Aluno: Alexandre César Rodrigues da Silva

CÔRTES, M. L.. Contribuição à minimização e simulação de circuitos lógicos. 1993. Tese (Doutorado em Engenharia Elétrica) - Universidade Estadual de Campinas.

Aluno: [Nome removido após solicitação do usuário]

ARAÚJO, Guido; BORIN, E.; MORAES, F. G.;CÔRTES, M. L.; CALAZANS, N. L. V.. Metodologias para Simulações Arquiteturais Rápidas Utilizando a ADL ArchC.. 2013. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: ? Felipe Vieira Klein

CÔRTES, M. L.; AZEVEDO, Rodolfo Jardim de. Análise e Otimização de Potência de SoCs Heterogêneos. 2007. Exame de qualificação (Doutorando em Doutorado em Ciência da Computação - UNICAMP) - Universidade Estadual de Campinas.

Aluno: Juliano Schimiguel

CÔRTES, M. L.; BARANAUSKAS, Maria Cecília; MARTINS, Eliane; SILVA, Junia Coutinho Anacelto. Qualidade em Interface para Aplicações em SIG na WEB. 2005. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Ricardo Ribeiro dos Santos

CÔRTES, M. L.ARAÚJO, Guido. Técnicas Arquiteturais e Geração de Código para Arquiteturas Reconfiguráveis. 2005. Exame de qualificação (Doutorando em Ciência da Computação) - Universidade Estadual de Campinas.

Aluno: Wilton Speziali Caldas

CÔRTES, M. L.; FERNANDES, Antonio Otavio; CAMPOS, Mario Fernando Montenegro; BERGERMAN, Marcel; COELHO JUNIOR, Claudionor Jose Nunes. Tolerância a falhas adaptativa para robôs móveis com arquitetura híbrida. 2001. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Minas Gerais.

TOZZI, C. L.; KRETLY, L. C.; LOTUFO, R. A.; CARVALHO, A. A.; SEARA, R.;CORTES, MARIO L.; MAGALHAES, L. P.. Concurso para o provimento decargo de Professor Doutor, nível MS 3.1. 2015. Universidade Estadual de Campinas.

TOZZI, C. L.; YACOUB, M. D.; SUSIN, A. A.; COURY, D. V.;CÔRTES, M. L.; RICARTE, I. L. M.. Concurso para o provimento decargo de Professor Doutor, nível MS 3.1. 2014. Universidade Estadual de Campinas.

CÔRTES, M. L.. Concurso para preenchimento de vaga de professor associado; candidatos Rodolfo Jardim de Azevedo, Martha Ximena Torres Delgado e Marcelo Carvalho Tosin. 2003. Universidade Estadual de Campinas.

CÔRTES, M. L.. Concurso para admissão de professor assistente-doutor; candidatos Antônio Augusto Fasolo Quevedo e Alice Maria Bastos Hubinger Tokarnia. 1999. Universidade Estadual de Campinas.

CÔRTES, M. L.. Concurso para admissão de professor adjunto; candidatos Antônio Otávio Fernandes. 1991. Universidade Federal de Minas Gerais.

SPÍNOLA, Mauro de Mesquita; Selma shin shimizu melnikiff; SHIMIZU, T.; RICCIO, E. L.; SOMA, N. Y.;CÔRTES, M. L.. Concurso para Livre Docência de Mauro de Mesquita Spínola. 2008. Universidade de São Paulo.

CÔRTES, M. L.. Concurso para professor livre docente Guido Costa Souza de Araújo. 2001. Universidade Estadual de Campinas.

Comissão julgadora das bancas

Lucas Antônio Moscato

MOSCATO, L. A.. Avaliação de Confiabilidade em Sistemas Digitais Triplicados. 1980. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.

Orientou

João Luís Villar de Oliveira

Melhorando o Compartilhamento de Conhecimento em repositórios de Tickets: uma abordagem de Algoritmo Genético para Seleção de Características; 2020; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas,; Orientador: Mario Lúcio Côrtes;

Stallin Estefferson Ferreira da Silva

Uso de requisitos não-funcionais na estimativa de esforço de software: revisão sistemática e resultados experimentais; 2017; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas,; Orientador: Mario Lúcio Côrtes;

Jefferson Rodrigo Capovilla

Improving the Statistical Variability of Delay-based Physical Unclonable Functions; 2016; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas,; Coorientador: Mario Lúcio Côrtes;

Alexander Sieh

Uma implementação em Standard Cell de novos dispositivos PUF (Physical Unclonable Function); 2015; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas,; Coorientador: Mario Lúcio Côrtes;

Daniel Vidal

Desenvolvimento e avaliação de uma técnica eficiente para estimativa de potência dinâmica em circuitos digitais gate-level; 2015; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas,; Orientador: Mario Lúcio Côrtes;

Vitor Ciaramella

A Project Management Game-based learning tool; 2014; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas,; Orientador: Mario Lúcio Côrtes;

Marcelo Fontes Santana

Autenticação de circuitos integrados usando Physical Unclonable Functions; 2012; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Coorientador: Mario Lúcio Côrtes;

Luiz Yukishigue Kacuta

Integração de modelo do negócio com a especificação de software: uma proposta para alinhar sistemas à estratégia do negócio; 2006; 0 f; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas,; Coorientador: Mario Lúcio Côrtes;

Gisele Consoline do Couto

Uma avaliação da influência da arquitetura no desempenho de sistemas de software; 2006; 0 f; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas,; Orientador: Mario Lúcio Côrtes;

Andreza Polcelli

Um estudo sobre a relevância de melhores práticas de Engenharia de Requisitos; 2005; 120 f; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas,; Orientador: Mario Lúcio Côrtes;

João Marcelo Borovina Josko

Gestão de pessoas em tecnologia da informação ? uma visão perspectiva das abordagens; 2004; 93 f; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas,; Orientador: Mario Lúcio Côrtes;

Luiz Alberto Gomes

Aplicabilidade de modelos de qualidade ao desenvolvimento de aplicativos para comércio eletrônico; 2003; 100 f; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas,; Orientador: Mario Lúcio Côrtes;

Alexandro dos Santos Adário

Implementação em FPGA de um processador matricial para processamento de imagem; 1997; 100 f; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Orientador: Mario Lúcio Côrtes;

Josemir Cruz Alexandrino

Uma Implementação em VLSI para o Reconhecimento de Imagens; 1994; 100 f; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Mario Lúcio Côrtes;

Carlos Geraldo Kruger

ASIC e VHDL: um Estudo de Metodologia de Projeto de Alto Nível Visando Reusabilidade de Hardware; 1993; 100 f; Dissertação (Mestrado em Ciência da Computação) - Universidade Estadual de Campinas,; Orientador: Mario Lúcio Côrtes;

Bernadete Aparecida de Lima Oliveira

Especificação de um Auditor de Testabilidade de Projetos de CIs Digitais Baseados em Células; 1991; 100 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas,; Coorientador: Mario Lúcio Côrtes;

José Mendonça Furtado Neto

H-ALG: Um algorítmo Hierárquico para a Geração de Padrão de Teste; 1990; 100 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Estadual de Campinas,; Orientador: Mario Lúcio Côrtes;

Luiz Alberto Ferreira Gomes

Prediction-based Software Maintenance: A Machine Learning Perspective; 2021; Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas,; Orientador: Mario Lúcio Côrtes;

Caio Hoffman

Computer Security by Hardware-Intrinsic Authentication; 2019; Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas, Fundação de Amparo à Pesquisa do Estado de São Paulo; Coorientador: Mario Lúcio Côrtes;

Luiz Alberto Gomes

Processo de desenvolvimento de linhas de produto visando a manutenibilidade; 2015; Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas,; Orientador: Mario Lúcio Côrtes;

Paulo César Centoducatte

Compressão de Programas Usando Árvores de Expressão; 2000; 120 f; Tese (Doutorado em Ciência da Computação) - Universidade Estadual de Campinas,; Orientador: Mario Lúcio Côrtes;

Rodrigo Surita

Um novo método para coleta de spikes em respostas de PUFs (Physical Unclonable Function); 2017; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Estadual de Campinas; Orientador: Mario Lúcio Côrtes;

Lucas Carrilho Pessoa

Um novo método para garantir a integridade de programas de software com o uso de PUFs (Physical Unclonable Function); 2014; Iniciação Científica; (Graduando em Ciência da Computação) - Universidade Estadual de Campinas; Orientador: Mario Lúcio Côrtes;

Produções bibliográficas

  • GOMES, LUIZ ; DA SILVA TORRES, RICARDO ; CÔRTES, MARIO LÚCIO . BERT- and TF-IDF-based feature extraction for long-lived bug prediction in FLOSS: A comparative study. INFORMATION AND SOFTWARE TECHNOLOGY , v. 160, p. 107217, 2023.

  • GOMES, LUIZ ALBERTO FERREIRA ; DA SILVA TORRES, RICARDO ; CÔRTES, MARIO LÚCIO . On the prediction of long-lived bugs: An analysis and comparative study using FLOSS projects. INFORMATION AND SOFTWARE TECHNOLOGY , v. 132, p. 106508, 2021.

  • GOMES, LUIZ ALBERTO FERREIRA ; TORRES, RICARDO DA SILVA ; CÔRTES, MARIO LÚCIO . Bug Report Severity Level Prediction in Open Source Software: A Survey and Research Opportunities. INFORMATION AND SOFTWARE TECHNOLOGY , v. 115, p. 58-78, 2019.

  • SURITA, RODRIGO C. ; CÔRTES, MARIO L. ; ARANHA, DIEGO F. ; ARAUJO, GUIDO . CRPUF: A modeling-resistant delay PUF based on cylindrical reconvergence. MICROPROCESSORS AND MICROSYSTEMS , v. 60, p. 10-22, 2018.

  • CÔRTES, M. L. ; CHIOSSI, Thelma C dos Santos . Modelos de Qualidade de Software. 1. ed. Campinas: Editora da Unicamp, 2001. v. 3000. 150p .

  • CÔRTES, M. L. ; FURTADO NETO, J. M. . Introdução ao Teste de Circuitos Digitais. Rio de Janeiro: V Escola Brasileiro-Argentina de Informática, 1991. v. 500. 140p .

  • HOFFMAN, CAIO ; GEBOTYS, CATHERINE ; ARANHA, DIEGO F. ; CORTES, MARIO ; ARAUJO, GUIDO . Circumventing Uniqueness of XOR Arbiter PUFs. In: 2019 22nd Euromicro Conference on Digital System Design (DSD), 2019, Kallithea. 2019 22nd Euromicro Conference on Digital System Design (DSD), 2019. p. 222.

  • SILVA, STALLIN E. F. ; CORTES, MARIO L. . Use of Non-functional Requirements in Software Effort Estimation: Systematic Review and Experimental Results. In: 2017 5th International Conference in Software Engineering Research and Innovation (CONISOFT), 2017, Merida. 2017 5th International Conference in Software Engineering Research and Innovation (CONISOFT), 2017. p. 1-9.

  • SURITA, RODRIGO C. ; CORTES, MARIO L. ; ARANHA, DIEGO F. ; ARAUJO, GUIDO . Cylindrical Reconvergence Physical Unclonable Function. In: 2016 Euromicro Conference on Digital System Design (DSD), 2016, Limassol. 2016 Euromicro Conference on Digital System Design (DSD), 2016. p. 446.

  • CAPOVILLA, JEFFERSON ; CORTES, MARIO ; ARAUJO, GUIDO . Improving the Statistical Variability of Delay-based Physical Unclonable Functions. In: the 28th Symposium, 2015, Salvador. Proceedings of the 28th Symposium on Integrated Circuits and Systems Design - SBCCI '15. v. 28. p. 1.

  • HOFFMAN, CAIO ; CORTES, MARIO ; ARANHA, DIEGO F. ; ARAUJO, GUIDO . Computer security by hardware-intrinsic authentication. In: 2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), 2015, Amsterdam. 2015 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS). v. 2015. p. 143.

  • VIDAL, DANIEL ; CORTES, MARIO L. . Fast and accurate solution for power estimation and DPA countermeasure design. In: 2014 24th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), 2014, Palma de Mallorca. 2014 24th International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS). p. 1.

  • CÔRTES, M. L. ; VILLASBOAS, André ; LOPES, Sílvia . Do SQA ao PPQA: a implementação CMMI do CPqD. In: SIMPROS 2005 - VII Simpósio Internacional de Melhoria de Processos de Software, 2005, São Paulo. SIMPROS 2005 - VII Simpósio Internacional de Melhoria de Processos de Software, 2005.

  • CÔRTES, M. L. ; BOSKO, João Marcelo Borovina . P-CMM e outros modelos na Gestão de Pessoas. In: SIMPROS 2005 - VII Simpósio Internacional de Melhoria de Processos de Software, 2005, São Paulo. SIMPROS 2005 - VII Simpósio Internacional de Melhoria de Processos de Software, 2005.

  • CÔRTES, M. L. ; GOMES, Luiz Alberto . Comércio Eletrônico: uma Análise da Aplicabilidade de Modelos de Qualidade de Software. In: I Simpósio Brasileiro de Qualidade de Software, 2002, Gramado. I Simpósio Brasileiro de Qualidade de Software, 2002. v. 1. p. 100-115.

  • CÔRTES, M. L. ; GOMES, Luiz Alberto . Suitability of Software Quality Models to E-Commerce Applications. In: IADIS International Conference WWW/INTERNET 2002, 2002, Lisboa. Proceedings of the IADIS International Conference WWW/INTERNET 2002, 2002. v. 1. p. 632-635.

  • CÔRTES, M. L. . Uma avaliação CMM de baixo custo: a abordagem do CPqD. In: Workshop de Qualidade de Software - SBC, 2001, Rio de Janeiro. Workshop de Qualidade de Software - Simpósio Brasileiro de Engenharia de Software, 2001. p. 51-61.

  • CÔRTES, M. L. ; BASTOS, Marta R ; VILLASBOAS, André . Implantação CMM: a Experiência do CPqD. In: X Conferência Internacional de Tecnologia de Software (CITS), 1999, Curitiba. X Conferência Internacional de Tecnologia de Software, 1999.

  • CÔRTES, M. L. ; VILLASBOAS, André ; BASTOS, Marta R ; ARRUDA, Nazareth . Avaliação CMM: a Experiência do CPqD. In: Workshop de Qualidade de Software - SBC, 1998, Maringá - Paraná. Anais do Workshop de Qualidade de Software - XII Simpósio Brasileiro de Engenharia de Software, 1998.

  • CÔRTES, M. L. ; ARAÚJO, Guido ; PANNAIN, Ricardo ; CENTODUCATTE, Paulo César . Code compression based on operand factorization. In: 31st International Symposium on Microarchitectures, 1998, Dallas - EUA. 31st International Symposium on Microarchitectures, 1998.

  • CÔRTES, M. L. . Introdução ao teste de sistemas digitais. In: International Conference on Microelectronics and Packaging, 1998, Curitiba. International Conference on Microelectronics and Packaging, 1998.

  • CÔRTES, M. L. ; ADÁRIO, Alexandro dos Santos ; LEITE, Neucimar José . A FPGA Implementation of a Neighbourhood Processor for Digital Image Applications. In: X Simpósio Brasileiro de Concepção de Circuitos Integrados, 1997, Gramado. X Simpósio Brasileiro de Concepção de Circuitos Integrados, 1997.

  • CÔRTES, M. L. ; ADÁRIO, Alexandro dos Santos . Considerações sobre a Síntese em FPGAs de Células de Processadores Matriciais. In: XXIII Seminário Integrado de Software e Hardware - SEMISH, 1996, Recife. XXIII Seminário Integrado de Software e Hardware, 1996.

  • CÔRTES, M. L. ; ALEXANDRINO, Josemir Cruz . Uma Implementação em VLSI para o Reconhecimento de Imagens. In: XX Seminário Integrado de Software e Hardware, 1993, Florianópolis. XX Seminário Integrado de Software e Hardware, 1993.

  • CÔRTES, M. L. ; ALEXANDRINO, Josemir Cruz . Uma Implementação em VLSI para Wisard. In: Workshop sobre Computação de Alto Desempenho para Processamento de Sinais, 1993, São Carlos. Workshop sobre Computação de Alto Desempenho para Processamento de Sinais, 1993.

  • CÔRTES, M. L. . Uma Implementação em VLSI para o Reconhecimento de Imagem. In: VI Conferência Nacional de Inteligência Artificial, 1993, Barquisimeto - Venezuela. VI Conferência Nacional de Inteligência Artificial, 1993.

  • CÔRTES, M. L. . Planejamento de EDA: a Experiência do CPqD. In: VI Congresso da Sociedade Brasileira de Micro-Eletrônica, 1991, Belo Horizonte. VI Congresso da Sociedade Brasileira de Micro-Eletrônica, 1991.

  • FURTADO NETO, J. M. ; CÔRTES, M. L. . H-ALG: um Algoritmo Hierárquico para a Geração de Padrão de Teste. In: IV Congresso da Sociedade Brasileira de Micro-Eletrônica, 1989, Porto Alegre. IV Congresso da Sociedade Brasileira de Micro-Eletrônica, 1989.

  • CÔRTES, M. L. ; RIBEIRO, A. J. L. . PLAs: Geração de Padrão de Teste e Avaliação de cobertura. In: IV Congresso da Sociedade Brasileira de Micro-Eletrônica, 1989, Porto Alegre. IV Congresso da Sociedade Brasileira de Micro-Eletrônica, 1989.

  • CÔRTES, M. L. ; FURTADO NETO, J. M. . I-ALG: um Algoritmo para a Geração de Padrão de Teste. In: III Congresso da Sociedade Brasileira de Micro-Eletrônica, 1988, São Paulo. III Congresso da Sociedade Brasileira de Micro-Eletrônica, 1988.

  • AMER, H. ; CÔRTES, M. L. . Robust Dynamic Recovery Mechanisms. In: IEEE International Conference on Computer Design, 1987, New York. IEEE International Conference on Computer Design, 1987.

  • CÔRTES, M. L. ; MCCLUSKEY, E. J. . Modeling Power Supply Disturbances in Digital Circuits. In: IEEE International Solid State Circuits Conference, 1986, Anaheim, California. IEEE International Solid State Circuits Conference, 1986. p. 164-165.

  • CÔRTES, M. L. ; MCCLUSKEY, E. J. . Properties of Transient Errors Due to Power Sypply Disturbances. In: IEEE International Symposium on Circuits and Systems, 1986, San Jose, California. IEEE International Symposium on Circuits and Systems, 1986. p. 1046-1049.

  • CÔRTES, M. L. ; MCCLUSKEY, E. J. . An Experiment on Intermittent-Failure Mechanisms. In: IEEE International Test Conference, 1986, Washington, DC. IEEE International Test Conference, 1986.

  • CÔRTES, M. L. ; IYER, R. K. . Device Failures and System Activity: a Thermal Effects Model. In: IEEE Fault Tolerant Computing Symposium, 1984, Orlando, Florida. IEEE Fault Tolerant Computing Symposium, 1984. p. 71-76.

  • CORTES, MARIO L. . Radiance. 2015. (Apresentação de Trabalho/Simpósio).

Outras produções

VIDAL, D. ; CÔRTES, M. L. . DPE (Fast and Accurate Dynamic Power Estimation): Implementation and User Guidelines. 2015.

CÔRTES, M. L. ; ARAÚJO, Guido ; PANNAIN, Ricardo ; CENTODUCATTE, Paulo César . Code compression based on operand factorization. 1998.

CÔRTES, M. L. ; AUGUSTO, Nelson Vitor ; CENTODUCATTE, Paulo César . A CPU for Educational Applications Designed with VHDL and FPGA. 1996.

CÔRTES, M. L. ; KRUGER, Carlos Geraldo . Modelamento, simulação e síntese com VHDL. 1993.

CÔRTES, M. L. . Techniques for Injecting Non Stuck-at Faults. 1987.

CÔRTES, M. L. ; AMER, H. . Inadequacy of Conventional Dynamic Recovery Mechamins in the Presence of Temporary Failures. 1987.

CÔRTES, M. L. ; GOOSEN, H. . Design of the Detector II: a CMOS Gate Array for the Study of Concurrent Error Detection Techniques. 1987.

CÔRTES, M. L. . 25th Symposium on Integrated Circuits and System Design. 2012. (Membro do Comitê de Programa da SBCCI-2012).

Projetos de desenvolvimento

  • 2008 - 2010

    Tradução oficial do modelo CMMI v. 1.2 para o Português, Descrição: Tradução oficial do modelo CMMI v. 1.2 para o Português.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Mario Lúcio Côrtes - Coordenador.

  • 2008 - 2010

    Tradução oficial do modelo CMMI v. 1.2 para o Português, Descrição: Tradução oficial do modelo CMMI v. 1.2 para o Português.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Mario Lúcio Côrtes - Coordenador.

  • 2008 - 2010

    Tradução oficial do modelo CMMI v. 1.2 para o Português, Descrição: Tradução oficial do modelo CMMI v. 1.2 para o Português.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Mario Lúcio Côrtes - Coordenador.

  • 2008 - 2010

    Tradução oficial do modelo CMMI v. 1.2 para o Português, Descrição: Tradução oficial do modelo CMMI v. 1.2 para o Português.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Mario Lúcio Côrtes - Coordenador.

  • 2008 - 2010

    Tradução oficial do modelo CMMI v. 1.2 para o Português, Descrição: Tradução oficial do modelo CMMI v. 1.2 para o Português.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Mario Lúcio Côrtes - Coordenador.

  • 2008 - 2010

    Tradução oficial do modelo CMMI v. 1.2 para o Português, Descrição: Tradução oficial do modelo CMMI v. 1.2 para o Português.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Mario Lúcio Côrtes - Coordenador.

  • 2008 - 2010

    Tradução oficial do modelo CMMI v. 1.2 para o Português, Descrição: Tradução oficial do modelo CMMI v. 1.2 para o Português.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Mario Lúcio Côrtes - Coordenador.

  • 2008 - 2010

    Tradução oficial do modelo CMMI v. 1.2 para o Português, Descrição: Tradução oficial do modelo CMMI v. 1.2 para o Português.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Mario Lúcio Côrtes - Coordenador.

  • 2008 - 2010

    Tradução oficial do modelo CMMI v. 1.2 para o Português, Descrição: Tradução oficial do modelo CMMI v. 1.2 para o Português.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Mario Lúcio Côrtes - Coordenador.

  • 2008 - 2010

    Tradução oficial do modelo CMMI v. 1.2 para o Português, Descrição: Tradução oficial do modelo CMMI v. 1.2 para o Português.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Mario Lúcio Côrtes - Coordenador.

  • 2008 - 2010

    Tradução oficial do modelo CMMI v. 1.2 para o Português, Descrição: Tradução oficial do modelo CMMI v. 1.2 para o Português.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Mario Lúcio Côrtes - Coordenador.

  • 2008 - 2010

    Tradução oficial do modelo CMMI v. 1.2 para o Português, Descrição: Tradução oficial do modelo CMMI v. 1.2 para o Português.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Mario Lúcio Côrtes - Coordenador.

  • 2008 - 2010

    Tradução oficial do modelo CMMI v. 1.2 para o Português, Descrição: Tradução oficial do modelo CMMI v. 1.2 para o Português.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Mario Lúcio Côrtes - Coordenador.

  • 2008 - 2010

    Tradução oficial do modelo CMMI v. 1.2 para o Português, Descrição: Tradução oficial do modelo CMMI v. 1.2 para o Português.. , Situação: Concluído; Natureza: Desenvolvimento. , Integrantes: Mario Lúcio Côrtes - Coordenador.

Prêmios

2014

Primeiro lugar na categoria Model2Market, em inovação no evento Spin 2014, Reitoria da UNICAMP.

Histórico profissional

Endereço profissional

  • Universidade Estadual de Campinas, Institudo de Computação. , Av Albert Einstein, 1251, Barão Geraldo, 13083852 - Campinas, SP - Brasil, Telefone: (19) 35215835, Fax: (19) 35215835, URL da Homepage:

Experiência profissional

2010 - Atual

Universidade Estadual de Campinas

Vínculo: Servidor Público, Enquadramento Funcional: Professor associado, Regime: Dedicação exclusiva.

1989 - 2010

Universidade Estadual de Campinas

Vínculo: Servidor Público, Enquadramento Funcional: Professor associado, Carga horária: 20

Outras informações:
A partir de março de 2010, passou a ser RDIDP (Regime de Dedicação Integral à Docência e Pesquisa)

Atividades

  • 08/2012

    Direção e administração, Institudo de Computação.,Cargo ou função, Chefe do Departamento de Sistemas de Computação.

  • 08/1998

    Extensão universitária , Institudo de Computação.,Atividade de extensão realizada, INF 310 - Modelos de Qualidade de Software.

  • 01/1989

    Pesquisa e desenvolvimento, Institudo de Computação.,Linhas de pesquisa

  • 01/1989

    Ensino, Ciência da Computação, Nível: Pós-Graduação,Disciplinas ministradas, MO 612 - Introdução ao Projeto de Sistemas VLSI, MO 813 - Teste de Circuitos Digitais, MO 401 - Arquitetura de Computadores, MO 647 - Introdução ao Projeto de Sistemas VLSI

  • 01/1989

    Ensino, Engenharia da Computação, Nível: Graduação,Disciplinas ministradas, MC 602 - Introdução a Circuitos Lógicos, MC 603 - Laboratório de Circuitos Lógicos, MC 922 - Introdução ao Projeto de Sistemas VLSI, MC 702 - Arquitetura de Computadores, MC 722- Arquitetura de Computadores, MC 726- Análise e Projeto de Sistemas de Informação (Qualidade de Software, MC 522 - Organização de Computadores

  • 10/2012 - 08/2014

    Direção e administração, Institudo de Computação.,Cargo ou função, Presidente da Comissão Diretora de Informática.

  • 08/2013 - 06/2014

    Conselhos, Comissões e Consultoria, Institudo de Computação.,Cargo ou função, Membro de Comissão para avaliação de solicitação para revalidação de diploma.

  • 11/2013 - 05/2014

    Conselhos, Comissões e Consultoria, Institudo de Computação.,Cargo ou função, Organizador (como chefe do Departamento de Sistemas de Computação) de concurso para contratação de professor doutor.

1987 - 2010

Fundação Centro de Pesquisa e Desenvolvimento em Telecomunicações, CPqD

Vínculo: Celetista formal, Enquadramento Funcional: Pesquisador e Gerente de Qualidade, Carga horária: 40

Outras informações:
Trabalhei nas áreas: - Gerente da Qualidade (atual) - Gerente de Ambiente de Desenvolvimento de Software - Gerente de Ambiente de Desenvolvimento de Hardware - Engenheiro de Teste de Circuito Integrado Entre 2008 e 2010 coordenou e participou do projeto de tradução oficial do modelo CMMI versão 1.2 para o português. A tradução está atualmente disponível para consulta de toda a comunidade no site do SEI: http://www.sei.cmu.edu/

Atividades

  • 04/1998 - 02/2010

    Treinamentos ministrados , Assessoria da Qualidade.,Treinamentos ministrados, Sistema da Qualidade do CPqD

  • 04/1998 - 02/2010

    Treinamentos ministrados , Assessoria da Qualidade.,Treinamentos ministrados, Qualidade de Software

  • 01/1998 - 02/2010

    Pesquisa e desenvolvimento, Assessoria da Qualidade.,Linhas de pesquisa

  • 04/1997 - 02/2010

    Direção e administração, Assessoria da Qualidade.,Cargo ou função, Assessor da Qualidade.

  • 01/1997 - 02/2010

    Pesquisa e desenvolvimento, Assessoria da Qualidade.,Linhas de pesquisa

  • 11/1996 - 01/2000

    Pesquisa e desenvolvimento, Assessoria da Qualidade.,Linhas de pesquisa

  • 06/1995 - 03/1997

    Direção e administração, Assessoria da Qualidade.,Cargo ou função, Gerente da Seção de Ambientes Básicos.

1980 - 1981

Fundação Brasileira para o Desenvolvimento do Ensino da Ciência

Vínculo: Servidor público ou celetista, Enquadramento Funcional: Engenheiro, Carga horária: 40

Atividades

  • 10/1980 - 08/1981

    Outras atividades técnico-científicas , Fundação Brasileira Para o Desenvolvimento do Ensino da Ciência, Fundação Brasileira Para o Desenvolvimento do Ensino da Ciência.,Atividade realizada, Desenvolvimento de circuito para controle de velocidade de motor DC.

  • 10/1980 - 08/1981

    Outras atividades técnico-científicas , Fundação Brasileira Para o Desenvolvimento do Ensino da Ciência, Fundação Brasileira Para o Desenvolvimento do Ensino da Ciência.,Atividade realizada, Desenvolvimento de um eletrocardiógrafo com controle microprocessado.

1987 - 1987

Palo Alto Research Associates

Vínculo: Colaborador, Enquadramento Funcional: Pesquisador, Carga horária: 10

Atividades

  • 01/1987 - 03/1987

    Pesquisa e desenvolvimento, Palo Alto Research Associates.,Linhas de pesquisa

1987 - 1987

David Systems

Vínculo: Outro, Enquadramento Funcional: Contratado temporário, Carga horária: 10

Outras informações:
Análise de Confiabilidade; depuração e atualização de placas de circuito impresso; depuração de descrições de circuitos em ferramentas CAD

Atividades

  • 01/1987 - 03/1987

    Outras atividades técnico-científicas , David Systems, David Systems.,Atividade realizada, análise de confiabilidade.

  • 01/1987 - 03/1987

    Outras atividades técnico-científicas , David Systems, David Systems.,Atividade realizada, depuração de placas de circuito impresso.

  • 01/1987 - 03/1987

    Outras atividades técnico-científicas , David Systems, David Systems.,Atividade realizada, depuração de descrições em formato CAD.

1974 - 1974

Telecomunicações da Bahia

Vínculo: Servidor público ou celetista, Enquadramento Funcional: Engenheiro, Carga horária: 40

Atividades

  • 01/1974 - 12/1974

    Outras atividades técnico-científicas , Telecomunicações da Bahia, Telecomunicações da Bahia.,Atividade realizada, Projeto, Instalação e Testes de Equipamento para Multiplex Telefônico.