IARTE 2023

Frame 8 (3)

Nova Turma!

Inscrições 10 e 11 de Julho

IArTES 2023

Especialização em IA para Engenharia de Testes de Software

 

Conheça o

Corpo Docente

E saiba mais sobre as áreas de atuação e experiências dos professores do curso 

 

Horácio A. B. Fernandes de Oliveira

Professor Associado do Instituto de Ciência da Computação da Universidade Federal do Amazonas (IComp/UFAM). Possui doutorado em ciência da computação pela Universidade Federal de Minas Gerais (UFMG) com doutorado sanduíche na Universidade de Ottawa, Canadá e pós-doutorado na Universidade da Califórnia, Irvine, Estados Unidos. Os seus interesses de pesquisa incluem algoritmos de localização e sincronização, algoritmos distribuídos, Internet das coisas e redes sem fio ad hoc, veiculares e de sensores. É autor de vários trabalhos nas diferentes áreas de seus interesses de pesquisa e ganhou vários prêmios, incluindo a melhor tese de doutorado em ciência da computação (CAPES/2009). Atualmente é Bolsista de Produtividade em Pesquisa Nível 2 do CNPq e é membro afiliado da Academia Brasileira de Ciências.

01 Programação para Dispositivos Móveis em Android (foco em Android)

Dr. Cesar Augusto Viana Melo

Possui mestrado(1999) e doutorado(2004) em Ciência da Computação pela Universidade Estadual de Campinas/UNICAMP. Desde Julho de 2009 é professor da Universidade Federal do Amazonas. Desenvolve pesquisa na área de networking, atuando principalmente nos seguintes temas: Distribuição de conteúdo Multimídia, mecanismos de controle e de dimensionamento de redes, Modelagem de tráfego. É um dos sócios fundadores da Akiry Multimedia, uma start-up de base tecnológica da área de streaming de vídeo.

02 Nivelamento Programação- Orientação à Objetos com Python

Dr. José Reginaldo Hughes Carvalho

Possui graduação em Engenharia Elétrica (ênfase em eletrônica) pela Universidade Federal da Bahia (1990), mestrado em Engenharia Elétrica pela Universidade Estadual de Campinas (1993) e doutorado em Engenharia Elétrica pela Universidade Estadual de Campinas (1997). Logo após o doutorado trabalhou como Jovem Pesquisador Fapesp no Centro de Tecnologia Renato Archer, atuando nas áreas de robótica terrestre e aérea. No período de 2001 a 2009 esteve na Indústria, atuando como gerente de P&D em diversas empresas do Polo Industrial de Manaus, incluindo inTera Tecnologia, Siemens e Genius Instituto de Tecnologia, na área de processamento/compressão de vídeo e sistemas embarcados. Tem experiência em desenvolvimento de software, sistemas e controles digitais, principalmente nos seguintes temas: sistemas embarcados, processamento de vídeo, visão robótica e computacional e veículos robóticos autônomos. Assumiu desde 2009 uma posição como professor no Instituto de Computação da UFAM, onde desenvolve projetos nas áreas de Sistemas Embarcado Críticos, Robótica e Visão Computacional e Processos de Desenvolvimento Distribuído de Software. Mais recentemente, participa, juntamente com outros colegas, do esforço de criar uma cultura de empreendedorismo de base tecnológica na UFAM.

03 Gerência de Projetos com SCRUM

Dr. Bruno Freitas Gadelha

Possui graduação em Bacharelado Em Ciência da Computação pela Universidade Federal do Amazonas (2003), mestrado em Informática pela Universidade Federal do Amazonas (2006) e doutorado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (2012). Atualmente é professor na Universidade Federal do Amazonas (UFAM). Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: acompanhamento em ambientes virtuais de aprendizagem, objetos de aprendizagem funcionais, linhas de produto de software, sistemas colaborativos e redes sociais. Tem atuação também na área de Computação Musical onde atua em conjunto com o Departamento de Artes da UFAM.

04 Introdução a Eng. de SW

Dr. Raimundo da Silva Barreto

