Resultados para “'Redes de Petri Coloridas Distribuídas'”

Corneli Gomes Furtado Júnior

docente IFCE - Campus Maracanaú

Doutor e mestre em Engenharia de Teleinformática pela Universidade Federal do Ceará (UFC), com especialização e graduação em Telemática pelo Instituto Federal de Educação, Ciência e Tecnologia do Ceará (IFCE). Concluiu MBA em Data Science e Analytics pela Universidade de São Paulo (USP). Como docente, é professor permanente do Programa de Pós-graduação em Ciência da Computação, do curso de bacharelado em Ciência da Computação e do curso Técnico em Informática no IFCE. Como gestor, foi coordenador do Projeto InterRed - Repositório para Objetos de Aprendizagem (2010 a 2011); coordenador de produção de Recursos Educacionais Digitais acessíveis para a empresa Dell (2013 a 2016); coordenador geral do Projeto Proedu - Repositório de Objetos Educacionais para a educação profissional e tecnológica da Setec/MEC (2015 a 2017); coordenador do núcleo de desenvolvimento do Proedu no Ceará, do Curso de Formação de Agentes de Metrologia Legal (CFAML) e do Curso de Formação de Fiscais de Objetos Regulamentados (CFAFOR). Atualmente é coordenador de projeto de pesquisa em parceria com a Adelco, além de coordenador de Tecnologia da Informação da Diretoria de Educação a Distância do IFCE. Como Designer de Soluções, foi responsável pela elaboração do conteúdo de redes de computadores e pela produção de conteúdos didáticos digitais e conteúdo de Hardware no Projeto de formação Gesac (Governo Eletrônico - Serviço de Atendimento ao Cidadão). Atualmente atua em projeto de Pesquisa e Desenvolvimento junto a Companhia de Gás do Ceará. Tem experiência na área de desenvolvimento e produção de conteúdos didáticos digitais, educação a distância, processos colaborativos, modelagem de sistemas a eventos discretos, desenvolvimento de software e sistemas distribuídos. Desenvolve projetos nas áreas de educação a distância, inteligência computacional, armazenamento otimizado e distribuído de conteúdos e modelagem de sistemas híbridos. Bolsista EXP/CNPq - 2010/2011- Projeto de Formação GESAC- IFCE/MEC/MCT; Bolsista de Inovações tecnopedagógicas nas ações de formação e capacitação em Metrologia e Avaliação da Conformidade (Inmetro 2019/2020).

Clarimundo Machado Moraes Junior

docente IFTM - Campus Uberlândia Centro

Possui graduação em Engenharia Eletronica enfase Computação pela Universidade Federal de Uberlândia (1996), mestrado em Engenharia Elétrica pela Universidade Federal de Uberlândia (2000) e doutorado em Ciência da Computação pela Universidade Federal de Uberlândia (2017). Atualmente é efetivo do Instituto Federal do Triângulo Mineiro. Tem experiência na área de Ciência da Computação, com ênfase em Ciência da Computação, atuando principalmente nos seguintes temas: redes neurais artificiais, redes de petri, projeto/desenvolvimento de software, backpropagation e escalonamento.

Franck Carlos Vélez Benito

docente

Possui graduação em Tecnologia em Sistemas de Informação pela Universidade do Estado de Santa Catarina (2007), mestrado em Informática pela Universidade Federal do Paraná (2010) e Doutorado em Ciência da Computação pela Universidade Federal do Paraná (2015). Atualmente é professor do Magistério Superior da Universidade Tecnológica Federal do Paraná - UTFPR - Campus Santa Helena. Tem experiência na área de Ciência da Computação, atuando principalmente nos seguintes temas: Redes de Petri, Linguagem Natural com Grandes Modelos de Linguagem e Reconhecimento de Padrões.

Kênia Santos De Oliveira

docente IFGoiano - Campus Catalão

Possui graduação em Ciência da Computação pela Universidade Federal de Goiás (2007), especialização em Segurança da Informação pela Universidade Federal de Goiás (2011), mestrado em Ciência da Computação pela Universidade Federal de Uberlândia (2013) e doutorado em Ciência da Computação pela Universidade Federal de Uberlândia (2020). Atualmente é professora no Instituto Federal Goiano. Áreas de interesse: Engenharia de Software, Aspectos, SysML, Redes de Petri, Linguagens Formais, Modelagem e Impressão 3D, Programação Estruturada e Orientada a Objetos, Desenvolvimento Web, Robótica.

Michel Coura Dias

docente IFPB - Reitoria

