Bruno Lopes Vieira

  • Endereço para acessar este CV: http://lattes.cnpq.br/7793315334001237
  • Última atualização do currículo em 14/12/2018


Professor na Universidade Federal Fluminense (IC/UFF) e pesquisador no FR∀M∃ Lab. Já fui pesquisador visitante no Deduc˫eam/INRIA, com o qual desenvolvo parceria em conjunto com a Université Lyon 3 e com o TecMF/PUC-Rio. Minha principal linha de trabalho é na área de lógica para sistemas concorrentes mas também tenho trabalhado no desenvolvimento de provadores de teoremas extensíveis, normalização para sistemas de dedução natural, ontologias, formalização de sistemas multi-agentes e teoria da prova para lógicas. (Texto informado pelo autor)


Identificação


Nome
Bruno Lopes Vieira
Nome em citações bibliográficas
VIEIRA, Bruno Lopes;LOPES, Bruno;LOPES, B.;Lopes, Bruno

Endereço


Endereço Profissional
Universidade Federal Fluminense, Centro Tecnológico, Instituto de Computação.
Avenida General Milton Tavares de Souza s/n
Gragoatá
24210346 - Niterói, RJ - Brasil
Telefone: (21) 26295665
URL da Homepage: http://www.ic.uff.br/~bruno/


Formação acadêmica/titulação


2010 - 2014
Doutorado em Informática.
Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
com período sanduíche em Institut National de Recherche en Informatique et en Automatique - Siège (Orientador: Gilles Dowek).
Título: Extending Propositional Dynamic Logic for Petri Nets, Ano de obtenção: 2014.
Orientador: Edward Hermann Haeusler.
Coorientador: Gilles Dowek.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Logic; Modal Logics; Dynamic Logic; Petri Nets.
Grande área: Ciências Exatas e da Terra
2008 - 2010
Mestrado em Modelagem Computacional de Conhecimento.
Universidade Federal de Alagoas, UFAL, Brasil.
com período sanduíche em Universidade Federal de Minas Gerais (Orientador: Antonio Alfredo Ferreira Loureiro).
Título: Reconstrução de Sinais em Redes de Sensores sem Fios com Técnicas de Geoestatística,Ano de Obtenção: 2010.
Orientador: Alejandro César Frery Orgambide.
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil.
Palavras-chave: Redes de Sensores sem Fio; Reconstrução de Sinais; Geoestatística.
Grande área: Ciências Exatas e da Terra
2003 - 2007
Graduação em Ciência da Computação.
Universidade Federal de Alagoas, UFAL, Brasil.
Título: Detecção de paralelismo através de grafos de dependências em filtros convolucionais.
Orientador: Eliana Silva de Almeida.
2001 - 2004
Curso técnico/profissionalizante em Informática.
Centro Federal de Educação Tecnológica de Alagoas, CEFET/AL, Brasil.
2000 - 2002
Ensino Médio (2º grau).
Centro Federal de Educação Tecnológica de Alagoas, CEFET/AL, Brasil.




Formação Complementar


2009 - 2009
Extensão universitária em Computação Científica Avançada. (Carga horária: 45h).
Universidade de São Paulo, USP, Brasil.


Atuação Profissional



Universidade Federal Fluminense, UFF, Brasil.
Vínculo institucional

2015 - Atual
Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

8/2018 - Atual
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Linguagens de Programação
Linguagens Formais e Teoria da Computação
07/2017 - Atual
Ensino, Sistemas de Computação, Nível: Graduação

Disciplinas ministradas
Arquitetura e Projeto de Sistemas
3/2015 - Atual
Pesquisa e desenvolvimento , Centro Tecnológico, Instituto de Computação.

3/2017 - 7/2018
Ensino, Computação, Nível: Pós-Graduação

Disciplinas ministradas
Lógica e Especificação
3/2017 - 7/2018
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Linguagens de Programação
8/2016 - 2/2017
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Compiladores
Linguagens de Programação
3/2016 - 8/2016
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Linguagens de Programação
Linguagens Formais e Teoria da Computação
3/2015 - 2/2016
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Compiladores
Linguagens de Programação

Pontifícia Universidade Católica do Rio de Janeiro, PUC-Rio, Brasil.
Vínculo institucional

2011 - 2015
Vínculo: , Enquadramento Funcional: Professor Agregado, Carga horária: 12

Vínculo institucional

2010 - 2014
Vínculo: Aluno de doutorado, Enquadramento Funcional: Aluno, Carga horária: 40

Vínculo institucional

2011 - 2012
Vínculo: Bolsista, Enquadramento Funcional: Pesquisador Júnior, Carga horária: 20
Outras informações
Pesquisador Júnior do Laboratório de Tecnologia em Computação Gráfica (TecGraf)

Atividades

3/2010 - 3/2015
Pesquisa e desenvolvimento , Vice-Reitoria Acadêmica, Departamento de Informática.

8/2013 - 12/2014
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Linguagens Formais e Autômatos
Lógica para Computação
8/2012 - 12/2012
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Linguagens Formais e Autômatos
2/2012 - 12/2012
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Lógica para Computação
2/2011 - 12/2011
Ensino, Ciência da Computação, Nível: Graduação

Disciplinas ministradas
Linguagens Formais e Autômatos
8/2010 - 12/2010
Estágios , Vice-Reitoria Acadêmica, Departamento de Informática.

Estágio realizado
Estágio em docência na disciplina Linguagens Formais e Autômatos.
3/2010 - 6/2010
Estágios , Vice-Reitoria Acadêmica, Departamento de Informática.

Estágio realizado
Estágio em docência na disciplina Linguagens Formais e Autômatos.

Universidade Federal de Alagoas, UFAL, Brasil.
Vínculo institucional

2003 - 2010
Vínculo: Aluno, Enquadramento Funcional: Aluno

Atividades

11/2006 - 2/2007
Serviços técnicos especializados , Centro de Pesquisa em Matemática Computacional, .

Serviço realizado
Bolsista técnico em informática pelo CNPq.
12/2005 - 8/2006
Conselhos, Comissões e Consultoria, Reitoria, Instituto de Computação.

Cargo ou função
Membro da Comissão Própria de Avaliação, responsável por prover os relatórios de auto-avaliação exigidos pelo Sistema Nacional de Avaliação do Ensino Superior (SINAES) do Ministério da Educação.
7/2004 - 11/2004
Treinamentos ministrados , Centro de Ciências Exatas e Naturais, Departamento de Tecnologia da Informação.

Treinamentos ministrados
Programação Estruturada
6/2004 - 7/2004
Outras atividades técnico-científicas , Centro de Ciências Exatas e Naturais, Centro de Ciências Exatas e Naturais.

Atividade realizada
Monitoria com bolsa da disciplina Programação 1.

Centro Federal de Educação Tecnológica de Alagoas, CEFET/AL, Brasil.
Vínculo institucional

2001 - 2004
Vínculo: Aluno, Enquadramento Funcional: Outro (Aluno), Carga horária: 20

Atividades

12/2003 - 6/2004
Estágios , Gerência de Tecnologia da Informação, Centro de Operações de Rede.

Estágio realizado
Estágio com habilitação na área de Redes de Computadores.
3/2001 - 4/2002
Outras atividades técnico-científicas , Coordenadoria de Informática, Coordenadoria de Informática.

Atividade realizada
Monitoria com bolsa do Curso Técnico de Informática.

Secretaria Municipal de Educação e Cultura, SEMED, Brasil.
Vínculo institucional

2007 - 2008
Vínculo: Servidor Público, Enquadramento Funcional: Técnico em Informática, Carga horária: 30

Atividades

2/2007 - 2/2008
Serviços técnicos especializados , Coordenadoria Geral de Administração, Coordenação de Informática.

Serviço realizado
Assistência Técnica em Informática.


Linhas de pesquisa


1.
Lógica
2.
Teoria da Prova
3.
Redes de Petri
4.
Redes Probabilísticas
5.
Teoria da Computação
6.
Lógica
7.
Redes de Petri
8.
Teoria da prova
9.
Verificação formal de modelos
10.
Redes probabilísticas


Projetos de pesquisa