Bacharel em Processamento de Dados pela Universidade Federal do Amazonas (1991), Mestre em Ciência da Computação pela Universidade Federal de Minas Gerais (1997) e Doutor em Ciência da Computação pela Universidade Federal de Pernambuco (2005). Fez estágio pós-doutoral na University of Southampton (UK) em 2011. Atualmente é professor associado da Universidade Federal do Amazonas. Tem experiência na área de Software Básico, atuando principalmente nos seguintes temas: sistemas de tempo real, sistemas embarcados, síntese de software e tolerância a falhas. Dr. Barreto é bolsista pesquisador produtividade em desenvolvimento tecnológico CNPQ (DT) nível 2.

05 Teste, Verificação e Validação de Software

Dra. Eliane Collins

Possui graduação em Engenharia de Computação pela Universidade do Estado do Amazonas (2005) e mestrado em Engenharia Elétrica pela Universidade Federal do Amazonas (2013). Defendeu recentemente sua tese de doutorado pelo Instituto de Ciências Matemáticas e da Computação – ICMC na Universidade de São Paulo -USP. Tem 11 anos de experiência na área de engenharia de software e teste de software nas empresas, Siemens e Nokia.

06 Teste Automático de Software

Dra. Eulanda Miranda dos Santos

Concluiu o doutorado em Engenharia na Université du Quebec – École de Technologie Superiéure, Montreal-Canadá, em 2008. Possui graduação em Processamento de Dados pela Universidade Federal do Pará (1999) e mestrado em Informática pela Universidade Federal de Campina Grande (2002). Tem experiência na área de Ciência da Computação, com ênfase em Reconhecimento de Padrões, atuando principalmente nos seguintes temas: aprendizagem de máquina, conjuntos de classificadores e otimização.

07 Introdução à Inteligência Artificial

Dr. André L. de Carvalho

Doutor em Informática pela mesma Universidade Federal do Amazonas (2010) e desde 2013 é professor do Instituto de Computação da mesma universidade . Atualmente é o coordenador do curso de Engenharia de Software. Durante sua carreira, coordenou diversos projetos de pesquisa, tanto com financiamento público quanto em parceria com empresas privadas como Samsung e Nokia, normalmente focados na aplicação de técnicas de aprendizagem de máquina. Apesar de ter iniciado a carreica pesquisando temas relacionados à Recuperação de informação, mais recentemente seu trabalho tem tido um maior foco na aplicação de técnicas de aprendizagem profunda para processamento de linguagem natural.

08 Inteligência Artificial Aplicada

Dr. Auri Marcelo Rizzo Vincenzi

Professor associado no Departamento de Computação da Universidade Federal de São Carlos (2015-atual). Graduado em Ciência da Computação pela Universidade Estadual de Londrina UEL (1995). Possui títulos de mestrado (1998) e doutorado (2004) em Ciências da Computação e Matemática Computacional pela Universidade de São Paulo ICMC/USP. Realizou doutorado sanduíche na University of Texas at Dallas – UTDallas – EUA (2011-2012) e pós-doutorado no Instituto de Ciências Matemáticas e de Computação – ICMC/US (2015). Foi professor assistente na Universidade Católica de Santos – UNISANTOS (2006-2008), professor adjunto da Universidade Federal de Goiás – UFG (2005-2006 e 2008-2015) e professor colaborador no Centro Universitário Eurípides de Marília – UNIVEM (2004-2005). Foi bolsista produtividade do CNPq (Nível 2) de 2007 a 2012. Atuou como Coordenador de Informática do Centro de Seleção da UFG (2008 a 2010) e, Diretor do Instituto de Informática da UFG de 2010 a 2013. Membro da Comissão de Educação da SBC (triênios 2009-2011 e 2011-2013). Foi vice-coordenador do Programa de Pós-Graduação em Ciência da Computação – PPGCC/UFSCar (2019-2020). Tem experiência na área de Engenharia de Software, com ênfase em Teste de Software, atuando principalmente nos seguintes temas: teste de software, teste funcional, teste estrutural, teste baseado em defeitos, desenvolvimento de ferramentas de teste e estabelecimento de estratégias de teste. Membro da Sociedade Brasileira para o Progresso da Ciência (SBPC), Sociedade Brasileira de Computação (SBC), Association for Computing Machinery (ACM), e Institute of Electrical and Electronics Engineers (IEEE). ISTQB Certified Tester – CTFL (12-CTFL-01860-BR).

