Bruno Woltzenlogel Paleo

Possui graduação em Engenharia Eletrônica pelo Instituto Tecnológico de Aeronáutica (ITA, Brasil, 2004), mestrado em Engenharia da Computação pelo Instituto Tecnológico de Aeronáutica (ITA, Brasil, 2007), mestrado em Lógica Computacional pela Technische Universitat Dresden (TU-Dresden, Alemanha, 2006) e pela Technische Universitat Wien (TU-Wien, Austria, 2007), e doutorado em Lógica pela Technische Universitat Wien (TU-Wien, Austria, 2009). Fez um post-doc no Institut National de Recherche en Informatique et en Automatique (INRIA, França), e atualmente é pesquisador na Vienna University of Technology (TU-Wien, Austria).

Informações coletadas do Lattes em 04/10/2022

Acadêmico

Formação acadêmica

Doutorado em Doktoratstudium der technischen Wissenschaften

2007 - 2009

Technische Universität Wien
Título: A General Analysis of Cut-Elimination by CERes
Orientador: Alexander Leitsch
Bolsista do(a): Austrian Science Fund. Palavras-chave: First-Order Logic; Logic; Proof Theory; Resolution Calculus; Sequent Calculus.Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação. Grande Área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Lógicas.

Mestrado em Computational Logic

2006 - 2007

Technische Universität Wien
Orientador: Alexander Leitsch
Bolsista do(a): Programa Al an de Bolsas da Uniao Europeia. Palavras-chave: Proof Theory; Proof Analysis; First-Order Logic.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.

Mestrado em Engenharia Eletrônica e Computação

2005 - 2007

Instituto Tecnológico de Aeronáutica
Carlos Henrique Costa Ribeiro.Bolsista do(a): Financiadora de Estudos e Projetos, FINEP, Brasil. Palavras-chave: Inteligência Artificial; Machine Learning; Data Mining; Receita Federal; Information Extraction; Natural Language Processing. Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Inteligência Artificial. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Engenharia de Software. Setores de atividade: Política Econômica e Administração Pública em Geral.

Mestrado em Computational Logic

2005 - 2006

Technische Universität Dresden
Orientador: Alexander Leitsch
Bolsista do(a): Programa Al an de Bolsas da Uniao Europeia. Palavras-chave: First-Order Logic; Proof Theory; Proof Analysis.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.

Graduação em Engenharia Eletrônica

2000 - 2004

Instituto Tecnológico de Aeronáutica
Orientador: Cairo Lúcio Nascimento Júnior
Bolsista do(a): Fundação Casimiro Montenegro Filho, FCMF, Brasil.

Pós-doutorado

2015 - 0000

Livre-docência. , Vienna University of Technology. , Título: Proof Compression, Ano de obtenção: 2015., Palavras-chave: Lógica; Teoria da Demonstração; Compressão de Provas; Dedução Automática., Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Lógicas. , Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Demonstração Automatica de Teoremas. , Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação. , Setores de atividade: Pesquisa e desenvolvimento científico.

2009 - 2011

Pós-Doutorado. , Institut National de Recherche en Informatique et en Automatique. , Bolsista do(a): Institut National de Recherche en Informatique et en Automatique. , Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação. , Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Métodos Formais de Verificação de Software. , Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Demonstração Automatica de Teoremas / Especialidade: Sat-Solving e SMT-Solving.

Formação complementar

2002 - 2002

Winterkurs Curso de Alemão. (Carga horária: 240h). , Goethe Institut.

Idiomas

Inglês

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

Espanhol

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

Português

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

Francês

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

Alemão

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

Russo

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

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Matemática / Subárea: Lógicas.

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

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação/Especialidade: Inteligência Artificial.

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Engenharia de Software.

Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Engenharia Eletrônica/Especialidade: Engenharia Eletrônica.

Grande área: Ciências Exatas e da Terra / Área: Astronomia / Subárea: Relatividade Geral/Especialidade: Ondas Gravitacionais.

Participação em eventos

European Summer School in Logic, Language and Information.An Approximate Gazetteer for GATE based on Levenshtein Distance. 2007. (Outra).

Spring School IK2006. 2006. (Outra).