Possui graduação em Engenharia Elétrica pela Universidade Federal da Paraíba (1997) e mestrado em Engenharia Elétrica pela Universidade Federal da Paraíba (2000). Atualmente é professor efetivo do Instituto Federal de Educação, Ciência e Tecnologia da Paraíba - Campus João Pessoa. Tem experiência na área de Redes de Telecomunicações e Ciência da Computação, com ênfase em Hardware, Sistemas Operacionais e Redes de Computadores.

William Guterres Oliveira

docente

Graduado em Engenharia Elétrica pelas Faculdades Reunidas Nuno Lisboa (1992), Mestre em Engenharia Elétrica pela Universidade Federal de Pernambuco UFPE (2011), com concentração em Eletrônica e modelagem de sistemas utilizando Redes de Petri. Possui especializações em Tecnologia de Redes de Telecomunicações (UNESA, 2002), Engenharia de Segurança do Trabalho (FI, 2025) e Docência do Ensino Superior e Metodologias Ativas (FAMEF, 2025). Atua como docente do Instituto Federal da Bahia (IFBA) Campus Juazeiro, onde também exerceu a coordenação dos cursos técnicos em Segurança do Trabalho e em Eletromecânica. Tem vasta experiência nas áreas de Eletrônica Industrial, Automação, Manutenção de Sistemas, Treinamento, Supervisão de Equipes, Robótica Educacional, Ensino Técnico em Elétrica, Eletrônica e Segurança do Trabalho, além de atuação em pesquisas aplicadas em eficiência energética, modelagem de sistemas a eventos discretos e desenvolvimento de protótipos didáticos para segurança no trabalho.

Ramon Hugo De Souza

docente IFSC - Câmpus Florianópolis

Professor na área de Sistemas Distribuídos em Telecomunicações junto ao Instituto Federal de Santa Catarina (IFSC), campus São José/SC. Doutor (2012-2016), Mestre (2005-2007) e Bacharel (2001-2004) com adicional de Pós-Doutorado (2017-2018) em Ciência da Computação pela Universidade Federal de Santa Catarina (UFSC); sendo o Doutorado e Pós-doutorado com foco em Sistemas Distribuídos e o Mestrado com foco em Segurança de Sistemas Computacionais. Possuindo também grau de Técnico em Eletrônica (1998-2000) pela Escola Técnica Federal de Santa Catarina (ETFSC). Com experiência nas áreas de: Análise de Algoritmos e Complexidade Computacional com ênfase em Algoritmos e Criptologia; Processamento de Imagens com ênfase em Geoprocessamento e Reconhecimento de Padrões; Sistemas Distribuídos com ênfase em Computação Móvel, Multiprocessamento, Bases de Dados Distribuídas, Qualidade de Experiência e Qualidade de Serviço; Automação Industrial com ênfase em Controle; e Inteligência Artificial com ênfase em Algoritmos Genéticos e Processamento de Linguagem Natural. Atuando nos seguintes temas: Complexidade de Algoritmos, Criptanálise de Cifradores em Bloco Simétricos, Criptoanálise Algébrica, Criptoanálise Estatística, Análise e Desenvolvimento de Cifradores em Blocos Simétricos e Assimétricos Clássicos e Pós-Quânticos, Sistemas GIS, Sistemas Embarcados para PDAs e Celulares, Qualidade de Serviço em Redes, Qualidade de Serviços e Qualidade de Experiência aplicadas a Bases de Dados Distribuídas e Processamento de Linguagem Natural aplicada a terminologia Jurídica. Lidando com o desenvolvimento de Sistemas Industriais de Automação para aquisição de dados segura e confiável utilizando SOAP na plataforma servidora WSO2 WSAS (junto às empresas MCA Sistemas e SENAI), Controle de Sistemas e Remodelagem de Dados para aplicações distribuídas no sistema operacional QNX Neutrino RTOS (junto à empresa I-Park Solutions), Inteligência Artificial focada em Algoritmos Genéticos, Computação Distribuída e Modelagem Hidraulica (junto às empresas Controlle e Optimale), Simulação de Ondas Eletromagnéticas (junto à empresa FEEng em pesquisa envolvendo UFSC, UFRGS e UERJ), Integração de Sistemas utilizando Servidor de Identidade (junto a FonteSul, Fountainledge e Amido em serviço para Jaguar Land Rover da Inglaterra), Inteligência artificial voltada a processamento de texto para bots (junto a empresa RISEcx dos Estados Unidos) e Inteligência Artificial focada em Processamento de Linguagem Natural voltada ao jargão legal e Otimização de Sistemas Multi-Processados (junto à empresa Grifon Brasil) e Criptografia e Criptoanálise em Projetos de Pesquisa e Desenvolvimento Governamentais (junto à empresa Kryptus EED S.A.). E realizando pesquisas ligado aos laboratórios: Laboratório de Segurança em Computação (LabSec), Laboratório de Integração de Sistemas e Aplicações (LISA) e Laboratório de Pesquisa em Sistemas Distribuídos (LaPeSD) do Departamento de Informática e Estatística (INE) da UFSC e o Laboratório de Tubos e Calor (LabTuCal) do Grupo de Laboratórios de Engenharia de Processos de Conversão e Tecnologia de Energia (LEPTEN) do Departamento de Engenharia Mecânica (EMC) da UFSC.