09 Algoritmos Evolutivos

Dr. Juan Gabriel Colonna

Professor adjunto no Instituto de Computação da Universidade Federal do Amazonas desde setembro de 2018. Coordenador do Curso de Pós-Graduação em Informática (PPGI – UFAM) desde 2022, e vice-coordenador do PPGI em 2021. Formado em Engenharia em Telecomunicações pela Universidade Nacional de Río Cuarto (UNRC, República Argentina, 2009). Mestre e Doutor em Informática pela Universidade Federal do Amazonas (2012 e 2018). Recebeu o primeiro lugar no concurso de dissertações de mestrado de América Latina no CLEI 2012. Realizou doutorado sanduíche de 12 meses no Laboratório de Inteligência Artificial e Apoio à Decisão (LIAAD) no INESCTEC, na Universidade do Porto, Portugal. Desenvolveu atividades de auxílio ao ensino no laboratório de Energia Solar na UNRC, Modelagem Estocástica e Projeto e Análises de Algoritmos na UFAM. Também, desenvolveu tarefas de assessoramento para UNRC (2012). Trabalhou como pesquisador e desenvolvedor (P&D) com Machine Learning no Samsung Instituto De Desenvolvimento e Informática da Amazônia (SIDIA, 2018). Possui experiência na área da computação, com ênfase em aprendizagem de máquina, ciência dos dados, processamento digital de sinais.

9 Ciência de Dados Aplicada a Teste de SW

Dr. Jackson Antonio do Prado Lima

Possui graduação em Bacharelado em Sistemas de Informação pela Universidade do Estado de Santa Catarina (2014), mestrado em Informática pela Universidade Federal do Paraná (2017) e doutorado em Ciência da Computação pela Universidade Federal do Paraná (2021). Tem experiência e interesse na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: teste de software, teste de linha de produto de software, ambiente de integração contínua, engenharia de software baseada em busca, otimização multi-objetivo, multi-armed bandit e aprendizado de máquina.

10 Search based software testing

Horácio A. B. Fernandes de Oliveira

Professor Associado do Instituto de Ciência da Computação da Universidade Federal do Amazonas (IComp/UFAM). Possui doutorado em ciência da computação pela Universidade Federal de Minas Gerais (UFMG) com doutorado sanduíche na Universidade de Ottawa, Canadá e pós-doutorado na Universidade da Califórnia, Irvine, Estados Unidos. Os seus interesses de pesquisa incluem algoritmos de localização e sincronização, algoritmos distribuídos, Internet das coisas e redes sem fio ad hoc, veiculares e de sensores. É autor de vários trabalhos nas diferentes áreas de seus interesses de pesquisa e ganhou vários prêmios, incluindo a melhor tese de doutorado em ciência da computação (CAPES/2009). Atualmente é Bolsista de Produtividade em Pesquisa Nível 2 do CNPq e é membro afiliado da Academia Brasileira de Ciências.

01 Programação para Dispositivos Móveis em Android (foco em Android)

Dr. Cesar Augusto Viana Melo

Possui mestrado(1999) e doutorado(2004) em Ciência da Computação pela Universidade Estadual de Campinas/UNICAMP. Desde Julho de 2009 é professor da Universidade Federal do Amazonas. Desenvolve pesquisa na área de networking, atuando principalmente nos seguintes temas: Distribuição de conteúdo Multimídia, mecanismos de controle e de dimensionamento de redes, Modelagem de tráfego. É um dos sócios fundadores da Akiry Multimedia, uma start-up de base tecnológica da área de streaming de vídeo.

02 Nivelamento Programação- Orientação à Objetos com Python

Dr. José Reginaldo Hughes Carvalho