1st Neuroscience Symposium at the International Institute of Neuroscience in Natal.N/A (1st Neuroscience Symposium at the International Institute of Neuroscience in Natal). 2004. (Simpósio).

Simpósio Internacional de Iniciação Científica da USP (SIICUSP).Sistema de Apoio à Decisão no Gerenciamento de Rodovias. 2004. (Simpósio).

Abrindo o Jogo.N/A (Abrindo o Jogo). 2003. (Simpósio).

In the Frontiers of Science: Research and International Cooperation in the 21th Century.N/A (In the Frontiers of Science: Research and International Cooperation in the 21th Century). 2002. (Simpósio).

Simpósio de Iniciação Científica do INPE.Fontes Astrofísicas de Ondas Gravitacionais. 2002. (Simpósio).

Olimpíada Internacional de Astronomia.Olimpíada Internacional de Astronomia. 1999. (Outra).

Produções bibliográficas

PALEO, B. W. . An Approximate Gazetteer for GATE based on Levenshtein Distance. Proceedings of the Twelfth ESSLLI Student Session , v. 12, p. 197-208, 2007.
AGUIAR, O D ANDRADE, Luiz Alberto de BARROSO, Joaquim José BORTOLI, Flávio CARNEIRO, Leandro Alves CASTRO, Pedro José de COSTA, César Augusto COSTA, Katia M F ARAUJO, José Carlos Neves de LUCENA, Antônio Unias de PAULA, Wayne de REY NETO, Edgard Casal de SOUZA, Sergio Turano de FAUTH, Anderson C FRAJUCA, Carlos FROSSATI, Giorgio FURTADO, Sérgio Ricardo MAGALHÃES, Nadja Simão MARINHO JR, Rubens de Melo MATOS, Emílio Simão MELO, José Luiz MIRANDA, Oswaldo Duarte OLIVEIRA JR, Nei de PALEO, B. W. REMY, Marco A , et al. RIBEIRO, Kilder Leite STELLATI, Claudemir VELLOSO JR, Walter Ferreira WEBER, Jorge ; The Brazilian gravitational wave detector Mario Schenberg: progress and plans. Classical and Quantum Gravity , Grã-Bretanha, v. 22, p. S209-S214, 2005.
AGUIAR, O D ANDRADE, L A BARROSO, J. J. BORTOLI, F CARNEIRO, L A CASTRO, P J COSTA, C A COSTA, K M F ARAUJO, J C N de LUCENA, A U de PAULA, W de REY NETO, e C de FAUTH, A C FRAJUCA, C FROSSATI, G FURTADO, S R MAGALHÃES, N S MARINHO JR, R M MATOS, e S MELO, J L MIRANDA, O D OLIVEIRA, N F PALEO, B. W. REMY, M RIBEIRO, K L , et al. STELLATI, C VELLOSO JR, W F WEBER, J ; The Brazilian gravitational wave detector Mario Schenberg: progress and plans. Classical and Quantum Gravity (Print) , Bristol, UK, v. 22, n.4, p. S209-S214, 2005.
Aguiar, O D Andrade, L A Barroso, J J Bortoli, F Carneiro, L A Castro, P J Costa, C A Costa, K M F Araujo, J C N de Lucena, A U de Paula, W de Neto, E C de Rey Souza, S T de Fauth, A C FRAJUCA, C. Frajuca, C Frossati, G Furtado, S R Magalhães, N S Marinho, R M Matos, E S Melo, J L Miranda, O D Oliveira, N F PALEO, B. W. , et al. Remy, M Ribeiro, K L Stellati, C Velloso, W F Weber, J ; The Brazilian gravitational wave detector Mario Schenberg: progress and plans. Classical and Quantum Gravity , Bristol, v. 22, p. S209-S214, 2005.
AGUIAR, O. D. ; CASTRO, C. S. ; BARROSO, J. J. ; ANDRADE, L. A. ; CARNEIRO, L. A. ; CAMARGO FILHO, L. ; FAUTH, A. C. ; LUCENA, A. U. ; FRAJUCA, C. ; PALEO, B. W. . The Brazillian Spherical Detectors: Progress and Plans. Classical and Quantum Gravity , v. 21, p. 457-463, 2004.
AGUIAR, O. D. ; ARAUJO, J. C. N. ; PALEO, B. W. . Can black-hole MACHO binaries be detected by the Brazilian spherical antenna?. Classical and Quantum Gravity , v. 21, p. 521-527, 2004.
ARAUJO, José Carlos Neves de ; MIRANDA, Oswaldo Duarte ; CASTRO, Claudio de Souza ; PALEO, B. W. ; AGUIAR, O D . Can Black-Hole MACHO Binaries be detected by the Brazilian Spherical Antenna?. Classical and Quantum Gravity , v. 21, n.5, p. S521-S527, 2004.
AGUIAR, O D ANDRADE, Luiz Alberto de BARROSO, Joaquim José CAMARGO FILHO, Lúcio CARNEIRO, Leandro Alves CASTRO, Claudio de Souza CASTRO, Pedro José de COSTA, Cesar Augusto COSTA, Katia M F ARAUJO, José Carlos Neves de LUCENA, Antônio Unias de PAULA, Wayne de REY NETO, Edgard Casal de SOUZA, Sergio Turano de FAUTH, Anderson C FRAJUCA, Carlos FROSSATI, Giorgio FURTADO, Sérgio Ricardo LIMA, Liana C MAGALHÃES, Nadja Simão MARINHO JR, Rubens de Melo MATOS, Emílio Simão MELO, José Luiz MIRANDA, Oswaldo Duarte OLIVEIRA JR, Nei Fernandes de , et al. PALEO, B. W. REMY, Marco A RIBEIRO, Kilder Leite STELLATI, Claudemir VELLOSO JR, Walter Ferreira WEBER, Jorge ; The Brazilian Spherical Detector: Progress and Plans. Classical and Quantum Gravity , v. 21, n.5, p. S457-S463, 2004.
de Araujo, J C N ; MIRANDA, Oswaldo Duarte ; CASTRO, Claudio de Souza ; PALEO, B. W. ; AGUIAR, Odylio Denys de . Can black hole MACHO binaries be detected by the Brazilian spherical detector?. Classical and Quantum Gravity , v. 21, p. S521-S527, 2004.
AGUIAR, O D ANDRADE, L A BARROSO, J. J. CAMARGO FILHO, L CARNEIRO, L A CASTRO, C S CASTRO, P J COSTA, C A COSTA, K M F ARAUJO, J C N de LUCENA, A U de PAULA, W de REY NETO, e C de SOUZA, S T de FAUTH, A C FRAJUCA, C FROSSATI, G FURTADO, S R LIMA, L C MAGALHÃES, N S MARINHO JR, R M MATOS, e S MELO, J L MIRANDA, O D OLIVEIRA, N F , et al. PALEO, B. W. REMY, M RIBEIRO, K L STELLATI, C VELLOSO JR, W F WEBER, J ; The Brazilian spherical detector: progress and plans. Classical and Quantum Gravity , Grã-Bretanha, v. 21, p. S457-S463, 2004.
Aguiar, O D Andrade, L A Barroso, J J Filho, L Camargo Carneiro, L A Castro, C S Castro, P J Costa, C A Costa, K M F Araujo, J C N de Lucena, A U de Paula, W de Neto, E C de Rey Souza, S T de Fauth, A C FRAJUCA, C. Frajuca, C Frossati, G Furtado, S R Lima, L C Magalhães, N S Marinho, R M Matos, E S Melo, J L Miranda, O D , et al. Oliveira, N F PALEO, B. W. Remy, M Ribeiro, K L Stellati, C Velloso, W F Weber, J ; The Brazilian spherical detector: progress and plans. Classical and Quantum Gravity (Print) , Bristol, UK, v. 21, n.5, p. S457-S463, 2004.
AGUIAR, O. D. de LUCENA, A. U. ANDRADE, L. A. BARROSO, J. J. CAMARGO FILHO, L. CARNEIRO, L. A. CASTRO, C. S. CASTRO, P. J. COSTA, C. A. COSTA, K. M. F. ARAÚJO, J. C. N. PAULA, W. REY NETO, E. C. SOUZA, S. T. FAUTH, A. C. FRAJUCA, C. FROSSATI, G. FURTADO, S. R. LIMA, L. C. MAGALHÃES, N. S. MARINHO JR, R. M. MATOS, E. S. MELO, J. L. MIRANDA, O. D. OLIVEIRA JR, N. F. , et al. PALEO, B. W. REMY, M. A. RIBEIRO, K. L. STELLATI, C. VELLOSO JR, W. F. WEBER, J. ; The Brazilian Spherical Detector: Progress anda Plans. Classical and Quantum Gravity , v. 21, n.5, p. S457-S463, 2004.
PALEO, B. W. ; Cinara Ghedini ; Carlos H.C. Henrique ; Joubert de Castro Lima ; Jorge Jambeiro Filho . A Modified Edit-Distance Algorithm for Record Linkage in a Database of Companies. In: Workshop em Algoritmos e Aplicações de Mineração de Dados, 2006. Anais do Workshop em Algoritmos e Aplicações de Mineração de Dados, 2006.
PALEO, B. W. ; Cinara Ghedini ; Joubert de Castro Lima ; Carlos H.C. Henrique ; Antonella S.Lanna ; Jorge Jambeiro Filho . Inteligência Computacional Aplicada ao Tratamento de Ambiguidades e Redundâncias na Base de Dados de Intervenientes Estrangeiros. In: ConEGov - Conferência Sul-Americana em Ciência e Tecnologia Aplicada ao Governo Eletrônico, 2005, Florianópolis. Anais da Conferência Sul-Americana em Ciência e Tecnologia Aplicada ao Governo Eletrônico, 2005. p. 219-226.
PALEO, B. W. . Fontes Astrofísicas de Ondas Gravitacionais. In: SICINPE - Simpósio de Iniciação Científica do INPE, 2002, São José dos Campos. Resumos do SICINPE - 2002, 2002.