2016 - Atual
Sistemas multiagentes e verificação formal: um framework para a verificação de propriedades
Descrição: FAPERJ E-26/010.000449/2016. Sistemas multiagentes são compostos por diversos agentes nos quais o objetivo de alguns depende do objetivo de outros. Os cenários são os mais plurais o possível: os agentes podem ser diferentes tanto em função quanto em arquitetura e sua interação é afetada pelo meio em que estão inseridos. Verificar propriedades como sobrevida, ausência de deadlocks e comunicação é essencial para se assegurar que esses sistemas cumprirão seus objetivos. Para tal, esse projeto propõe a construção de um arcabouço teórico e implementado baseado em lógica e Redes de Petri para auxiliar não só a formalização mas também efetuar inferências sob o modelo construído..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) .
Integrantes: Bruno Lopes Vieira - Coordenador / Mário Benevides - Integrante / Geiza Maria Hamazaki da Silva - Integrante / Edward Hermann Haeusler - Integrante / Christiano de Oliveira Braga - Integrante.Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.
2016 - Atual
UFFeScience: Apoio Computacional a Experimentos de Larga Escala para Desenho de Novas Drogas para Tratamento de Doenças Tropicais Negligenciadas
Descrição: FAPERJ E-26/010.001670/2016. O termo ?Doenças Tropicais Negligenciadas? (daqui em diante referenciado apenas como DTN) se refere a um grupo de doenças tropicais endêmicas que afetam em especial habitantes da Ásia, África e da América Latina. Algumas dessas DTN são responsáveis por altas taxas de mortalidade nessas regiões. Assim, para a população desses países, a descoberta de novas drogas que possam ser usadas como tratamento para as DTN é uma prioridade. Em especial no cenário brasileiro, e mais especificamente no estado do Rio de Janeiro, diversas DTN atingem parte da população, como por exemplo, a Dengue. Embora o Brasil tenha avançado significativamente na última década em vários campos da ciência, as pesquisas em áreas multidisciplinares como a bioinformática ainda estão em amadurecimento, e estas desempenham um papel fundamental para o desenvolvimento do país e do estado e para a descoberta de novas drogas para o tratamento das DTN. Diversas pesquisas de sucesso no ramo da bioinformática têm proposto protocolos in-silica (baseado em simulações computacionais) que utilizam análises filogenéticas/filogenônicas e mais recentemente as análises farmacofilogenônicas. Esses protocolos normalmente envolvem um conjunto de programas que executam simulações científicas e que são encadeados formando um fluxo coerente de atividades, ao qual denominamos workflow. Em um mesmo experimento de bioinformática para descoberta de novas drogas para DTN é comum que tenhamos mais de um workflow e que este mesmo workflow seja executado diversas vezes, variando-se dados de entrada e parametrização de configuração, a fim de confirmar ou refutar uma determinada hipótese. Entretanto, gerenciar um experimento nesse contexto não é uma tarefa trivial. Cada execução de um workflow pode consumir e produzir um grande volume de dados, o que comumente requer Processamento de Alto Desempenho (PAD) aliada a técnicas de paralelismo para produzir resultados em tempo hábil. A demanda por técnicas de gerência de experimentos em ambientes de PAD vem crescendo a cada ano, ao mesmo tempo em que surgem novos ambientes como as nuvens de computadores (que podem ser multi-site e federadas) e as unidades de processamento gráfico de propósito geral (GPGPUs). Um dos maiores desafios na gerência de experimentos científicos nesses ambientes reside na distribuição das execuções das atividades dos workflows nos recursos de forma eficiente. Essas execuções podem ser distribuídas em mais de um ambiente (cluster local, nuvem e GPGPU) e essa heterogeneidade insere uma complexidade adicional (e grande) no processo. Além disso, devemos nos preocupar com a gerência de metadados e com a análise dos resultados obtidos. Diversas pesquisas na área de mineração de dados e aprendizado de máquina têm sido propostas com foco na análise de grandes volumes de dados. Entretanto, os dados biológicos produzidos por esses experimentos não podem ser representados como tuplas chave-valor, como acontece tradicionalmente em algoritmos de mineração de dados (e.g. K-means). Dados biológicos são normalmente multi-relacionados, o que demanda técnicas de aprendizado de máquina mais complexas como a mineração de dados multi-relacional (MDMR). Uma vez que essas técnicas possam ser aplicadas/adaptadas no contexto de experimentos de bioinformática para descoberta de novas drogas podemos descobrir novos padrões de sequências, funções de genes e interações proteína-proteína que alavanquem investigações na terapia de DTN. O objetivo principal deste projeto de pesquisa está no desenvolvimento de novas técnicas de gerência de experimentos científicos baseados em simulação com o foco no apoio à descoberta de novas drogas para o tratamento das DTN..
Situação: Em andamento; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (4) .
Integrantes: Bruno Lopes Vieira - Integrante / Christiano de Oliveira Braga - Integrante / Daniel Cardoso Moraes de Oliveira - Coordenador / Aline Marins Paes Carvalho - Integrante / Yuri Abitbol de Menezes Frota - Integrante / Cristina Nader Vasconcelos - Integrante / Isabel Rosseti - Integrante / Vanessa Braganholo Murta - Integrante.Financiador(es): Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ - Auxílio financeiro.
2014 - 2017
Teoria das Categorias e Teoria da Prova: Uma interação via Computação

Projeto certificado pelo(a) coordenador(a) Edward Hermann Haeusler em 20/11/2014.
Descrição: CNPq 442127/2014-6. Este projeto de pesquisa investiga como a Teoria da Prova e a Teoria das Categorias podem contribuir como base teórica para a fundamentação de Linguagens e Abordagens Lógicas e Semânticas. Seus objetivos globais são: (i) Investigar como técnicas e ferramentas da Teoria das Categorias podem ser usadas no processo de especificação semântica de modelos e sistemas (ii) Investigar como o uso de conceitos, técnicas e abordagens em Teoria da Prova podem ser usados na fundamentação de Linguagens e abordagens lógicas para a representação de conhecimento e modelos de sistemas (provavelmente com o uso de Ontologias Formais) (iii) Relacionar os ítens i e ii acima através de morfismos composicionais (Funtores) e associar uma semântica computável a estes morfismos. Os objetivos gerais são bastante amplos e ambiciosos. Vamos então passar aos objetivos específicos. Destacam-se: (i) A elaboração de sistemas dedutivos mais estruturados, que facilitam a geração de explicação de teoremas. (ii) Estender a pesquisa já iniciada e relatada em \citet{LewHaeusler1, LewHaeusler2} no que diz respeito a obtenção de esquemas heurísticos para obtenção de provas curtas (tamanho polinomial em relação a apresentação da teoria) para lógicas já conhecidas da comunidade de representação do conhecimento (iii) Definição de novas lógicas mais adequadas a certos domínios específicos, como a representação de conhecimento legal, onde trabalhos anteriores em devem ser considerados (iv) Aplicar a álgebra de operações de composição e refinamento de ontologias, e seus respectivos algoritmos, como descrito por Kelsen, de forma efetiva a contribuir para a construção e validação composicional de ontologias; (v) Estudar a existência de Categorias com noções internas de finitude não padrão, de forma a incorpora-las em modelos computacionais para estudo teórico de hipercomputação..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Doutorado: (1) .
Integrantes: Bruno Lopes Vieira - Integrante / Alexandre Rademaker - Integrante / Mário Benevides - Integrante / Geiza Maria Hamazaki da Silva - Integrante / Luiz Carlos Pereira - Integrante / Edward Hermann Haeusler - Coordenador / Vaston Gonçalves da Costa - Integrante / Gilles Dowek - Integrante / Cecilia Englander - Integrante / Marcela Quispe Cruz - Integrante / Jefferson Santos - Integrante / Valeria de Paiva - Integrante / Jean-Baptiste Joinet - Integrante / Christiano de Oliveira Braga - Integrante / Isabel Leite Cafezeiro - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2014 - 2017
Verificação de modelos de software com Lógica Dinâmica e Redes de Petri
Descrição: CNPq 441952/2014-3. Lógica Proposicional Dinâmica (PDL) é um sistema lógico multi-modal utilizada para especificar e verificar propriedades em programas sequenciais. Redes de Petri são um formalismo largamente utilizado na especificação de sistemas concorrentes e possuem uma interpretação gráfica bastante intuitiva. Neste trabalho apresentam-se aplicações de extensões da Lógica Proposicional Dinâmica onde os programas são substituídos por Redes de Petri Estocásticas de forma a efetuar a verificação formal de propriedades em software. O objetivo é converter automaticamente especificações UML em Redes de Petri Estocásticas para efetuar inferências e certificar propriedades..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (1) / Doutorado: (1) .
Integrantes: Bruno Lopes Vieira - Coordenador / Alexandre Rademaker - Integrante / Mário Benevides - Integrante / Geiza Maria Hamazaki da Silva - Integrante / Luiz Carlos Pereira - Integrante / Edward Hermann Haeusler - Integrante / Vaston Gonçalves da Costa - Integrante / Cláudia Nalon - Integrante / Gilles Dowek - Integrante / Cecilia Englander - Integrante / Marcela Quispe Cruz - Integrante / Jefferson Santos - Integrante / Valeria de Paiva - Integrante / Jean-Baptiste Joinet - Integrante / Christiano de Oliveira Braga - Integrante / Erick Simas Grilo - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
2014 - 2017
Certificação de software através de Lógica Dinâmica e Redes de Petri

Projeto certificado pelo(a) coordenador(a) Edward Hermann Haeusler em 29/06/2015.
Descrição: FAPERJ 210.723/2014. Lógica Proposicional Dinâmica (PDL) é um sistema lógico multi-modal utilizada para especificar e verificar propriedades em programas sequenciais. Redes de Petri são um formalismo largamente utilizado na especificação de sistemas concorrentes e possuem uma interpretação gráfica bastante intuitiva. Neste trabalho apresentam-se aplicações de extensões da Lógica Proposicional Dinâmica onde os programas são substituídos por Redes de Petri Estocásticas de forma a efetuar a verificação formal de propriedades em software..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Doutorado: (1) .
Integrantes: Bruno Lopes Vieira - Integrante / Alexandre Rademaker - Integrante / Mário Benevides - Integrante / Geiza Maria Hamazaki da Silva - Integrante / Edward Hermann Haeusler - Coordenador / Jefferson Santos - Integrante.Financiador(es): FAPERJ - Auxílio financeiro.
2014 - 2016
Logic and Information

