Alexis Saurin
Possui doutorado em Informatique pela Ecole Polytechnique - Paris(2008). Atuando principalmente nos seguintes temas:Linear logic, Focusing, Ludics.
Informações coletadas do Lattes em 10/11/2022
Acadêmico
Formação acadêmica
Doutorado em Informatique
2006 - 2008
Ecole Polytechnique - Paris
Título: Une étude logique du contrôle (appliquée à la programmation fonctionnelle et logique)
Dale Miller. Bolsista do(a): INRIA. Palavras-chave: Linear logic; Focusing; Ludics.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.
Histórico profissional
Endereço profissional
-
Institut National de Recherche en Informatique et en Automatique. , Laboratoire d'Informatique, École Polytechnique, Route de Saclay, 91128 - Paliseau, - França
Criando um monitoramento
Nossos robôs irão buscar nos nossos bancos de dados todos os processos de Alexis Saurin 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?