Outras produções

PALEO, B. W. ; GREGIO, Juliana ; NASCIMENTO JR, Cairo Lúcio ; MATSUURA, Jackson Paul ; GABRIEL, Gabriela Werner . Sistema de Apoio à Decisão no Gerenciamento de Rodovias. 2004.

Projetos de desenvolvimento

2007 - Atual

Handy-LK (HLK), Situação: Em andamento; Natureza: Desenvolvimento. , Integrantes: Bruno Woltzenlogel Paleo - Coordenador.
2005 - Atual

Projeto Harpia, Descrição: O Projeto Harpia é um software que usa técnicas de Inteligência Artificial para a detecção e classificação de fraudes e crimes contra a Aduana (Receita Federal).. , Situação: Em andamento; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (0) / Especialização: (0) / Mestrado acadêmico: (6) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Bruno Woltzenlogel Paleo - Integrante / Cairo Lúcio Nascimento Jr - Integrante / Carlos Henrique Costa Ribeiro - Coordenador., Financiador(es): Financiadora de Estudos e Projetos - Remuneração / Financiadora de Estudos e Projetos - Bolsa.
2003 - 2004

Sistema de Apoio à Decisão no Gerenciamento de Rodovias, Descrição: O "Sistema de Apoio à Decisão no Gerenciamento de Rodovias" (SADGR) desenvolvido é um sistema especialista baseado em lógica clássica. Ele permite que os supervisores do Centro de Controle Operacional de uma Rodivia alterem sua base de conhecimento, que é constituída de regras do tipo "Se... Então..." . Baseado nesse conhecimento, ele monitora os sensores da rodovia e sugere decisões, que podem ser executadas automaticamente ou requerer aprovação dos operadores. O SADGR torna possível uma rodovia operada de forma mais rápida, padronizada, segura e com menor custo.. , Situação: Concluído; Natureza: Desenvolvimento. , Alunos envolvidos: Graduação: (1) / Especialização: (0) / Mestrado acadêmico: (3) / Mestrado profissional: (0) / Doutorado: (1) . , Integrantes: Bruno Woltzenlogel Paleo - Integrante / Cairo Lúcio Nascimento Jr - Coordenador / Jackson Paul Matsuura - Integrante / Gabriela Werner Gabriel - Integrante / Juliana Gregio - Integrante., Financiador(es): Financiadora de Estudos e Projetos - Bolsa.

