Mariano Sergio Pacheco de Angelo

Bacharéu em Ciência da Computação, Mestre em Engenharia da Produção e Doutorando em Engenharia da Produção Mais de 30 anos de experiência na área de Desenvolvimento de Sistemas, atuando principalmente com Engenharia de Software. Professor na UNIP - Universidade Paulista e ETEC - Centro Paula Souza.

Informações coletadas do Lattes em 22/10/2019

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em andamento em Engenharia de Produção

2013 - Atual

Universidade Paulista
Orientador: Irenilza Naas

Mestrado em Engenharia de Produção

2011 - 2013

Universidade Paulista
Oduvaldo Vendrametto.Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Palavras-chave: Conforto Térmico; Engenharia de Software; Produção Industrial de Animais.

Especialização em Engenharia de Software

2009 - 2010

Universidade Paulista
Orientador: Marcelo Nogueira

Graduação

2005 - 2008

Universidade Paulista

Seção coletada automaticamente pelo Escavador

Idiomas

Inglês

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

Italiano

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

Seção coletada automaticamente pelo Escavador

Áreas de atuação

    Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação.

    Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação.

    Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Lógicas e Semântica de Programas.

Seção coletada automaticamente pelo Escavador

Comissão julgadora das bancas

Oduvaldo Vendrametto

VENDRAMETTO, O.NAAS, I. A.; BARACHO, M. S.. Programa computacional para cálculo de índices de conforto térmico na produção industrial de animais para carne e leite. 2013. Dissertação (Mestrado em Engenharia de Produção) - Universidade Paulista.

Irenilza de Alencar Naas

VENDRAMETTO, OduvaldoNääs, Irenilza de A.BARACHO, M. S.. Programa computacional para o cálculo de índices de conforto térmico na produção industrial de animais. 2013. Dissertação (Mestrado em Engenharia de Produção) - Universidade Paulista.

Seção coletada automaticamente pelo Escavador

Foi orientado por

Oduvaldo Vendrametto

Programa Computacional para o Cálculo de Índices de Conforto Térmico na Produção Industrial de Animais para Carne e Leite; 2013; Dissertação (Mestrado em Engenharia de Produção) - Universidade Paulista, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Oduvaldo Vendrametto;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • OLIVEIRA, C. C. ; NOGUEIRA, M. ; AMARAL, F. V. ; ANGELO, M. S. P. ; GUTIERRES, B. S. ; QUINELLO, M. S. ; ABE, J. M. . Lógica Paraconsistente Anotada Evidencial ET e Raciocínio Baseado em Caso: Uma Ferramenta para Diagnóstico da Depressão. In: ICECE 2011, 2011, Guimarães. VII International Conference on Engineering and Computer Education, 2011. v. 1. p. 154-156.

  • GUTIERRES, B. S. ; ABE, J. M. ; NOGUEIRA, M. ; AMARAL, F. V. ; OLIVEIRA, C. C. ; ANGELO, M. S. P. ; QUINELLO, M. S. . A Lógica Paraconsistente na Enfermagem: Construção de um Protótipo para Seleção de Diagnósticos e Classificação dos Resultados de enfermagem. In: ICECE 2011, 2011, Guimarães. VII International Conference on Engineering and Computer Education, 2011. v. 1. p. 187-188.

  • AMARAL, F. V. ; NOGUEIRA, M. ; PEREIRA, F. ; ABE, J. M. ; ANGELO, M. S. P. ; GUTIERRES, B. S. ; QUINELLO, M. S. . Virtualização, alternativa aos Crescentes Gastos com Novos Computadores em Empresas e Universidades. In: ICECE 2011, 2011, Guimarães. VII International Conference on Engineering and Computer Education, 2011. v. 1. p. 173-175.

  • AMARAL, F. V. ; NOGUEIRA, M. ; PEREIRA, F. ; ABE, J. M. ; ANGELO, M. S. P. ; GUTIERRES, B. S. ; QUINELLO, M. S. . Facilidade de Atualização de Softwares Através da Utilização de Servidores Mirror. In: ICECE 2011, 2011, Guimarães. VII International Conference on Engineering and Computer Education, 2011. v. 1. p. 176-176.

  • AMARAL, F. V. ; NOGUEIRA, M. ; PEREIRA, F. ; ABE, J. M. ; ANGELO, M. S. P. ; GUTIERRES, B. S. ; QUINELLO, M. S. . Cluster de Alto Desempenho: Agregando Valor á Infra-Estrutura Computacional das Universidades. In: ICECE 2011, 2011, Guimarães. VII International Conference on Engineering and Computer Education, 2011. v. 1. p. 177-181.

  • QUINELLO, M. S. ; ABE, J. M. ; AMARAL, F. V. ; ANGELO, M. S. P. ; OLIVEIRA, C. C. ; NOGUEIRA, M. ; GUTIERRES, B. S. . Tomada de Decisão para Seleção dos Testes de Regressão Utilizando Lógica Paraconsistente Anotada Evidencial ET. In: ICECE 2011, 2011, Guimarães. VII International Conference on Engineering and Computer Education, 2011. v. 1. p. 182-186.

  • REIS, N. F. ; ABE, J. M. ; NOGUEIRA, M. ; AMARAL, F. V. ; OLIVEIRA, C. C. ; GUTIERRES, B. S. ; ANGELO, M. S. P. . Lógica Paraconsistente Anotada Evicencial ET Aplicada a Cenários. In: ICECE 2011, 2011, Guimarães. VII International Conference on Engineering and Computer Education, 2011. v. 1. p. 274-278.

  • ANGELO, M. S. P. . Ferramenta de Apoio a Diagnósticos de Insuficiência Cardíaca com o uso da Lógica Paraconsistente Anotada Evidencial ET. 2011. (Apresentação de Trabalho/Simpósio).

  • ANGELO, M. S. P. ; GUTIERRES, B. S. ; ABE, J. M. . Implementação de uma Ferramenta para Auxílio de Tomada de Decisão em Redes de Empresas Baseada na Lógica Paraconsistente. 2011. (Apresentação de Trabalho/Simpósio).

  • GUTIERRES, B. S. ; ANGELO, M. S. P. ; ABE, J. M. . Protótipo de Apoio à Decisão durante a Sistematização da Assistência de Enfermagem baseado na Lógica Paraconsistente. 2011. (Apresentação de Trabalho/Simpósio).

