Resultados para “'automatic static analysis tools'”

Timoteo Alberto Peters Lange

docente IFRS - Campus Porto Alegre

Possui graduação em Tecnológia em Processamento de Dados pela União das Escolas Superiores do Vale do Ivaí (1998) e mestrado em Ciência da Computação pela Pontifícia Universidade Católica do Rio Grande do Sul (2013). Atualmente é professor adjunto do Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Sul. Tem experiência na área de Ciência da Computação, com ênfase em Banco de Dados, atuando principalmente nos seguintes temas: performance analysis, database virtualization, benchmark, banco de dados e nuvem computacional.

Adriano Luiz De Souza Lima

docente IFSC - Câmpus São José

Possui graduação em Bacharelado em Filosofia pela Universidade Federal de Santa Catarina (2003), graduação em Sistema de Informação pela Universidade Federal de Santa Catarina (2019), mestrado em Filosofia pela Universidade Federal de Santa Catarina (2006) e doutorado em Ciências da Computação pela Universidade Federal de Santa Catarina (2023). Tem experiência na área de Ciência da Computação, com ênfase em Interação Humano-Computador, atuando principalmente nos seguintes temas: visual aesthetics, app inventor, gui design, human-computer interaction e systematic mapping.

Gedyson De Oliveira Lima

docente IFCE - Campus Fortaleza

Engineer and Lecturer in the field of Structural Mechanics, Materials Science and Structural Analysis.

Isabelle Nascimento Falcão

Outros IFTM - Campus Paracatu

Mestranda em Estudos Linguísticos pela UFU (Universidade Federal de Uberlândia). Graduada no curso de Letras: Espanhol e Literaturas de Língua Espanhola, pela Universidade Federal de Uberlândia. Membro do GECon - Grupo em Estudos Contrastivos. Desenvolveu a pesquisa: Vocabulário bilíngue da tragédia de Brumadinho em corpus jornalístico paralelo: estudo lexical exploratório com o software WordSmith Tools no ano de 2020. Áreas de pesquisa: Lexicologia, Fraseologia, Terminologia, Metáfora, Estudos Contrastivos e Linguística de Corpus.

Leo Moreira Silva

docente IFRN - Campus Ceará-Mirim

Doutorando em Ciências e Tecnologias da Informação pela Universidade de Coimbra/Portugal, Mestre em Sistemas e Computação pela UFRN, Pós-Graduado no curso MBA em Engenharia de Software pela UFRJ, graduado no curso de Tecnologia em Desenvolvimento de Software, pelo CEFET-RN, e atualmente é professor do Instituto Federal e Educação, Ciência e Tecnologia do Rio Grande do Norte - IFRN - na área de Sistemas de Informação. Tem experiência com Metodologias Ágeis, sendo certificado Scrum Master e Scrum Developer pela Scrum Alliance. Tem experiência na área de Ciência da Computação, com ênfase em Linguagens de Programação, Desenvolvimento Web, Engenharia de Software e Arquitetura de Software.

Luis Henrique Gonçalves De Aguiar

tecnico IFNMG - Reitoria

Possui graduação em Sistemas de Informação pela Universidade Estadual de Montes Claros e mestrado pela Universidade Federal dos Vales do Jequitinhonha e Mucuri em Educação, Área de concentração: Educação e Tecnologias Aplicadas em Instituições Educacionais. Atualmente é servidor público do Instituto Federal de Educação Ciência e Tecnologia do Norte de Minas Gerais ocupando o cargo de Analista de Tecnologia da Informação. Atua principalmente na área de infraestrutura de TI e redes de computadores.

Cleverson Marques Vieira

tecnico IFSudesteMG - Campus Rio Pomba