Prêmios

2006

IBM Tob Student Recognition Event (Stuttgart), IBM.

2006

2nd Place in Dresden's First General Game Playing Competition, Technische Universität Dresden.

2004

Menção Honrosa do Departamento de Sistemas e Controle, Instituto Tecnológico de Aeronáutica.

2003

Bolsa para Curso de Inverno na Alemanha, DAAD - Serviço Alemão de Intecambio Acadêmico.

2002

Menção Honrosa no ACM International Collegiate Programming Contest, ACM - Association for Computing Machinery.

2001

Menção Honrosa do Departamento de Física, Instituto Tecnológico de Aeronáutica.

2001

Menção Honrosa do Departamento de Matemática, Instituto Tecnológico de Aeronáutica.

2000

13º Lugar geral no vestibular da FUVest, FUVest.

1999

Medalha de Ouro na Olimpíada Brasileira de Astronomia, Sociedade Brasileira de Astronomia.

1999

Menção Honrosa na Olimpíada Brasileira de Matemática, Sociedade Brasileira de Matemática.

1999

Colocação entre as 90 melhores notas na Olimpíada Paulista de Química, .

1999

4º Lugar em simulado para a FUVest, Objetivo.

1999

1º Lugar em simulado para a FUVest, COC.

1998

2º Lugar na Olimpíada Brasileira de Física, .