ossui graduação em Engenharia Elétrica (ênfase em eletrônica) pela Universidade Federal da Bahia (1990), mestrado em Engenharia Elétrica pela Universidade Estadual de Campinas (1993) e doutorado em Engenharia Elétrica pela Universidade Estadual de Campinas (1997). Logo após o doutorado trabalhou como Jovem Pesquisador Fapesp no Centro de Tecnologia Renato Archer, atuando nas áreas de robótica terrestre e aérea. No período de 2001 a 2009 esteve na Indústria, atuando como gerente de P&D em diversas empresas do Polo Industrial de Manaus, incluindo inTera Tecnologia, Siemens e Genius Instituto de Tecnologia, na área de processamento/compressão de vídeo e sistemas embarcados. Tem experiência em desenvolvimento de software, sistemas e controles digitais, principalmente nos seguintes temas: sistemas embarcados, processamento de vídeo, visão robótica e computacional e veículos robóticos autônomos. Assumiu desde 2009 uma posição como professor no Instituto de Computação da UFAM, onde desenvolve projetos nas áreas de Sistemas Embarcado Críticos, Robótica e Visão Computacional e Processos de Desenvolvimento Distribuído de Software. Mais recentemente, participa, juntamente com outros colegas, do esforço de criar uma cultura de empreendedorismo de base tecnológica na UFAM.

03 Gerência de Projetos com SCRUM

Dr. Bruno Freitas Gadelha

Possui graduação em Bacharelado Em Ciência da Computação pela Universidade Federal do Amazonas (2003), mestrado em Informática pela Universidade Federal do Amazonas (2006) e doutorado em Informática pela Pontifícia Universidade Católica do Rio de Janeiro (2012). Atualmente é professor na Universidade Federal do Amazonas (UFAM). Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: acompanhamento em ambientes virtuais de aprendizagem, objetos de aprendizagem funcionais, linhas de produto de software, sistemas colaborativos e redes sociais. Tem atuação também na área de Computação Musical onde atua em conjunto com o Departamento de Artes da UFAM.

04 Introdução a Eng. de SW

Dr. Raimundo da Silva Barreto

Bacharel em Processamento de Dados pela Universidade Federal do Amazonas (1991), Mestre em Ciência da Computação pela Universidade Federal de Minas Gerais (1997) e Doutor em Ciência da Computação pela Universidade Federal de Pernambuco (2005). Fez estágio pós-doutoral na University of Southampton (UK) em 2011. Atualmente é professor associado da Universidade Federal do Amazonas. Tem experiência na área de Software Básico, atuando principalmente nos seguintes temas: sistemas de tempo real, sistemas embarcados, síntese de software e tolerância a falhas. Dr. Barreto é bolsista pesquisador produtividade em desenvolvimento tecnológico CNPQ (DT) nível 2.

05 Teste, Verificação e Validação de Software

Dra. Eliane Collins

Possui graduação em Engenharia de Computação pela Universidade do Estado do Amazonas (2005) e mestrado em Engenharia Elétrica pela Universidade Federal do Amazonas (2013). Defendeu recentemente sua tese de doutorado pelo Instituto de Ciências Matemáticas e da Computação – ICMC na Universidade de São Paulo -USP. Tem 11 anos de experiência na área de engenharia de software e teste de software nas empresas, Siemens e Nokia.

06 Teste Automático de Software

Dra. Eulanda Miranda dos Santos

Concluiu o doutorado em Engenharia na Université du Quebec – École de Technologie Superiéure, Montreal-Canadá, em 2008. Possui graduação em Processamento de Dados pela Universidade Federal do Pará (1999) e mestrado em Informática pela Universidade Federal de Campina Grande (2002). Tem experiência na área de Ciência da Computação, com ênfase em Reconhecimento de Padrões, atuando principalmente nos seguintes temas: aprendizagem de máquina, conjuntos de classificadores e otimização.

07 Introdução à Inteligência Artificial

Dr. André L. de Carvalho

Doutor em Informática pela mesma Universidade Federal do Amazonas (2010) e desde 2013 é professor do Instituto de Computação da mesma universidade . Atualmente é o coordenador do curso de Engenharia de Software. Durante sua carreira, coordenou diversos projetos de pesquisa, tanto com financiamento público quanto em parceria com empresas privadas como Samsung e Nokia, normalmente focados na aplicação de técnicas de aprendizagem de máquina. Apesar de ter iniciado a carreica pesquisando temas relacionados à Recuperação de informação, mais recentemente seu trabalho tem tido um maior foco na aplicação de técnicas de aprendizagem profunda para processamento de linguagem natural.