Mestre em Ciência da Computação pela Universidade Federal de São João del-Rei (UFSJ) em 2024. Especialista em Tecnologias para Aplicações Web pela Universidade Pitágoras Unopar (2017). Bacharel em Ciência da Computação (2013) e Técnico em Redes de Computadores (2016) pelo Instituto Federal de Educação, Ciência e Tecnologia do Sudeste de Minas Gerais - Campus Rio Pomba. Possui experiência na área de Ciência da Computação, com foco no desenvolvimento e aplicação de técnicas de Inteligência Artificial Explicável (XAI - eXplainable Artificial Intelligence) para análise de imagens médicas, visando apoiar e otimizar o diagnóstico de glaucoma.

Alessandro Braatz

docente IFC - Campus Blumenau

Training in Electrical Engineering by the University Foundation of Blumenau - FURB (2010). Master in Electrical Engineering in the area of Energy Electronics (2014). He is currently a professor / researcher at the Federal Institute of Santa Catarina. Professor of Mechanical Engineering and Control and Automation Engineering, and Technical Course in Electronics, Automation, Mechanics, Mechatronics and Electromechanics. Atriuting professional experience in Electrical Engineering with emphasis on industrial electronics, electronic system control, DC-DC converters, DC-AC, AC-AC and Drives, machine tools and heat treatment furnaces.

Leandro Campos Vargas

docente IFSP - Reitoria

Engenheiro de Controle e Automação (2017) pelo Instituto Federal de Educação, Ciência e Tecnologia de São Paulo (IFSP), com especialização em Automação Industrial (2019) e mestrado em Engenharia Elétrica, com ênfase em Automação (2023), pela Universidade Estadual Paulista Júlio de Mesquita Filho Faculdade de Engenharia de Ilha Solteira (UNESP/FEIS). Técnico em Mecatrônica desde 2012 pela ETEC Philadelpho Gouvêa Netto, atua como professor de Ensino Básico, Técnico e Tecnológico no IFSP Câmpus São José do Rio Preto. Possui experiência em startups e projetos de inovação tecnológica, com interesse em automação industrial, controle automático de sistemas, robótica, internet das coisas e impressão 3D.

Júlia Borges Dos Santos

docente IFG - Campus Uruaçu

Possui graduação em Engenharia Civil pela Universidade Federal de Uberlândia (2013) e realizou parte de seus estudos com ênfase em Estruturas em Portugal pela Universidade da Beira Interior (2012). Mestre em Estruturas pela Universidade Federal de Uberlândia (2016). Possui experiência na área de projeto estrutural em concreto armado e fundação. É professora efetiva no Instituto Federal de Goiás, na área de Engenharia Civil/Estruturas. Doutoranda em Estruturas na Universidade de Brasília (UnB) sob orientação do Prof. Guilherme Melo, e coorientação do Prof. Aurelio Muttoni. Realizou parte dos estudos do Doutorado em período sanduíche na Ecole Polytechnique Fédérale de Lausanne (EPFL), Suíça.

Alessandro Da Silva Bueno

docente IFRJ - Campus Nilópolis

Prof. Alessandro da Silva, trabalha no Instituto Federal do Rio de Janeiro desde 2008 e possui Graduação em Licenciatura em Matemática pela Universidade Federal Fluminense e Mestrado em Informática pela Universidade Federal do Rio de Janeiro. Tem mais de 10 anos de experiência no magistério, tendo lecionado nos três segmentos de ensino, nas modalidades de ensino presencial e à distancia/semipresencial e na Educação de Jovens e Adultos. Foi professor do Colégio Militar do Rio de Janeiro, e é Professor Tutor presencial dos Cursos de Graduação do Centro de Educação a Distância do Estado de Rio de Janeiro (CEDERJ). Já foi professor da Fundação Técnico-Educacional Souza Marques, da Secretaria de Estado de Educação do Rio de Janeiro (SEEDUC/RJ) e do Centro Educacional da Lagoa. Tem experiência na área de Matemática Aplicada com ênfase em Análise Numérica. Possui dois trabalhos em nível internacional: um artigo publicado na revista Numerical Functional Analysis and Optimization (Qualis B1) intitulado Analysis and Numerical Simulation of Viscous Burgers Equation e um resumo expandido em Anais na International Conference of Numerical Analysis and Applied Mathematics (ICNAAM), 2007. v. 936. p. 468-471. Coordena o Curso de Licenciatura em Matemática do Instituto Federal de Educação, Ciência e Tecnologia do Rio de Janeiro, campus Nilópolis, desde 2011.