1998

Colocação entre as 30 melhores notas na Olimpíada de Matemática da UniCamp, UniCamp.

1998

4º Lugar nas carreiras de ´Treineiro´ no vestibular da FUVest, FUVest.

Histórico profissional

Experiência profissional

2007 - Atual

Technische Universität Wien

Vínculo: Wissenschaftlicher Mitarbeiter, Enquadramento Funcional: PhD Student, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

01/2007
Pesquisa e desenvolvimento , Institut für Computersprachen, .,Linhas de pesquisa

2005 - 2007

Instituto Tecnológico de Aeronáutica

Vínculo: Estudante Mestrado, Enquadramento Funcional: Bolsista, Carga horária: 30, Regime: Dedicação exclusiva.

Outras informações:
Trabalhando no Projeto Harpia, em conjunto com a UniCamp e a Receita Federal

Atividades

01/2005 - 12/2007
Pesquisa e desenvolvimento , Divisão de Ciência da Computação, .,Linhas de pesquisa

2003 - 2004

FUNDAÇÃO CASIMIRO MONTENEGRO FILHO

Vínculo: Estágio, Enquadramento Funcional: Estagiário, Carga horária: 20

Atividades

07/2003 - 12/2004
Estágios .,Estágio realizado, Projeto ITA-CompSis: Sistema de Apoio à Decisão no Gerenciamento de Rodovias.

2002 - 2004

Centro Acadêmico Santos Dumont

Vínculo: Membro - Trabalho Voluntário, Enquadramento Funcional: Membro, Carga horária: 0

Atividades

12/2002 - 12/2004
Direção e administração, Departamento Cultural, .,Cargo ou função, Responsável pela divisão de TI.

2001 - 2003

Instituto Nacional de Pesquisas Espaciais

Vínculo: Bolsista - PIBIC, Enquadramento Funcional: Bolsista de Inic. Cientifica, Carga horária: 20

Outras informações:
Pesquisando "Fontes Astrofísicas de Ondas Gravitacionais" no Grupo Graviton da Divisão de Astrofísica.

2001 - 2002

Stork

Vínculo: Estágio, Enquadramento Funcional: Estagiário, Carga horária: 40

Outras informações:
Estágio na cidade de Boxmeer - Brabant - Holanda. Engenharia de Software - Fazendo software para uma máquina têxtil.

Atividades

12/2001 - 02/2002
Estágios , Stork - Brabant, .,Estágio realizado, Software para Máquinas Têxteis.

2000 - 2002

Olimpíada Brasileira de Astronomia

Vínculo: Colaborador - Trabalho Voluntá, Enquadramento Funcional: Professor Representante, Carga horária: 1

Atividades

01/2000 - 12/2002
Outras atividades técnico-científicas .,Atividade realizada, Professor Representante Regional da Olimpíada.

2000 - 2001

Anglo - Piracicaba

Vínculo: Professor Visitante, Enquadramento Funcional: Professor, Carga horária: 3

Outras informações:
Aulas de Física e Astronomia para olimpíadas e vestibular do ITA.

Atividades

07/2000 - 12/2001
Ensino,,Disciplinas ministradas, Astronomia, Física