Seção coletada automaticamente pelo Escavador

Outras produções

ANGELO, M. S. P. ; GUTIERRES, B. S. . INTRODUÇÃO A LÓGICA PARACONSISTENTE ANOTADA EVIDENCIAL Eτ. 2011. (Curso de curta duração ministrado/Outra).

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2009 - 2011

    GRUPO DE LÓGICA PARACONSISTENTE E INTELIGÊNCIA ARTIFICIAL, Descrição: O Grupo de Lógica Paraconsistente e Inteligência Artificial foi oficializado em novembro de 1995 e catalogado no CNPq como grupo de pesquisa de excelência e faz pesquisas nas seguintes áreas: 1.Lógicas paraconsistentes aplicadas à Inteligência Artificial. 2.Programação Lógica Paraconsistente. 3.Elaboração de sistemas lógicos paraconsistentes, paracompletos e não-aléticos. 4.Álgebras de Curry. 5.Robótica e Automação. 6.Sistemas inteligentes em engenharia de produção. 7.Lógica e Fundamentos da Física. 8.Computabilidade. O Grupo de Lógica Paraconsistente e Inteligência Artificial interage também com outros centros de pesquisa e pesquisadores de outras instituições como: Instituto de Estudos Avançados da USP, Teikyo Heisei University - Japão, Himeji Institute of Technology - Japão, Shizuoka University - Japão. Nossas perquirições têm sido publicados nas mais afamadas revistas internacionais, livros e apresentados em congressos tanto nacionais como internacionais. Podemos citar a IOS Press, Edgard Blucher, IEEE, Mathematica Japonica, Logique et Analyse, Zeitschrft fur G. Der Logik und Mathematic, J. of Theoretical Physics, e outras. Os membros têm apresentado trabalhos nos principais congressos da área, tanto nacionais como internacionais. Para tanto, contou com o apoio de instituições como a UNIP, CNP, FAPESP. Membros do Grupo de Lógica Paraconsistente e Inteligência Artificial orientam discentes em cursos de Mestrado e de Doutorado nas Universidades de São Paulo, Universidade Paulista, Pontifícia Universidade Católica do Paraná e outras instituições nacionais e estrangeiras. Também supervisiona estágios de Iniciação Científica, organiza congressos, palestras e seminários. O Grupo de Lógica Paraconsistente e Inteligência Artificial espera crescer e cooperar cada vez mais com a ciência no estado de São Paulo, difundindo as pesquisas da Universidade Paulista - UNIP.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (4) Doutorado: (3) . , Integrantes: Mariano Sergio Pacheco de Angelo - Integrante / jair minoro abe - Coordenador.

Histórico profissional

Seção coletada automaticamente pelo Escavador

Experiência profissional