08 Inteligência Artificial Aplicada

Dr. Auri Marcelo Rizzo Vincenzi

Professor associado no Departamento de Computação da Universidade Federal de São Carlos (2015-atual). Graduado em Ciência da Computação pela Universidade Estadual de Londrina UEL (1995). Possui títulos de mestrado (1998) e doutorado (2004) em Ciências da Computação e Matemática Computacional pela Universidade de São Paulo ICMC/USP. Realizou doutorado sanduíche na University of Texas at Dallas – UTDallas – EUA (2011-2012) e pós-doutorado no Instituto de Ciências Matemáticas e de Computação – ICMC/US (2015). Foi professor assistente na Universidade Católica de Santos – UNISANTOS (2006-2008), professor adjunto da Universidade Federal de Goiás – UFG (2005-2006 e 2008-2015) e professor colaborador no Centro Universitário Eurípides de Marília – UNIVEM (2004-2005). Foi bolsista produtividade do CNPq (Nível 2) de 2007 a 2012. Atuou como Coordenador de Informática do Centro de Seleção da UFG (2008 a 2010) e, Diretor do Instituto de Informática da UFG de 2010 a 2013. Membro da Comissão de Educação da SBC (triênios 2009-2011 e 2011-2013). Foi vice-coordenador do Programa de Pós-Graduação em Ciência da Computação – PPGCC/UFSCar (2019-2020). Tem experiência na área de Engenharia de Software, com ênfase em Teste de Software, atuando principalmente nos seguintes temas: teste de software, teste funcional, teste estrutural, teste baseado em defeitos, desenvolvimento de ferramentas de teste e estabelecimento de estratégias de teste. Membro da Sociedade Brasileira para o Progresso da Ciência (SBPC), Sociedade Brasileira de Computação (SBC), Association for Computing Machinery (ACM), e Institute of Electrical and Electronics Engineers (IEEE). ISTQB Certified Tester – CTFL (12-CTFL-01860-BR).

09 Algoritmos Evolutivos

Dr. Juan Gabriel Colonna

Professor adjunto no Instituto de Computação da Universidade Federal do Amazonas desde setembro de 2018. Coordenador do Curso de Pós-Graduação em Informática (PPGI – UFAM) desde 2022, e vice-coordenador do PPGI em 2021. Formado em Engenharia em Telecomunicações pela Universidade Nacional de Río Cuarto (UNRC, República Argentina, 2009). Mestre e Doutor em Informática pela Universidade Federal do Amazonas (2012 e 2018). Recebeu o primeiro lugar no concurso de dissertações de mestrado de América Latina no CLEI 2012. Realizou doutorado sanduíche de 12 meses no Laboratório de Inteligência Artificial e Apoio à Decisão (LIAAD) no INESCTEC, na Universidade do Porto, Portugal. Desenvolveu atividades de auxílio ao ensino no laboratório de Energia Solar na UNRC, Modelagem Estocástica e Projeto e Análises de Algoritmos na UFAM. Também, desenvolveu tarefas de assessoramento para UNRC (2012). Trabalhou como pesquisador e desenvolvedor (P&D) com Machine Learning no Samsung Instituto De Desenvolvimento e Informática da Amazônia (SIDIA, 2018). Possui experiência na área da computação, com ênfase em aprendizagem de máquina, ciência dos dados, processamento digital de sinais.

9 Ciência de Dados Aplicada a Teste de SW

Dr. Jackson Antonio do Prado Lima

Possui graduação em Bacharelado em Sistemas de Informação pela Universidade do Estado de Santa Catarina (2014), mestrado em Informática pela Universidade Federal do Paraná (2017) e doutorado em Ciência da Computação pela Universidade Federal do Paraná (2021). Tem experiência e interesse na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: teste de software, teste de linha de produto de software, ambiente de integração contínua, engenharia de software baseada em busca, otimização multi-objetivo, multi-armed bandit e aprendizado de máquina.

10 Search based software testing
Scroll to Top