Felipe Nunes Radtke

docente IFF - Campus Campos Centro

Possui graduação em graduação em Tecnologia em Automação Industrial pelo Centro Federal de Educação Tecnológica de Campos (2006), Engenharia de Controle e Automação Industrial pelo Instituto Federal Fluminense de Campos - Campus Centro (2011) e mestrado em Engenharia Elétrica pela Universidade Federal do Rio de Janeiro (2015). É professor permanente do Instituto Federal Fluminense de Campos - Campus Centro desde 2008. Atualmente faz doutorado em Engenharia Elétrica na COPPE/UFRJ,na área de alocação de tarefas para frotas de robôs.

Daniel Bruno Alves Dos Santos

docente IFRN - Campus Santa Cruz

Possui graduação no curso superior de Tecnologia em Desenvolvimento de Software, pelo Instituto Federal de Educação, Ciência e Tecnologia do Rio Grande do Norte (2006), mestrado em Ciência da Computação, com ênfase em Engenharia de Software, pela Universidade Federal de Campina Grande (2011) e doutorado em Engenharia Elétrica (2015), na linha de Pesquisa de Engenharia da Computação, pela Universidade Federal de Campina Grande, na área de concentração de Processamento da Informação. Atualmente, é professor de Sistemas de Informação do Ensino Básico, Técnico e Tecnológico do IFRN, no campus Santa Cruz/RN. Atua, principalmente, nas seguintes linhas de pesquisa: Análise de Influência Social e Mineração de Dados em Redes Sociais e Mídias Sociais e em Engenharia de Software para Computação Pervasiva.

Giorjety Licorini Dias

docente IFSP - Campus Boituva

Possui graduação em Ciência da Computação - Faculdades Adamantinenses Integradas (2003) e mestrado em Engenharia Elétrica pela Universidade Estadual Paulista - Faculdade de Engenharia de Ilha Solteira (2007). Atualmente é professora do ensino básico técnico e tecnológico do Instituto Federal de São Paulo. Tem experiência na área de Ciência da Computação, com ênfase em Engenharia de Software, atuando principalmente nos seguintes temas: processos ágeis de desenvolvimento de software e qualidade de software.

Alexsandro Queiroz Lencina

docente IFFar - Campus São Borja

Docente do Instituto Federal de Educação Ciência e Tecnologia Farroupilha, Campus São Borja. Possui Graduação em LICENCIATURA EM MATEMÁTICA pela Pontifícia Universidade Católica do Rio Grande do Sul, Pós Graduação em nível de Especialização em MATEMÁTICA E FÍSICA, pela Universidade da Região da Campanha, Mestre e Doutor em MODELAGEM MATEMÁTICA, pela Universidade Regional do Noroeste do Estado do Rio Grande do Sul. Atualmente exerce a função de Diretor de Ensino e Diretor Geral Substituto no Instituto Federal Farroupilha, campus São Borja.

Marlon Petri De Lima

docente IFG - Campus Goiânia

Graduado em Engenharia de Controle e Automação pelo Instituto Federal de Goiás, Mestre em Engenharia Elétrica pela Universidade Federal de Goiás. Possuo experiência nas áreas de automação, instrumentação e controle. Também desempenhei atividades na área de engenharia de painéis, no cargo de projetista de painéis de média tensão no ano de 2010- 2011 na empresa WEG s/a. Atuo como Professor EBTT do Instituto Federal de Goiás, na área de sistemas de controle. Atuei como gerente de automação industrial na empresa Eletrotransol Tecnologia, desenvolvendo sistemas automatizados para equipamentos da área industrial farmacêutica, de produção de alimentos, silagem, fabricação de ração animal, sistema de HVAC e outros. Atuei paralelamente como desenvolvedor de sistemas de automação através de uma pequena empresa própria, onde faço serviços de maneira particular, sob demanda, para empresas da área de fabricação de equipamentos para indústria farmacêutica, bem como soluções para sistemas de automação de silos e fabricação de ração. Desenvolvi a atividade de Instrutor de eletroeletrônica da Faculdade de Tecnologia Senai Ítalo Bologna durante 10 anos, desempenhando a atividade de docência nas áreas de eletricidade industrial e predial, eletrônica digital e analógica, programação de microcontroladores, programação de CLP's, desenvolvimento de malhas de controle, projeto de sistemas supervisórios e instrumentação industrial, bem como também desenvolvi atividades de atualização tecnológica dos ambientes pedagógicos relacionados a área de eletroeletrônica.

