Alexandre Francisco de Oliveira Neto
Graduado em Engenharia de Computação pela Universidade de São Paulo (Brasil, 2008), graduado em Engenharia pela Ecole Polytechnique (França, 2006) e Mestre em Informática pelo Master Parisien de Recherche en Informatique (França, 2007). Tem experiência na área de Ciência da Computação, com ênfase em Metodologia e Técnicas da Computação.
Atuou principalmente nos seguintes temas: senegal, haiti, abrigos humanitários, racismo e imigração.
Informações coletadas do Lattes em 28/05/2025
Acadêmico
Formação acadêmica
Doutorado interrompido em 2011 em Informática
2008 - Atual
Universitat Politecnica de Catalunya
Título: Solving Constraint Satisfaction Problems with a DPLL(T) architecture
Orientador: Robert NIEUWENHUIS
Coorientador: Albert Oliveras. Ano de interrupção: 2011
Mestrado em Informatique
2006 - 2007
Master Parisien de Recherche en Informatique
Título: Um Tratamento para Programação por Restrições com DPLL(T): A Restrição alldifferent., Ano de Obtenção: 2007
Orientador: Pandu C. RANGAN
Coorientador: Robert NIEUWENHUIS. Bolsista do(a): Ministère des Affaires Étrangères, MAE, França. Palavras-chave: Constraint satisfaction problems; Alldifferent constraint; Satisfiability modulo theories; DPLL(T) architecture; Cumulative constraint; Pseudo-boolean constraints. Grande área: Ciências Exatas e da TerraGrande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação / Especialidade: Linguagens de Programação. Grande Área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Análise de Algoritmos e Complexidade de Computação.
Graduação em Engenharia de Computação
2002 - 2008
Universidade de São Paulo
Título: Solving Constraint Satisfaction Problems with a DPLL(T) architecture
Orientador: Robert NIEUWENHUIS
Graduação em Ingenierie
2004 - 2006
Ecole Polytechnique
Título: Solving Constraint Satisfaction Problems with a DPLL(T) architecture
Orientador: Robert NIEUWENHUIS
Bolsista do(a): Ministère des Affaires Étrangères, MAE, França.
Formação complementar
2015 - 2015
Extensão universitária em Políticas culturais. (Carga horária: 200h). , Universidade Federal do Acre, UFAC, Brasil.
Idiomas
Inglês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Espanhol
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Português
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Francês
Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.
Áreas de atuação
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação.
Grande área: Lingüística, Letras e Artes / Área: Artes / Subárea: Fotografia.
Produções bibliográficas
-
OLIVEIRA NETO, A. F. . O Haiti (Não) É Aqui!!!. 2015. (Apresentação de Trabalho/Conferência ou palestra).
Outras produções
OLIVEIRA NETO, A. F. . O Haiti (Não) É Aqui!!!. 2014. Fotografia.
Projetos de pesquisa
-
2010 - 2012
Solving Constraint Satisfaction Problems with a DPLL(T) architecture, Descrição: A remarkable example showing that addressing fragments of first-order logic can still be of practical use is the problem of deciding the satisfiability of propo- sitional formulae (SAT). This problem does not only lie at the heart of the most important open problem in complexity theory (P vs. NP), it is also at the basis of many practical applications in areas such as Electronic Design Automation, Verification, Artificial Intelligence, and Operations Research. Thanks to recent advances in SAT solving technology, propositional solvers are becoming the tool of choice for attacking more and more practical problems.. , Situação: Desativado; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (3) . , Integrantes: Alexandre Francisco de Oliveira Neto - Coordenador / Robert Nieuwenhuis - Integrante / Albert Oliveras - Integrante / Enric Rodríguez Carbonell - Integrante.
Histórico profissional
Experiência profissional
2014 - 2015
Fundação Estadual de Cultura Elias MansourVínculo: Terceirizado, Enquadramento Funcional: Coordenador de Empreendedorismo e Inovação, Carga horária: 40, Regime: Dedicação exclusiva.
2013 - 2014
Secretaria de Estado de Justiça e Direitos Humanos do Estado do AcreVínculo: Comissionados, Enquadramento Funcional: Tradutor, Carga horária: 40, Regime: Dedicação exclusiva.
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Alexandre Francisco de Oliveira Neto e sempre que o nome aparecer em publicações dos Diários Oficiais, avisaremos por e-mail e pelo painel do usuário
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todas as movimentações desse processo e sempre que o processo aparecer em publicações dos Diários Oficiais e nos Tribunais, avisaremos por e-mail e pelo painel do usuário
Confirma a exclusão?