Cristofe Coelho Lopes Da Rocha

docente IFRR - Campus Boa Vista

PhD candidate in computing at the Cin/UFPE Information Technology Center; Master's degree in Applied Computing from the University of Vale do Rio dos Sinos (2016); Postgraduate student in Artificial Intelligence Deep Learning; Bachelor's degree in System Analysis and Development Technology - Cathedral Higher Education Colleges (2006). Currently a p...

Carlos Alberto França Junior

docente

Professor EBTT (Educação Básica Técnica e Tecnológica) no Instituto Federal de Educação, Ciência e Tecnologia da Bahia - Campus Irecê. Possui graduação em Engenharia Industrial Mecânica (2019 e mestrado em Engenharia dos Materiais (2023) pelo Instituto Federal da Bahia. Experiência na área de operação de processos petroquímicos, atuando durante mais de 9 anos na Braskem (Camaçari). Possui experiência na área de PCP (planejamento e controle da produção), em estágio de dois anos realizado na empresa BS Oill Tools, situada em Salvador. Na área cadêmica, realizei diversas pesquisa na área de materiais, mais especificamente na área de produção de briquetes, compósitos e cerâmica, com foco no reaproveitamento de resíduos.

Deivid Do Vale Nascimento

tecnico IFGoiano - Campus Ipameri

Doutorando em Ciência da Computação pela Universidade Federal de Uberlândia (UFU). Mestre em Educação Agrícola pela Universidade Federal Rural do Rio de Janeiro (UFRRJ, 2024). Especialista em Docência do Ensino Superior pela Faculdade Brasileira de Educação e Cultura (FABEC). Possui graduação em Análise e Desenvolvimento de Sistemas (2014) e formação técnica em Redes de Computadores (2011) pelo Instituto Federal Goiano - Campus Urutaí. Atualmente, é Técnico em Tecnologia da Informação no Instituto Federal Goiano - Campus Ipameri. Tem experiência nas áreas de Ciência da Computação e Tecnologia da Informação, atuando principalmente nos seguintes temas: Ciência de Dados e Processamento Digital de Imagens.

Priscilla Heliênay Oliveira Do Nascimento Pestana

tecnico IFPB - Campus João Pessoa

Mestre pelo Programa de Pós-Graduação em Ciências Geodésicas e Tecnologias da Geoinformação da Universidade Federal de Pernambuco (UFPE) na área das Ciências Geodésicas(2020). Graduada em Engenharia Cartográfica pela UFPE (2017) e com formação técnica em Saneamento Ambiental pelo Instituto Federal de Pernambuco (IFPE - 2012). Possui sólida experiência na área de Geociências, com ênfase em Topografia, Geodésia, Sensoriamento Remoto e Processamento de Imagens. Atualmente atua como Técnica de laboratório de topografia no Instituto Federal da Paraíba, campus João Pessoa.

Helder Siqueira Carvalho

docente IFF - Campus Campos Centro

Possui graduação em Engenharia Elétrica pela Universidade Santa Úrsula (1991) e mestrado em Computação Aplicada e Automação pela Universidade Federal Fluminense (1999). Professor do IFF - Instituto Federal Fluminense desde 1993. Onde ocupou os cargos de: coordenador de curso, Diretor de Ensino, Pró-Reitor de Administração e Diretor de Planejamento Estratégico. Ocupou o cargo de Assessor na Secretária de Educação Profissional e Tecnológica do Ministério da Educação - SETEC/MEC, entre 2015-2016. Atualmente é Diretor Executivo do Instituto Federal Fluminense.