Nilton Raimundo De Assis Júnior

tecnico IFMG - Campus Bambuí

Mestre em Ciência e Tecnologia da Computação pela Universidade Federal de Itajubá (UNIFEI, 2024) e Especialista em Redes de Computadores pela Escola Superior Aberta do Brasil (ESAB, 2017). Graduado em Análise e Desenvolvimento de Sistemas e Técnico em Informática pelo Instituto Federal de Minas Gerais (IFMG - Câmpus Bambuí). Atualmente é Servidor Público no IFMG - Bambuí, atuando com Infraestrutura de Redes, Datacenter e Segurança Cibernética. No âmbito acadêmico, ministra aulas no ensino superior para os cursos da área de Ciência da Computação no Centro Universitário UNA e no curso de Análise e Desenvolvimento de Sistemas na FASF, além de atuar como Professor Conteudista para cursos de pós-graduação na Cogna Educação e também na Vitru. Possui vasta experiência na área de Ciência da Computação, com ênfase em Inteligência Artificial, Infraestrutura de Redes e Engenharia de Software , integrando também conhecimentos em Visão Computacional, Internet das Coisas e desenvolvimento de sistemas corporativos.

Marcelo Paravisi

docente IFRS - Campus Osório

Possui graduação em Engenharia de Computação pela Universidade Federal do Rio Grande (2006), mestrado em Programa de Pós Graduação em Ciência de Computação pela Pontifícia Universidade Católica do Rio Grande do Sul (2008) e doutorado em Ciência da Computação pela Pontifícia Universidade Católica do Rio Grande do Sul (2020). Atualmente é professor efetivo 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 Robótica, atuando principalmente nos seguintes temas: simulação, computação, computação gráfica, multidão e robótica..

Rita De Cássia Cordeiro De Castro

docente IFRJ - Campus Rio de Janeiro

Doutora em Ciência da Informação PPGCI - IBICT, área de concentração - Informação e Mediações Sociais e Tecnológicas para o Conhecimento. Mestre em Computação Aplicada UECE/IFCE (2012), área de concentração Redes de Computadores. Possui graduação em Tecnólogo em Processamento de Dados - Faculdades Integradas Anglo Americano (1993). Atualmente é professora do Instituto Federal de Educação, Ciência e Tecnologia do Rio de Janeiro, nos cursos de pós-graduação lato-senso em Informática Aplicada à Educação, e Especialização em Tecnologias Educacionais e Educação a Distância, e no curso técnico de Manutenção e Suporte em Informática. Tem experiência na área de Ciência da Computação, com ênfase em Sistemas de Computação, atuando principalmente nos seguintes temas: segurança da informação, sistemas de informação, redes de computadores, forense computacional, redes wireless e dispositivos móveis.

Daniel Benvindo De Carvalho

docente IFRO - campus Porto Velho Calama

Possui graduação em Tecnologia em Processamento de Dados pela Faculdade de Ciências Administrativas e de Tecnologia - FATEC-RO (2003).Possui especialização em Redes de Cumputadores e Segurança de Dados pela Facludade de Porto Velho - FIP-RO.Possui especialização em Metodologia do Ensino Superior pela Facludade Saõ Lucas.Atua profissionalmente na área de Tecnologia da Informação desde 1995 em diversas empresas e projetos. Doscente em cursos de graduação desde 2005 a 2018 nas instituições FAAR (Ariquemes-RO), FATEC-RO (Porto Velho-RO), FAC. SÃO MATEUS (Porto Velho-RO), SENAI RO e IFRO. Atuou como Administrador de redes e suporte em sistemas de informação na Amazongás Distribuidora de GLP Ltda. de 2002 à 2010, além de exercer as funções de auditor do Sistema de Gestão da Qualidade ISO 9001:2008 e Formação de Auditores em Sistemas de Gestão da Qualidade e/ou Ambiental com Base na Norma NBR ISO 19011:2002. Atuou também na Assembleia Legislativa do Estado de Rondônia como Diretor de Infraestrutura e Suporte operaciaonal e 2014 a 2023.