Projeto certificado pelo(a) coordenador(a) Edward Hermann Haeusler em 20/11/2014.
Descrição: CAPES 4804-14-7. This project aims to propose an improvement on a long-term already existing collaboration between INRIA, the brazilians and the argentin named team. We already have a CAPES-COFECUB cooperation (n. 690/10, namely ``Teorias lógicas contemporâneas e a filosofia da linguagem: questões epistemológicas e semânticas'') that leaded to many students interchange and technical visits of Professors, including the organisation of some workshops (the last one was the II Workshop on Logic and Semantics, at UERJ, Ilha Grande-RJ, Brazil - http://www.tecmf.inf.puc-rio.br/LogicSemanticsII). Prof. Gilles Dowek is also a Co-Advisor with Prof. Edward Hermann Haeusler of a brazilian Ph.D. Candidate in this project (and a former one also in this project, these two candidates finalised recently a sandwich doctorate - similar to stage doctorale - at INRIA). Prof. Gilles Dowek also collaborates with other members of this team and is supervising a post-doc project of another member. Since 2011 members of the team presents seminars in the Deducteam group, also coordinated by Prof. Gilles Dowek (more information in http://www.cri.ensmp.fr/people/hermant/deducteam/seminars.html), and since 2009 for the former group of Prof. Gilles Dowek at Laboratoire d'Informatique de l'École polytechnique (LIX). Among our collaboration we propose the development of some subprojects as specific goals. We propose the continuation of an ongoing joint work to propose a resolution based system for automatic theorem proving in some modal logics. The project also presents a subproject for reasoning about model-driven engineering discipline models defining a metamodel (the description of the syntax of a modeling language). Another subproject proposes two tasks regarding information extraction using logical background. The first one regards how to extract, process and interoperate data and the last one uses counterfactuals to reason about the future. It is important to notice that the results of the subprojects are interchangeable. More specifically we proposes a joint research with Deducteam about proof-compression, and developments in about verifying properties and extracting data about programs properties..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Doutorado: (1) .
Integrantes: Bruno Lopes Vieira - Integrante / Alexandre Rademaker - Integrante / Mário Benevides - Integrante / Geiza Maria Hamazaki da Silva - Integrante / Luiz Carlos Pereira - Integrante / Edward Hermann Haeusler - Coordenador / Vaston Gonçalves da Costa - Integrante / Cláudia Nalon - Integrante / Gilles Dowek - Integrante / Cecilia Englander - Integrante / Marcela Quispe Cruz - Integrante / Jefferson Santos - Integrante / Jean-Baptiste Joinet - Integrante / Christiano de Oliveira Braga - Integrante / Wagner de Campos Sanz - Integrante / Madalina Croitoru - Integrante / Santiago Figuera - Integrante / José Castaño - Integrante / Alejandro Petrovich - Integrante / Ricardo Oscar Rodrigues - Integrante / Hugo Daniel dos Santos Macedo - Integrante.Financiador(es): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - Auxílio financeiro / Ministerio de Ciencia, Tecnología e Innovación Productiva - Auxílio financeiro / Institut National de Recherche en Informatique et en Automatique - Siège - Auxílio financeiro.
2012 - 2013
Lógica intuicionista como base para ontologias jurídicas
Descrição: CNPq 483460/2011-7. Este projeto visa investigar a eficiência da lógica descritiva intuicionista como alternativa à ALC clássica, com foco no domínio das ontologias jurídicas. Assim, espera-se promover a consolidação de conhecimentos de teoria da prova, focado na prova automática de teoremas. Além dos estudos sobre lógica descritiva, propõe-se o desenvolvimento de um ferramental para a prova automática de teoremas através de tableaux e dedução natural. Esse mesmo ferramental será adequado de forma que possa ser utilizado no ensino de lógica em cursos de graduação e pós-graduação. Por fim, trabalhar-se-á num módulo do provador para explicação em termos jurídicos..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (4) .
Integrantes: Bruno Lopes Vieira - Integrante / Alexandre Rademaker - Integrante / Geiza Maria Hamazaki da Silva - Integrante / Edward Hermann Haeusler - Coordenador.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 3
2010 - 2013
Modelos Matemático-Computacionais com Aplicações em Problemas Complexos
Descrição: Pronex III (CNPq/FAPEAL 67.0001/2008-2) Este projeto tem por objetivo criar as condições necessárias para o avanço científico e o desenvolvimento tecnológico no âmbito da Universidade Federal de Alagoas em áreas relevantes e inovadoras de Matemática, Matemática Computacional e Aplicada, Engenharia e Biologia, através da criação de um Núcleo de Excelência que envolve pesquisadores desta Universidade e de outras Instituições.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (11) / Mestrado acadêmico: (7) / Doutorado: (3) .
Integrantes: Bruno Lopes Vieira - Integrante / Alyson Leandro Costa Oliveira - Integrante / Alejandro C. Frery - Coordenador / Antonio Carlos Medeiros - Integrante / Rian Gabriel Santos Pinheiro - Integrante / Paulo Rogério de Souza e Silva Filho - Integrante / Heitor Soares Ramos Filho - Integrante / Ivan César Martins - Integrante / Corina da Costa Freitas - Integrante / Francisco Cribari-Neto - Integrante / Pablo Viana da Silva - Integrante / Krerley Irraciel Martins de Oliveira - Integrante / Abraão D. C. Nascimento - Integrante / Phillipe da Silva Cavalcante - Integrante / Evellyn Soares Cavalcante - Integrante / Celso Viana da Silva - Integrante / Leonardo da Silva Ramos - Integrante / Hilário Alencar da Silva - Integrante / Nidia Noemi Fabré - Integrante / Vandick da Silva Batista - Integrante / Adán José Corcho Fernández - Integrante / Jose Felipe Linares Ramirez - Integrante / Gilberto Pedro da Silva Júnior - Integrante / Fabiano Brião - Integrante / Rodrigo Pinheiro - Integrante / Emanuella Toledo Lopes - Integrante / Fernando Henrique Tavares Lima da Silva - Integrante / Tamer Cavalcante - Integrante / Wagner Barreto - Integrante / Celso Jaco Faccio Junior - Integrante / Wylken dos Santos Machado - Integrante / Ailton Cruz dos Santos - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro / Fundação de Amparo à Pesquisa do Estado de Alagoas - Auxílio financeiro.
2008 - 2009
Análise de Simuladores para Redes de Sensores sem Fio
Descrição: Uma Rede de Sensores sem Fio (RSSF) é um conjunto de dispositivos sensores independentes (nós) que monitoram e coletam dados de ambientes diversos e os transmitem a um destino específico (sink). Com os dados em mãos é possível monitorar situações como risco de incêndio em prédios, pressão em caldeiras, risco de morte em animais, dentre várias outras. Os estudos focados nessas redes obtiveram grandes avanços nos últimos anos, mas o alto custo de implantação dificulta o desenvolvimento de técnicas e estudos. A alternativa mais viável e difundida para solucionar esse obstáculo é o uso de programas que simulam o comportamento das RSSF (simuladores). Há diversos simuladores disponíveis, entretanto não há na literatura análises comparativas destes, o que gera dificuldades em determinar qual o programa mais adequado a determinada tarefa. Este trabalho pretende realizar uma análise comparativa entre os simuladores para RSSF e, com os resultados obtidos, elaborar relatórios que possam orientar estudos na escolha da ferramenta de simulação a ser utilizada em cada situação.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (3) / Doutorado: (1) .
Integrantes: Bruno Lopes Vieira - Integrante / Alyson Leandro Costa Oliveira - Integrante / Alejandro C. Frery - Coordenador / Marcelo Gabriel Almiron - Integrante / Rian Gabriel Santos Pinheiro - Integrante / Paulo Rogério de Souza e Silva Filho - Integrante / Heitor Soares Ramos Filho - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Bolsa.
2008 - 2009
Análise de Desempenho de Redes de Sensores sem Fio - FAPEAL 2008.0531812-6
Descrição: Os estudos em Redes de Sensores sem Fio têm sido um dos principais focos nas pesquisas do Grupo Quantitative and Simulation Models da Universidade Federal de Alagoas. Até o momento todos os resultados alcaçados foram fruto de simulações, mas para dar continuidade às pesquisas constata-se a necessidade de maior realismo nas experiências. Surge, com isso, a necessidade de criar um laboratório de redes de sensores sem fios. Este projeto propõe a criação desse laboratório no âmbito do CPMAT (Centro de Pesquisas em Matemática Computacional) da Universidade Federal de Alagoas, com o objetivo de dar suporte às pesquisas que já se encontram em andamento. A criação deste laboratório possibilitará uma melhor formação dos alunos de graduação e de pós-graduação que trabalhan junto ao grupo.
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (3) / Doutorado: (1) .
Integrantes: Bruno Lopes Vieira - Integrante / Alyson Leandro Costa Oliveira - Integrante / Alejandro C. Frery - Coordenador / Marcelo Gabriel Almiron - Integrante / Rian Gabriel Santos Pinheiro - Integrante / Paulo Rogério de Souza e Silva Filho - Integrante / Heitor Soares Ramos Filho - Integrante / Ivan César Martins - Integrante / Antonio Alfredo F. Loureiro - Integrante / Eduardo Nakamura - Integrante / Marcio Nunes de Miranda - Integrante.Financiador(es): Fundação de Amparo à Pesquisa do Estado de Alagoas - Auxílio financeiro.
2007 - 2007
Ambiente Computacional Aplicado: Recursos para Ajuda Educacional
Descrição: Mediante a evolução do projeto "Um Simulador para Ilustrar Graficamente a Execução de Programas e as Noções de Computabilidade", sua forma foi expandida. Assim, objetiva-se transformá-lo numa interface capaz de se adequar as necessidades dos usuários nos quesitos relativos ao processo de ensino/aprendizado. Seu foco é transpassar à prática conceitos teóricos de difícil assimilação..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (1) .
Integrantes: Bruno Lopes Vieira - Integrante / Mário Peixoto - Integrante / Eliana Almeida - Coordenador.
Número de produções C, T & A: 3
2006 - 2007
VATAPA: VibroAcustografia - Teoria, Aplicações, Processamento e Análise
Descrição: A vibro-acustografia é uma nova modalidade de imageamento que utiliza uma força de radiação acústica dinâmica para recuperar informações a respeito das propriedades mecânicas e acústicas de um objeto. A força de radiação dinâmica pode ser produzida por dois feixes confocais de ultra-som de ondas contínuas em frequências ligeiramente diferentes. Frequências típicas para estes feixes estão na faixa de 1 a 10 MHz, e as diferenças usuais vão de 1 Hz a 100 kHz. Se um objeto é colocado na região focal comum aos feixes, parte do momentum é transferido ao objeto, aparecendo nele uma força de radiação dinâmica na frequência diferença. Em resposta a esta força, o objeto vibrará emitindo um campo acústico, e um hidrofone pode ser empregado para medir esta emissão. Fazendo com que o ponto focal dos feixes varra o objeto, é possível registrar a amplitude e a fase do sinal para formar uma imagem do objeto. O potencial das imagens de vibro-acustografia foi positivamente avaliado para o estudo das propriedades mecânicas de materiais, para a caracterização de tecidos e para aplicações médicas. Para aplicações médicas em particular, os feixes de ultra-som podem ser produzidos por diversos tipos de transdutores, tais como anulares planos, anulares convexos ou arranjos lineares. Os arranjos lineares são frequentemente empregados em aplicações de ultra-som análogas à vibro-acustografia, já que permitem o controle eletrônico do foco dos feixes. O controle é alcançado pelo uso de sinais adequadamente retardados para cada elemento do arranjo. Nessas aplicações, os arranjos lineares são projetados de tal forma que há uma boa redução dos lóbulos laterais do sinal. A geometria tem um papel preponderante na qualidade do sinal, mas há limitações físicas para o projeto de transdutores, tais como o tamanho do dispositivo e o número de elementos. Um sistema de imageamento por vibro-acustografia pode ser caracterizado pela sua função de espalhamento pontual (FEP), que é a resposta do sistema a um..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Mestrado acadêmico: (2) / Doutorado: (1) .
Integrantes: Bruno Lopes Vieira - Integrante / Marcelo Damasceno de Melo - Integrante / Alejandro C. Frery - Coordenador / Glauber T. Silva - Integrante / Tácito Trindade Araújo Tiburtino Neves - Integrante.Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro.
Número de produções C, T & A: 1
2004 - 2006
Um Simulador para Ilustrar Graficamente a Execução de Programas e as Noções de Computabilidade
Descrição: Este projeto tem por objetivo o desenvolvimento de um sistema que visa dar suporte ao ensino de algumas disciplinas básicas de Computação. O propósito primordial deste Sistema é oferecer um conjunto de ferramentas integradas que facilite o ensino/aprendizagem de programação em uma linguagem algorítmica de fácil assimilação, sob uma perspectiva explícita de resolução de problemas. Outra intenção é estender esse conjunto de ferramentas a um patamar simplista com modelos de representação mais próximos da arquitetura clássica de um sistema computacional. Em suma, o objetivo do projeto é prover ferramentas que auxiliem o ensino de programação para iniciantes e também o entendimento da arquitetura e funcionamento interno de um computador..
Situação: Concluído; Natureza: Pesquisa.
Alunos envolvidos: Graduação: (3) / Especialização: (0) / Mestrado acadêmico: (0) / Mestrado profissional: (0) / Doutorado: (0) .
Integrantes: Bruno Lopes Vieira - Integrante / Eliana Silva de Almeida - Coordenador.
Número de produções C, T & A: 7


Revisor de periódico


2016 - Atual
Periódico: Mathematical Reviews
2016 - Atual
Periódico: IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Hu
2018 - Atual
Periódico: INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE
2018 - Atual
Periódico: CITIES


Revisor de projeto de fomento


2015 - Atual
Agência de fomento: Fundação de Apoio à Pesquisa do Distrito Federal


Áreas de atuação


1.
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.
2.
Grande área: Ciências Exatas e da Terra / Área: Probabilidade e Estatística / Subárea: Redes Probabilísticas.
3.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Provadores de Teoremas.
4.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Computabilidade e Modelos de Computação.


Idiomas


Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Razoavelmente, Fala Pouco, Lê Razoavelmente, Escreve Pouco.


Prêmios e títulos


2015
Award of Scientific Excellence, Universidad de Salamanca.


Produções



Produção bibliográfica
Citações

Web of Science
Total de trabalhos:9
Total de citações:15
Fator H:2
Lopes, Bruno  Data: 08/11/2018

Artigos completos publicados em periódicos

1.
Benevides, Mario R. F.2018Benevides, Mario R. F. ; Lopes, Bruno ; Haeusler, Edward Hermann . Towards reasoning about Petri nets: A Propositional Dynamic Logic based approach. THEORETICAL COMPUTER SCIENCE, p. 22-36, 2018.

2.
Lopes, Bruno2017Lopes, Bruno; Englander, Cecilia ; Lobo, Fernanda ; Cruz, Marcela Quispe . Revisiting the proof theory of Classical S4. O QUE NOS FAZ PENSAR (PUCRJ), v. 25, p. 71-86, 2017.

3.
SANTOS, J. B.2016SANTOS, J. B. ; Haeusler, Edward Hermann ; VIEIRA, Bruno Lopes . A Unified Procedure for Provability and Counter-Model Generation in Minimal Implicational Logic. Electronic Notes in Theoretical Computer Science, v. 324, p. 165-179, 2016.

4.
Nalon, Cláudia2015Nalon, Cláudia ; LOPES, B. ; Haeusler, Edward Hermann ; Dowek, Gilles . A Calculus for Automatic Verification of Petri Nets Based on Resolution and Dynamic Logics. Electronic Notes in Theoretical Computer Science, v. 312, p. 125-141, 2015.

5.
LOPES, Bruno2014LOPES, Bruno; Benevides, M. ; Haeusler, Edward Hermann . Extending Propositional Dynamic Logic for Petri Nets. Electronic Notes in Theoretical Computer Science, v. 305, p. 67-83, 2014.

6.
LOPES, B.2014LOPES, B.; Benevides, M. ; HAEUSLER, E. H. . Propositional dynamic logic for Petri Nets. Logic Journal of the IGPL (Online), v. 23, p. 721-736, 2014.

7.
Almiron, M. G.2010Almiron, M. G. ; LOPES, Bruno ; Oliveira, A. L. C. ; Medeiros, A. C. ; Frery, A. C. . On the Numerical Accuracy of Spreadsheets. Journal of Statistical Software, v. 34, p. 1-29, 2010.

8.
Almeida, E. S. de2004Almeida, E. S. de ; Herrera, J. D. ; Silva-Filho, L. J. da ; Almeida, H. de O. ; Costa, E. de B. ; VIEIRA, Bruno Lopes ; Melo, M. D. de . Um Ambiente Integrado para Auxílio ao Ensino de Ciência da Computação. Colabor@ (Curitiba), v. 2, n.8, p. 1, 2004.

Livros publicados/organizados ou edições
1.
Lopes, Bruno; Braga, Christiano (Org.) . Livro de Resumos: I WEITC/ I Workshop Escola de Inverno em Teoria da Computação. 1. ed. Niterói: Universidade Federal Fluminense, 2017. v. 1. 51p .

2.
LOPES, Bruno; Perciano, Talita (Org.) . Learning and Inferring. 1. ed. Londres: College Publications, 2015. v. 1. 170p .

3.
Haeusler, Edward Hermann (Org.) ; SANZ, W. C. (Org.) ; Lopes, Bruno (Org.) . Why is this a Proof?. 1. ed. Londres: College Publications, 2015. v. 1. 238p .

Trabalhos completos publicados em anais de congressos
1.
GRILO, ERICK SIMAS ; Lopes, Bruno . Formalization and Certification of Software for Smart Cities. In: 2018 International Joint Conference on Neural Networks (IJCNN), 2018, Rio de Janeiro. 2018 International Joint Conference on Neural Networks (IJCNN), 2018. p. 1-669.

2.
SANTOS, J. B. ; Lopes, Bruno ; Haeusler, Edward Hermann . Counter-Model Generation from Failed Proof Searches in Propositional Minimal Implicational Logic. In: Logical and Semantic Frameworks with Applications, 2017, Brasília. Logical and Semantic Frameworks with Applications, 2017.

3.
Benevides, Mario R. F. ; Lopes, Bruno ; Haeusler, Edward Hermann . Propositional Dynamic Logic for Petri Nets with Iteration. In: International Colloquium on Theoretical Aspects of Computing, 2016, Taipei. Theoretical Aspects of Computing - ICTAC 2016 (LNCS), 2016. v. 9965. p. 441-456.

4.
Braga, Christiano ; Lopes, Bruno . Towards Reasoning in Dynamic Logics with Rewriting Logic: The Petri-PDL Case. In: Simpósio Brasileiro de Métodos Formais, 2016, Belo Horizonte. Formal Methods: Foundations and Applications (LNCS), 2016. v. 9526. p. 74-89.

5.
COSTA, VASTON GONÇALVES DA ; VIEIRA, Bruno Lopes ; STOPPA, MARCELO HENRIQUE ; SOUZA, LEANDRO RODRIGUES DA SILVA . INDUSTRIAL PRODUCTION LINE MODELING AND REASONING BY PETRI NETS. In: Congresso Nacional de Matemática Aplicada à Indústria, 2015, Caldas Novas. Anais do Congresso Nacional de Matemática Aplicada à Indústria. v. 1. p. 95-102.

6.
SANTOS, J. B. ; VIEIRA, Bruno Lopes ; Haeusler, Edward Hermann . Towards a Unified Procedure for Provability and Counter-Model Generation in Minimal Implicational Logic. In: Workshop-Escola de Informática Teórica, 2015, Porto Alegre. Anais do WEIT 2015. Porto Alegre: UFRGS, 2015. p. 238-245.

7.
Lopes, Bruno; Benevides, M. ; Haeusler, Edward Hermann . Reasoning about Multi-Agent Systems Using Stochastic Petri Nets. In: Practical Applications of Agent and Multiagent Systems, 2015, Salamanca. Trends in Practical Applications of Agents, Multi-Agent Systems and Sustainability (AISC), 2015. v. 372. p. 75-86.

8.
Nalon, Cláudia ; LOPES, Bruno ; Dowek, Gilles ; Haeusler, Edward Hermann . A calculus for automatic verification of Petri Nets based on Resolution and Dynamic Logics. In: Workshop on Logic and Semantic Frameworks with Applications, 2014, Brasília. Annals of the 9th Workshop on Logic and Semantic Frameworks with Applications, 2014. p. 95-110.

9.
Hamazaki, G. ; SAETTLER, A. M. ; RUBACK, L. ; LOPES, Bruno ; CORSEUIL, E. T. L. . Modelling objects in OWL: a First Order Logic based tool. In: International Conference WWW/INTERNET, 2014, Porto. Proceedings of the 13th International Conference WWW/INTERNET, 2014.

10.
LOPES, Bruno; Benevides, M. ; Haeusler, Edward Hermann . Extending Propositional Dynamic Logic for Petri Nets. In: Workshop on Logical and Semantic Frameworks with Applications, 2013, São Paulo. Workshop on Logical and Semantic Frameworks with Applications, 2013.

11.
da Costa, Vaston Gonçalves ; LOPES, Bruno ; Haeusler, Edward Hermann . Game modelling and reasoning by Petri Nets. In: Simpósio Brasileiro de Métodos Formais, 2013, Brasília. Anais do XVI Simpósio Brasileiro de Métodos Formais, 2013. v. 1. p. 24-29.

12.
LOPES, Bruno; Benevides, M. ; Haeusler, Edward Hermann . Verifying properties in multi-agent systems using Stochastic Petri Nets and Propositional Dynamic Logic. In: Encontro Nacional de Inteligência Artificial e Computacional, 2013, Fortaleza. X Encontro Nacional de Inteligência Artificial e Computacional, 2013.

13.
Hamazaki, G. ; LOPES, Bruno ; LOPES, G. B. M. . Modelling Geometric Objects with ISO 15926: Three proposals with a comparative analysis. In: 5º Seminário de Pesquisa em Ontologias no Brasil e 7º International Workshop on Metamodels, Ontologies and Semantic Technologies, 2012, Recife. Anais do 5º Seminário de Pesquisa em Ontologias no Brasil e 7º International Workshop on Metamodels, Ontologies and Semantic Technologies, 2012.

14.
Benevides, M. ; Haeusler, Edward Hermann ; LOPES, Bruno . Propositional Dynamic Logic for Petri Nets. In: Workshop on Logical and Semantic Frameworks with Applications, 2011, Belo Horizonte. Pre-Proceedings of the 6th Workshop on Logical and Semantic Frameworks, 2011.

15.
LOPES, Bruno; Frery, A. C. . Reconstrução de sinais em Redes de Sensores sem Fios com técnicas de geoestatística. In: Simpósio Nacional de Probabilidade e Estatística, 2010, São Pedro. Anais do XIX Simpósio Nacional de Probabilidade e Estatística, 2010.

16.
VIEIRA, Bruno Lopes; Almeida, E. S. de ; Frery, A. C. . Detecção de Paralelismo para Filtros Convolucionais. In: Simpósio Brasileiro de Sensoriamento Remoto, 2007, Florianópolis. Anais do XIII Simpósio Brasileiro de Sensoriamento Remoto, 2007. p. 6257-6264.

17.
Peixoto, M. ; LOPES, Bruno ; Almeida, E. . Construindo uma ferramenta para transpor paradigmas de interface em Máquinas de Turing - TOMaTE. In: I Workshop de Ambientes de apoio à Aprendizagem de Algoritmos e Programação, 2007, São Paulo. Anais do XVIII Simpósio Brasileiro de Informática na Educação, 2007.

18.
VIEIRA, Bruno Lopes; Costa, J. T. C. ; Frery, A. C. . Análise do Processo de Desenvolvimento de Software através de Redes Probabilísticas. In: Encontro de Modelagem Computacional, 2006, Belo Horizonte. Anais do IX Encontro de Modelagem computacional, 2006.

Resumos expandidos publicados em anais de congressos
1.
Hamazaki, G. ; LOPES, B. . Modelling Geometric Objects with ISO15926. In: Workshop on Logics and Ontologies for Natural Language, 2014, Rio de Janeiro. Annals of the 1st Workshop on Logics and Ontologies for Natural Language, 2014.

Resumos publicados em anais de congressos
1.
Braga, Christiano ; Lopes, Bruno . Certifying Massive Open Online Courses. In: Encontro Brasileiro de Lógica, 2017, Pirenópolis. XVIII EBL: Book of Abstracts, 2017. p. 61-61.

2.
PEREIRA, L. C. ; Lopes, Bruno . Inferences as actions, actions as inferences. In: Journées de Rochebrune, 2017, Rochebrune. 23e Journées de Rochebrune, 2017.

3.
GRILO, E. S. ; Lopes, Bruno ; Paes, A . Formalizando a teoria de linguagens regulares com o Coq. In: Workshop Escola de Inverno em Teoria da Computação, 2017, Niterói. Livro de Resumos: I WEITC/ I Workshop Escola de Inverno em Teoria da Computação. Niterói: Universidade Federal Fluminense, 2017. v. 1. p. 27-27.

4.
SANTOS, J. B. ; Lopes, Bruno ; Haeusler, Edward Hermann . Proof Search and Counter-model Generation in Propositional Minimal Implicational Logic. In: Workshop Escola de Inverno em Teoria da Computação, 2017, Niterói. Livro de Resumos: I WEITC/ I Workshop Escola de Inverno em Teoria da Computação. Niterói: Universidade Federal Fluminense, 2017. v. 1. p. 33-33.

5.
PEREIRA JR., A. L. ; Lopes, Bruno . Uma abordagem lógica para Reo. In: Workshop Escola de Inverno em Teoria da Computação, 2017, Niterói. Livro de Resumos: I WEITC/ I Workshop Escola de Inverno em Teoria da Computação. Niterói: Universidade Federal Fluminense, 2017. v. 1. p. 46-46.

6.
OLIMPIO, B. ; Lopes, Bruno . Blockchain model checking. In: Workshop Escola de Inverno em Teoria da Computação, 2017, Niterói. Livro de Resumos: I WEITC/ I Workshop Escola de Inverno em Teoria da Computação. Niterói: Universidade Federal Fluminense, 2017. v. 1. p. 49-49.

7.
Nalon, Cláudia ; LOPES, Bruno ; Dowek, Gilles ; Haeusler, Edward Hermann . A calculus for automatic verification of Petri Nets based on Resolution and Dynamic Logics. In: Brazilian Logic Conference, 2014, Petrópolis. Abstracts of the 17th Brazilian Logic Conference, 2014. p. 79-79.

8.
LOPES, Bruno; Englander, Cecilia ; Lobo, Fernanda ; Cruz, Marcela Quispe . Revisiting the proof theory of Classical S4. In: Brazilian Logic Conference, 2014, Petrópolis. Abstracts of the 17th Brazilian Logic Conference, 2014. p. 67-67.

9.
Santos, Jefferson ; LOPES, Bruno ; Haeusler, Edward Hermann . A proof-graphs based theorem prover for Minimal Implicational Logic. In: Brazilian Logic Conference, 2014, Petrópolis. Abstracts of the 17th Brazilian Logic Conference, 2014. p. 93-93.

10.
Santos, Jefferson ; LOPES, Bruno ; Cruz, Marcela Quispe ; Haeusler, Edward Hermann . Improving memory performance for mimp-graph based thorem provers. In: Latin American Symposium on Mathematical Logic, 2014, Buenos Aires. Abstracts of the 16th Latin American Symposium on Mathematical Logic, 2014.

11.
LOPES, Bruno; Almeida, E. ; Frery, A. C. . Detecção de paralelismo através de grafos de dependências em filtros convolucionais. In: 60ª Reunião Anual da Sociedade Brasileira para o Progresso da Ciência, 2008, Campinas. Anais da 60ª Reunião Anual da Sociedade Brasileira para o Progresso da Ciência, 2008.

12.
Almiron, M. G. ; LOPES, Bruno ; Oliveira, A. L. C. ; Medeiros, A. C. . Precisão das funções estatísticas de ferramentas spreadsheet: uma análise comparativa. In: XXXI Congresso Nacional de Matemática Aplicada e Computacional, 2008, Belém. Anais do XXXI Congresso Nacional de Matemática Aplicada e Computacional, 2008.

13.
VIEIRA, Bruno Lopes; Almeida, E. S. de . Um simulador para ilustrar graficamente a execução de programas e as noções de computabilidade. In: 59ª Reunião da Sociedade Brasileira para o Progresso da Ciência, 2007, Belém. Anais da 59ª Reunião Anual da SBPC, 2007.

14.
LOPES, Bruno; Almeida, E. S. de ; Frery, A. C. . Vibroacustografia: Teoria, Aplicações Processamento e Análise - VATAPA. In: Congresso Acadêmico da UFAL, 2007, Maceió. Anais do IV Congresso Acadêmico da UFAL, 2007.

15.
Vieira, K. A. ; Magalhães, F. M. ; Sugliano, G. O. S. ; LOPES, Bruno . Análise bioacústica dos cantos de anúncio de anfíbios anuros em áreas remanescentes de mata atlântica do estado de Alagoas, Brasil. In: 59ª Reunião Anual da Sociedade Brasileira para o Progresso da Ciência, 2007, Belém. Anais da 59ª Reunião Anual da Sociedade Brasileira para o Progresso da Ciência, 2007.

16.
VIEIRA, Bruno Lopes; Almeida, E. S. de . Um Simulador Para Ilustrar Graficamente a Execução de Programas e as Noções de Computabilidade. In: Congresso Acadêmico da UFAL, 2006, Maceió. Congresso Acadêmico 2006. Maceió, 2006.

17.
VIEIRA, Bruno Lopes; Almeida, E. S. de . Um Simulador Para Ilustrar Graficamente a Execução de Programas e as Noções de Computabilidade. In: Congresso Acadêmico da UFAL, 2005, Maceió. Congresso Acadêmico 2005, 2005.

18.
VIEIRA, Bruno Lopes; Almeida, E. S. de ; Melo, M. D. de ; Silva-Filho, L. J. da ; Costa, E. de B. . Um Simulador Para Ilustrar Graficamente a Execução de Programas e as Noções de Computabilidade. In: Congresso Acadêmico da UFAL, 2004, Maceió. Congresso Acadêmico 2004, 2004.

Apresentações de Trabalho
1.
Braga, Christiano ; Lopes, Bruno . Certifying Massive Open Online Courses. 2017. (Apresentação de Trabalho/Comunicação).

2.
Benevides, Mario R. F. ; Lopes, Bruno ; Haeusler, Edward Hermann . Propositional Dynamic Logic for Petri Nets with Iteration. 2016. (Apresentação de Trabalho/Comunicação).

3.
da Costa, Vaston Gonçalves ; VIEIRA, Bruno Lopes ; STOPPA, MARCELO HENRIQUE ; SOUZA, LEANDRO RODRIGUES DA SILVA . Industrial production line modeling and reasoning by Petri nets. 2015. (Apresentação de Trabalho/Comunicação).

4.
Lopes, Bruno. Towards reasoning about concurrent systems: a logical approach. 2015. (Apresentação de Trabalho/Conferência ou palestra).

5.
Nalon, Cláudia ; LOPES, Bruno ; Dowek, Gilles ; Haeusler, Edward Hermann . A calculus for automatic verification of Petri Nets based on Resolution and Dynamic Logics. 2014. (Apresentação de Trabalho/Comunicação).

6.
LOPES, Bruno; Benevides, M. ; Haeusler, Edward Hermann . Extending Propositional Dynamic Logic for Petri Nets. 2013. (Apresentação de Trabalho/Outra).

7.
LOPES, Bruno; da Costa, Vaston Gonçalves ; Haeusler, Edward Hermann . Game modelling and reasoning by Petri Nets. 2013. (Apresentação de Trabalho/Simpósio).

8.
Benevides, M. ; Hermann, E. ; LOPES, Bruno . Propositional Dynamic Logic for Petri Nets. 2011. (Apresentação de Trabalho/Outra).

9.
LOPES, Bruno; Frery, A. C. . Reconstrução de sinais em Redes de Sensores sem Fios com técnicas de geoestatística. 2010. (Apresentação de Trabalho/Simpósio).

10.
LOPES, Bruno; Almeida, E. ; Frery, A. C. . Detecção de paralelismo através de grafos de dependências em filtros convolucionais. 2008. (Apresentação de Trabalho/Outra).

11.
LOPES, Bruno; Almeida, E. ; Frery, A. C. . VATAPA: VibroAcustografia - Teoria, Aplicações, Processamento e Análise. 2007. (Apresentação de Trabalho/Congresso).

12.
Vieira, K. A. ; Magalhães, F. M. ; Sugliano, G. O. S. ; VIEIRA, Bruno Lopes . Análise bioacústica dos cantos de anúncio de anfíbios anuros em áreas remanescentes de mata atlântica do estado de Alagoas, Brasil. 2007. (Apresentação de Trabalho/Outra).

13.
LOPES, Bruno; Almeida, E. . Um simulador para ilustrar graficamente a execução de programas e as noções de computabilidade. 2007. (Apresentação de Trabalho/Outra).

14.
VIEIRA, Bruno Lopes; Costa, J. T. C. ; Frery, A. C. . Análise do Processo de Desenvolvimento de Software através de Redes Probabilísticas. 2006. (Apresentação de Trabalho/Congresso).

15.
VIEIRA, Bruno Lopes; Almeida, E. S. de . Um Simulador Para Ilustrar Graficamente a Execução de Programas e as Noções de Computabilidade. 2006. (Apresentação de Trabalho/Congresso).

16.
VIEIRA, Bruno Lopes; Almeida, E. S. de . Um Simulador para Ilustrar a Execução de Programas e as Noções de Computabilidade - Módulo Gerador de Fluxogramas. 2005. (Apresentação de Trabalho/Congresso).

17.
Almeida, E. S. de ; VIEIRA, Bruno Lopes ; Melo, M. D. de ; Silva-Filho, L. J. da ; Costa, E. de B. . Um Simulador para Ilustrar Graficamente a Execução de Programas e s Noções de Computabilidade. 2004. (Apresentação de Trabalho/Congresso).

Outras produções bibliográficas
1.
NIEVES, J. C. ; Haeusler, Edward Hermann ; Lopes, Bruno . Thematic issue: Advances in Logic-based Methods for Intelligent Systems, 2017. (Prefácio, Pósfacio/Prefácio)>.


Produção técnica
Programas de computador sem registro
1.
LOPES, Bruno; Haeusler, Edward Hermann . TableauxProver. 2011.

2.
Hu, J. ; Duret-Lutz, A. ; LOPES, Bruno . MoinMoin BibTeX2 Parser. 2010.

3.
LOPES, Bruno. RegAuto. 2003.

4.
LOPES, Bruno. EverBlue Studio X. 2003.


Demais tipos de produção técnica
1.
LOPES, Bruno. Atingindo o Nirvana no Debian. 2008. (Curso de curta duração ministrado/Outra).

2.
LOPES, Bruno; Oliveira, A. L. C. . Gerenciamento de Redes com Debian GNU/Linux. 2007. (Curso de curta duração ministrado/Outra).

3.
VIEIRA, Bruno Lopes; Oliveira, A. L. C. . Oficina Linux. 2005. (Curso de curta duração ministrado/Outra).

4.
VIEIRA, Bruno Lopes. O Projeto Linux. 2004. (Curso de curta duração ministrado/Extensão).



Bancas



Participação em bancas de trabalhos de conclusão
Mestrado
1.
da Costa, Vaston Gonçalves; STOPPA, M. H.; Lopes, Bruno. Participação em banca de Luiz Gustavo Dias. Análise formal no gerenciamento de competências: o emprego de Ontologias e Lógica de Descrição. 2018. Dissertação (Mestrado em Gestão Organizacional) - Universidade Federal de Goiás.

2.
da Costa, Vaston Gonçalves; STOPPA, M. H.; Lopes, Bruno. Participação em banca de Thiago de Almeida Bastos. Validação formal de Modelos de Manufatura Flexível com Lógica Dinâmica: o uso de Petri-PDL. 2018. Dissertação (Mestrado em Modelagem e Otimização) - Universidade Federal de Goiás.

3.
Benevides, Mario R. F.; Barbosa, Valmir Carneiro; Lopes, Bruno. Participação em banca de Anna Carolina Carvalho Moreira de Oliveira. Model Checking Dolev-Yao Multi-Agent Epistemic Logic. 2018. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

4.
PEREIRA, L. C. P. D.; Haeusler, Edward Hermann; Lopes, Bruno; SANTOS, J. B.. Participação em banca de Victor Luiz Barroso Nascimento. Ecumenismo Lógico. 2018. Dissertação (Mestrado em Filosofia) - Pontifícia Universidade Católica do Rio de Janeiro.

5.
Braga, C. O.; Haeusler, Edward Hermann; SAADE, D. C. M.; BRANDAO, D.; Lopes, Bruno. Participação em banca de André Luiz Soares Metelo. A Rewriting Logic Approach for the Specification and Validation of Modular Cyber Physical Systems. 2018. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense.

6.
VITERBO FILHO, J.; LOPES, Bruno; CAPPELLI, C.; BOSCARIOLI, C.; TREVISAN, D. G.. Participação em banca de Victor Hugo Röhsig Silva. Aplicação de uma Álgebra de Ontologias Contextualizada para a Construção de Ontologias de Domínio. 2016. Dissertação (Mestrado em CIÊNCIAS DA COMPUTAÇÃO) - Universidade Federal Fluminense.

7.
Benevides, M.; LOPES, Bruno; Barbosa, Valmir Carneiro; DELGADO, C. A. D. M.. Participação em banca de Vitor Pereira Machado. Populational Announcement Logic (PPAL). 2016. Dissertação (Mestrado em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

Teses de doutorado
1.
Haeusler, Edward Hermann; Dowek, Gilles; Benevides, Mario R. F.; AYALA-RINCON, M.; PEREIRA, L. C.; LABER, E. S.; Lopes, Bruno. Participação em banca de Jefferson de Barros Santos. Systems for provability and countermodel generation in Propositional Minimal Implicational Logic. 2017. Tese (Doutorado em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Qualificações de Doutorado
1.
Benevides, M.; SCHECHTER, L. M.; Lopes, Bruno. Participação em banca de Isaque Maçalam Saab Lima. Lógica Epistêmica Dinâmica com Ações Concorrentes. 2018. Exame de qualificação (Doutorando em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

2.
Benevides, M.; Barbosa, Valmir Carneiro; Lopes, Bruno. Participação em banca de Vitor Pereira Machado. Populational Announcement Logic (PPAL). 2018. Exame de qualificação (Doutorando em Engenharia de Sistemas e Computação) - Universidade Federal do Rio de Janeiro.

3.
Haeusler, Edward Hermann; Lopes, Bruno; PEREIRA, L. C.. Participação em banca de Jefferson de Barros Santos. A Unified Procedure for Provability and Counter-Model Generation in Minimal Implicational Logic. 2016. Exame de qualificação (Doutorando em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

4.
Haeusler, Edward Hermann; Lopes, Bruno; Barbosa, S. D. J.. Participação em banca de Cleyton Slaviero. Autômatos e Fundamentos de Computação na Programação de Jogos de Crianças e Adolescentes. 2015. Exame de qualificação (Doutorando em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

Qualificações de Mestrado
1.
Nalon, Cláudia; OLARTE, C.; Lopes, Bruno. Participação em banca de Daniella Angelos. Combined Proof Methods for Multimodal Logic. 2018. Exame de qualificação (Mestrando em Ciência da Computação) - Universidade de Brasília.

2.
Haeusler, Edward Hermann; Lopes, Bruno; PEREIRA, L. C.. Participação em banca de José Flávio Cavalcante Barros Júnior. Compressão de Provas: uma análise sobre técnicas e uma proposta de estrutura para representar provas. 2018. Exame de qualificação (Mestrando em Informática) - Pontifícia Universidade Católica do Rio de Janeiro.

3.
PEREIRA, L. C.; Haeusler, Edward Hermann; Lopes, Bruno. Participação em banca de Victor Luis Barroso Nascimento. Estudos sobre Ecumenismo Lógico. 2016. Exame de qualificação (Mestrando em Filosofia) - Pontifícia Universidade Católica do Rio de Janeiro.

Trabalhos de conclusão de curso de graduação
1.
Oliveira, D C M; ROSSETI, I.; Lopes, Bruno. Participação em banca de Bruno Alves Hilario.Comparação entre Abordagens para Paralelização Automática de Workflows Intensivos em Dados. 2018. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

2.
Lopes, Bruno; Rademaker, A.; Barbosa, S. D. J.; Haeusler, Edward Hermann. Participação em banca de Paula Satie Matsumoto Ichikava.Ferramenta para Auxílio à Formalização em Lógica com Validação. 2017. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro.

3.
KOWADA, L. A.; CARVALHO, A. M. P.; Lopes, Bruno. Participação em banca de Vinícius de Carvalho Brum.Compilador para linguagem reversível Janus. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

4.
CARVALHO, A. M. P.; Oliveira, D C M; LAGE, M.; Lopes, Bruno. Participação em banca de Tomás Osorio de Moraes Geo Siqueira.Visualização de dados de crimes. 2017. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

5.
Oliveira, D C M; CARVALHO, A. M. P.; Lopes, Bruno. Participação em banca de Mariana Teixeira Carvalho.Uma abordagem para busca de padrões de explosões solares nos dados dos Telescópios Tupi. 2017. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

6.
Oliveira, D C M; COSTA, L. C.; Lopes, Bruno. Participação em banca de Fabrizio Soares Di Biase Moura e Guilherme de Souza Silva.Uma proposta de sistema para controle de Trabalhos de Conclusão de Curso do IC/UFF. 2017. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal Fluminense.

7.
Nalon, Cláudia; Lopes, Bruno; Walter, Maria Emília Telles Walter. Participação em banca de Matheus Costa de Souza Carvalho Pimenta.Um algoritmo baseado em programação dinâmica e renomeamento para minimização de formas normais. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade de Brasília.

8.
Haeusler, Edward Hermann; ENDLER, M.; Lopes, Bruno. Participação em banca de Érico Nascimento Córneo.Aplicação de verificação de modelo em diagramas de estado geradores de código fonte. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Pontifícia Universidade Católica do Rio de Janeiro.

9.
Cafezeiro, I. L.; Lopes, Bruno; VALENTE, S.. Participação em banca de Anna Karoline Ramos Rangel.A Antecipação da Incompletude dos Sistemas Formais por Emil Post Durante a Crise dos Fundamentos da Matemática. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

10.
Braga, C. O.; Lopes, Bruno; CARVALHO, A. M. P.. Participação em banca de Hugo Farias.LEARN - Uma Linguagem para Descrição de Cursos Online. 2016. Trabalho de Conclusão de Curso (Graduação em Computação) - Universidade Federal Fluminense.

11.
Oliveira, D C M; CARVALHO, A. M. P.; Lopes, Bruno. Participação em banca de Frederico Queiroz Nascimento.Análise de desempenho esportivo baseada em dados estatísticos. 2016. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

12.
Haeusler, Edward Hermann; Rademaker, A.; Lopes, Bruno; Barbosa, S. D. J.. Participação em banca de Daniel Guimarães.Implementação nas Nuvens de aplicação web: ambiente BlueMix. 2016. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro.

13.
Drummond, L; Lopes, Bruno; Paes, A; Oliveira, D C M. Participação em banca de Gisele Domingos Alves e Pedro Henrique Ribeiro da Silva.Uma abordagem para execução de processos na nuvem usando aprendizado por reforço. 2015. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense.

14.
Haeusler, Edward Hermann; LOPES, Bruno; Barbosa, S. D. J.. Participação em banca de Lucas Martins de Souza.Ferramenta Preliminar para Auxílio à Formalização de Textos em Lógica. 2014. Trabalho de Conclusão de Curso (Graduação em Engenharia de Computação) - Pontifícia Universidade Católica do Rio de Janeiro.

15.
Hamazaki, G.; Andrade, LCV; LOPES, Bruno. Participação em banca de Felipe Arruda Pontes e Zanoni de Castro Miranda.AMAO - Desenvolvimento de um Ambiente Online de Auxílio à Correção e Resolução de Avaliações de Programação. 2013. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) - Universidade Federal do Estado do Rio de Janeiro.

16.
LOPES, Bruno; Oliveira, A. L. C.; Aquino, L. L. de A.; Frery, A. C.. Participação em banca de Rian Gabriel Santos Pinheiro.Caracterização de Redes de Sensores sem Fios na Estimação de Parâmetros. 2011. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal de Alagoas.



Participação em bancas de comissões julgadoras
Avaliação de cursos
1.
LOPES, Bruno; Dominguez, A. H.. Avaliação institucional do curso de Ciência da Computação. 2006. Universidade Federal de Alagoas.

Outras participações
1.
Hamazaki, G.; LOPES, Bruno. Seleção para Tutores Presenciais. 2012. Universidade Federal do Estado do Rio de Janeiro.



Eventos



Participação em eventos, congressos, exposições e feiras
1.
IEEE World Congress on Computational Intelligence. Formalization and certification of software for Smart Cities. 2018. (Congresso).

2.
Verão em Matemática UnB.Reasoning about Petri nets with Dynamic Logic. 2018. (Seminário).

3.
Encontro Brasileiro de Lógica.Certifying Massive Open Line Courses. 2017. (Encontro).

4.
Logical and Semantic Frameworks with Applications. Counter-Model Generation from Failed Proof Searches in Propositional Minimal Implicational Logic. 2017. (Congresso).

5.
Seminário Informal(, mas formal!).Raciocínio sobre sistemas concorrentes: uma abordagem lógica. 2016. (Seminário).

6.
Colóquio Conesul de Filosofia das Ciências Formais. 2015. (Simpósio).

7.
Nat@Logic. 2015. (Congresso).

8.
Practical Applications of Agents and Multi-agent Systems. Reasoning about Multi-Agent Systems Using Stochastic Petri Nets. 2015. (Congresso).

9.
Workshop Computing, Logic and Types.Towards reasoning about concurrent systems. 2015. (Outra).

10.
Brazilian Logic Conference.A calculus for automatic verification of Petri Nets based on Resolution and Dynamic Logics. 2014. (Encontro).

11.
Congresso Nacional de Matemática Aplicada à Indústria. Industrial production line modelling and reasoning by Petri Nets. 2014. (Congresso).

12.
International Conference on Formal Ontology in Information Systems. 2014. (Congresso).

13.
Latin American Symposium on Mathematical Logic.Improving memory performance for mimp-graph based thorem provers. 2014. (Simpósio).

14.
Workshop on Logic and Semantic Frameworks with Applications.A calculus for automatic verification of Petri Nets based on Resolution and Dynamic Logics. 2014. (Simpósio).

15.
Workshop on Logics and Ontologies for Natural Language.Modelling Geometric Objects with ISO15926. 2014. (Outra).

16.
Encontro Nacional de Inteligência Artificial e Computacional.Verifying properties in multi-agent systems using Stochastic Petri Nets and Propositional Dynamic Logic. 2013. (Encontro).

17.
Simpósio Brasileiro de Métodos Formais.Game modelling and reasoning by Petri Nets. 2013. (Simpósio).

18.
Workshop on Logic and Semantic Frameworks with Applications.Extending Propositional Dynamic Logic for Petri Nets. 2013. (Outra).

19.
5º Seminário de Pesquisa em Ontologias e 7º International Workshop on Metamodels, Ontologies and Technologies.Modelling Geometric Objects with ISO 15926: Three proposals with a comparative analysis. 2012. (Seminário).

20.
Logic School on Proof Theory: Linear Logic, Ludics and Geometry of Interection. 2012. (Outra).

21.
Transcendental Syntax: the conditions of possibility of languange. 2012. (Congresso).

22.
Workshop on Logical and Semantic Frameworks with Applications. 2012. (Outra).

23.
Brazilian Logic Conference. 2011. (Encontro).

24.
Logic School. 2011. (Outra).

25.
Workshop on Logical and Semantic Frameworks with Applications.Propositional Dynamic Logic for Petri Nets. 2011. (Outra).

26.
I Fórum Brasileiro da ISO 15926. 2010. (Outra).

27.
Seminário Lógica e Semântica. 2010. (Seminário).

28.
Simpósio Nacional de Probabilidade e Estatística.Reconstrução de sinais em Redes de Sensores sem Fios com técnicas de geoestatística. 2010. (Simpósio).

29.
60ª Reunião Anual da Sociedade Brasileira para o Progresso da Ciência.Detecção de paralelismo através de grafos de dependências em filtros convolucionais. 2008. (Outra).

30.
VIII Escola Regional de Computação Bahia - Alagoas - Sergipe. 2008. (Congresso).

31.
59ª Reunião da Sociedade Brasileira para o Progresso da Ciência. Um simulador para ilustrar graficamente a execução de programas e as noções de computabilidade. 2007. (Congresso).

32.
Congresso Acadêmico da UFAL. Vibroacustografia: Teoria, Aplicações Processamento e Análise - VATAPA. 2007. (Congresso).

33.
IV Congresso Médico da Santa Casa de Maceió. 2007. (Congresso).

34.
Congresso Acadêmico da UFAL. Um Simulador Para Ilustrar Graficamente a Execução de Programas e as Noções de Computabilidade. 2006. (Congresso).

35.
Debian Festival.Gerenciamento de Pacotes no Debian. 2006. (Outra).

36.
Encontro de Modelagem Computacional.Análise do Processo de Desenvolvimento de Software através de Redes Probabilísticas. 2006. (Encontro).

37.
Tendências do Mercado de TI Brasileiro. 2006. (Outra).

38.
Congresso Acadêmico da UFAL. Um Simulador para Ilustrar Graficamente a Execução de Programas e as Noções de Computabilidade. 2005. (Congresso).

39.
Congresso Acadêmico da UFAL. Um Simulador para Ilustrar Graficamente a Execução de Programas e as Noções de Computabilidade. 2004. (Congresso).

40.
Info X. 2004. (Simpósio).

41.
Semana do Fera de Computação.O Kernel Linux. 2004. (Seminário).

42.
Congresso Alagoano de Tecnologia da Informação. 2003. (Congresso).

43.
InfoView. 2002. (Simpósio).

44.
I Workshop Nordeste de Hardware Avançado e Linux. 2002. (Outra).


Organização de eventos, congressos, exposições e feiras
1.
Lopes, Bruno; SILVA, S. G. ; VIANA, J. P. ; Haeusler, Edward Hermann ; NOBREGA, H. ; BRECH, C. ; LOEWE, B. . Conference on Mathematical Logic. 2018. (Congresso).

2.
Lopes, Bruno; SANZ, W. C. ; ALMEIDA, E. ; BERTATO, F. ; CONIGLIO, M. ; DOTTAVIANO, I. ; ERTOLA, R. ; GOMES, N. ; GORSKY, S. ; SILVA, M. ; SILVESTRE, B. ; VENTURA, D. ; VENTURI, G. . XVIII Encontro Brasileiro de Lógica. 2017. (Congresso).

3.
Lopes, Bruno; Braga, Christiano . Workshop Escola de Inverno em Teoria da Computação. 2017. (Congresso).

4.
Lopes, Bruno. Workshop on Logic, Language and Information. 2015. (Outro).

5.
Braga, C. O. ; Lopes, Bruno ; BRANDAO, D. ; MOREIRA, A. . Formal Aspects of Component Software. 2015. (Congresso).

6.
VIANA, J. P. ; FREITAS, R. ; LOPES, Bruno ; PEREIRA, L. C. ; CHATEAUBRIAND, O. ; FAMILIAR, M. P. V. C. . Encontro Brasileiro de Lógica. 2014. (Outro).

7.
PEREIRA, L. C. ; LOPES, Bruno ; FAMILIAR, M. P. V. C. . Logic School on Proof Theory: Linear Logic, Ludics and Geometry of Interaction. 2012. (Outro).

8.
PEREIRA, L. C. ; LOPES, Bruno ; FAMILIAR, M. P. V. C. . Transcendental Syntax: the conditions of possibility of language. 2012. (Congresso).

9.
LOPES, Bruno; Almeida, E. ; Almiron, M. G. ; Silva-Filho, P. R. de S. ; Oliveira, A. L. C. ; Martins, I. C. . X Olimpíada Brasileira de Informática. 2008. (Outro).

10.
VIEIRA, Bruno Lopes; Brasileiro-Filho, V. de P. ; Costa-Neto, M. P. ; Medeiros, I. R. da S. ; Rosner, M. . Debian Festival. 2006. (Festival).

11.
VIEIRA, Bruno Lopes; Brasileiro-Filho, V. de P. . Semana do Fera de Computação. 2005. (Outro).

12.
Almeida, E. S. de ; Luna, H. P. L. ; VIEIRA, Bruno Lopes ; Nascimento-Júnior, H. C. S. do ; Brasileiro-Filho, V. de P. . I EPOMAC - Encontro Norte-Nordeste de Pesquisa Operacional e Matemática Computacional. 2005. (Congresso).

13.
VIEIRA, Bruno Lopes; Brasileiro-Filho, V. de P. ; Melo, M. D. de ; Tavares, C. B. . Semana do Fera de Computação. 2004. (Outro).

14.
VIEIRA, Bruno Lopes; Costa, E. de B. ; Almeida, E. S. de ; Almeida, H. de O. . Congresso Alagoano de Tecnologia da Informação. 2003. (Congresso).

15.
VIEIRA, Bruno Lopes; Cunha, M. X. C. da ; Nascimento-Júnior, H. C. S. do ; Oliveira, M. Q. de A. . InfoView. 2003. (Outro).



Orientações



Orientações e supervisões em andamento
Dissertação de mestrado
1.
Bruno Olímpio Costa. Verificação lógica do Blockchain. Início: 2018. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense. (Orientador).

2.
Maurício da Silva Pires. Verificação de modelos em grafos MSOL2. Início: 2018. Dissertação (Mestrado em Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

Tese de doutorado
1.
Luiz Gustavo Dias. Preservação de Workflows Científicos e Reprodutibilidade de Experimentos por meio de Ontologias. Início: 2018. Tese (Doutorado em Computação) - Universidade Federal Fluminense, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. (Coorientador).

Trabalho de conclusão de curso de graduação
1.
André Luiz Pereira de Oliveira Junior. Verificação de modelos DS3. Início: 2018. Trabalho de Conclusão de Curso (Graduação em Ciência da Computação) - Universidade Federal Fluminense. (Orientador).

Iniciação científica
1.
Daniel Arena Toledo. Formalização e validação de modelos Reo com nuXmv. Início: 2018. Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. (Orientador).

2.
Erick Simas Grilo. Uma interface para a verificação formal de propriedades em sistemas através do Coq. Início: 2017. Iniciação científica (Graduando em Ciência da Computação) - Universidade Federal Fluminense, Fundação Carlos Chagas Filho de Amparo à Pesquisa do Estado do RJ. (Orientador).


Orientações e supervisões concluídas
Trabalho de conclusão de curso de graduação
1.
Leonardo Almeida dos Santos Pereira. Avaliação da comunicabilidade dos conceitos de HDI para adolescentes. 2018. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal Fluminense. Orientador: Bruno Lopes Vieira.

2.
Erick Simas Grilo. Compiling certified Reo code. 2018. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal Fluminense. Orientador: Bruno Lopes Vieira.

3.
Thiago Cordeiro de Castro. PDL como uma linguagem de consulta para Constraint Automata. 2018. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal Fluminense. Orientador: Bruno Lopes Vieira.

4.
Matheus Enes Santos Viana. Um provador automático de teoremas extensível a partir da Lógica Clássica Proposicional. 2016. Trabalho de Conclusão de Curso. (Graduação em Ciência da Computação) - Universidade Federal Fluminense. Orientador: Bruno Lopes Vieira.

Iniciação científica
1.
André Luiz Pereira de Oliveira Junior. Verificação em lógica de modelos Reo. 2018. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Bruno Lopes Vieira.

2.
Matheus Enes Santos Viana. Resolução e prova automática de teoremas: uma abordagem extensível. 2016. Iniciação Científica. (Graduando em Ciência da Computação) - Universidade Federal Fluminense, Conselho Nacional de Desenvolvimento Científico e Tecnológico. Orientador: Bruno Lopes Vieira.



Educação e Popularização de C & T



Programa de Computador sem registro de patente
1.
LOPES, Bruno; Haeusler, Edward Hermann . TableauxProver. 2011.



Outras informações relevantes


Membro da diretoria da Sociedade Brasileira de Lógica (SBL - http://sbl.org.br).



Página gerada pelo Sistema Currículo Lattes em 16/01/2019 às 17:24:23