Leonardo Bruno Vana

  • Endereço para acessar este CV: http://lattes.cnpq.br/0859623938282836
  • Última atualização do currículo em 18/07/2017


Possui graduação em Matemática pela Universidade Federal Fluminense (1998), mestrado em Ciência da Computação pela Universidade Federal Fluminense (2002) e doutorado em Engenharia de Sistemas e Computação pela Universidade Federal do Rio de Janeiro (2008). Atualmente trabalho como tutor a distância do curso de graduação em matemática da Universidade Federal Fluminense. Tenho experiência na área de Matemática, com ênfase em Lógica, atuando principalmente em teoria da prova. (Texto informado pelo autor)


Identificação


Nome
Leonardo Bruno Vana
Nome em citações bibliográficas
VANA, Leonardo B.;Leonardo B. Vana;Vana, Leonardo B.;VANA, LEONARDO B.


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


2003 - 2008
Doutorado em Engenharia de Sistemas e Computação.
Universidade Federal do Rio de Janeiro, UFRJ, Brasil.
Título: Dedução Natural e Cálculo de Seqüentes para 'Geralmente', Ano de obtenção: 2008.
Orientador: Sheila Regina Murgel Veloso.
Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior, CAPES, Brasil.
Palavras-chave: Método de Dedução Natural; Normalização; Cálculo de Seqüentes; Eliminação do corte; Lógicas de "Geralmente".
Grande área: Ciências Exatas e da Terra
1999 - 2002
Mestrado em Ciência da Computação.
Universidade Federal Fluminense, UFF, Brasil.
Título: Um Método de Tableaux para o Cálculo Lambek baseado em Caracterização por Matrizes,Ano de Obtenção: 2002.
Orientador: Marcelo da Silva Corrêa.
Palavras-chave: Método de Tableaux; Cálculo Lambek; Caracterização por Matrizes.
Grande área: Ciências Exatas e da Terra
1994 - 1998
Graduação em Matemática.
Universidade Federal Fluminense, UFF, Brasil.




Atuação Profissional



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

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

Vínculo institucional

2003 - Atual
Vínculo: Bolsista, Enquadramento Funcional: Tutor a distância, Carga horária: 20
Outras informações
Tutor a distância do curso de graduação em matemática do consórcio CEDERJ. Disciplinas de tutoria: Cálculo I, Cálculo II, Equações Diferenciais e Algebra Linear I e II.

Vínculo institucional

2014 - 2015
Vínculo: professor substituto, Enquadramento Funcional: Professor substituto, Carga horária: 20
Outras informações
Atuando como professor substituto no no departamento de análise do instituto de matemática ministrando as seguintes disciplinas: lógica para computação I e matemática discreta I para o curso de sistema de informação e matemática I para o curso de economia.

Vínculo institucional

2009 - 2011
Vínculo: temporário, Enquadramento Funcional: professor substituto, Carga horária: 20
Outras informações
Professor substituto do departamento de análise do instituto de matemática. Disciplinas lecionadas: Matemática I e II para o curso de Economia, Introdução a Lógica Matemáteca e Lógica para Ciência da Computação.

Atividades

02/2016 - Atual
Pesquisa e desenvolvimento , Centro de Estudos Sociais Aplicados, Faculdade de Administração e Ciências Contábeis.

Linhas de pesquisa
LÓGICA

Universidade do Estado do Rio de Janeiro, UERJ, Brasil.
Vínculo institucional

2001 - 2002
Vínculo: Professor Substituto, Enquadramento Funcional: Professor substituto, Carga horária: 12
Outras informações
Durante o período acima descrito foram ministradas aulas para os cursos de graduação em Matemática e Geografia.

Atividades

3/2001 - 12/2002
Ensino, Matemática, Nível: Graduação

Disciplinas ministradas
Algebra I
Geomatria Euclidiana e não-Euclidiana
Algebra II
Lógica Matemática
Teoria dos Números



Projetos de pesquisa


2009 - 2011
Computação, Lógica e Álgebra: transferência de informação e métodos

Projeto certificado pelo(a) coordenador(a) Sheila Regina Murgel Veloso em 12/11/2012.
Descrição: Edital MCT/CNPq 14/2009 - Universal - Faixa A - Até R$ 20.000,00.
Situação: Concluído; Natureza: Pesquisa.


Áreas de atuação


1.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Lógica.
2.
Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Lógica/Especialidade: Teoria da Prova.


Idiomas


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


Produções



Produção bibliográfica
Artigos completos publicados em periódicos

1.
VANA, Leonardo B.2007 VANA, Leonardo B.; Veloso, Paulo A. S. ; Veloso, Sheila R. M. . Natural Deduction for 'Generally'. Logic Journal of the IGPL, v. 15, p. 775-800, 2007.

Capítulos de livros publicados
1.
VELOSO, PAULO. A. S. ; VELOSO, SHEILA R. M. ; VANA, LEONARDO B. . On being naturally general. In: Edward Hermann Haeusler; Wagner de Campos Sanz; Bruno Lopes. (Org.). Why is this a Proof? Festschrift for Luiz Carlos Pereira. 1ed.LONDRES: College Publications, 2015, v. 27, p. 113-158.

2.
Vana, Leonardo B.; Veloso, Paulo A. S. ; Veloso, Sheila R. M. . On the Structure of Natural Deduction Derivations for Generally . Trends in Logic. 39ed.: Springer Netherlands, 2014, v. , p. 103-128.

Trabalhos completos publicados em anais de congressos
1.
VANA, Leonardo B.; Veloso, Paulo A. S. ; Veloso, Sheila R. M. . Sequent Calculi for 'Generally'. In: 2 Worshop on Logical and Semantics Frameworks , with applications LSFA'07, 2007, Ouro Preto. Electroni c Notes on Theoretical Computer Science Proceedings do 2 Worshop on Logical and Semantics Frameworks , with applications LSFA'07, 2007. v. 205. p. 49-65.

2.
VANA, Leonardo B.; Veloso, Paulo A. S. ; Veloso, Sheila R. M. . Sobre Lógicas de Geralmente em ambiente de Dedução Natural. In: V Encontro Nacional de Intelig\ência Artificial, 2005, São Leopoldo. XXV Congresso da Sociedade Brasileira de Computação, 2005.

3.
Veloso, Paulo A. S. ; VANA, Leonardo B. ; Veloso, Sheila R. M. . Natural deduction proof strategies for 'generally'. In: XI Conferencia de la Asociatión Española para la Inteligencia Artificial, 2005, Santiago de Compostela. Actas de la XI Conferencia de la Asociatión Española para la Inteligencia Artificial. v. vol. I. p. 173-182.

4.
VANA, Leonardo B.; Correa, Marcelo da S. . A Tableau Method for the Lambek Calculus based on a Matrix Characterization. In: 10th Workshop on Logic, Language, Information and Computation, 2003, 2003, Ouro Preto. Proceedings of the WoLLIC´2003 in Eletronic Notes in Theoretical Computer Science, 2003. v. 84.

Resumos publicados em anais de congressos
1.
Veloso, Sheila R. M. ; Veloso, Paulo A. S. ; VANA, Leonardo B. . Natural Deduction for Generally: proof strategies and normalization. In: XIV Encontro Brasileiro de Lógica 2006, 2006, Itatiaia. Caderno de Resumos, 2006.



Bancas



Participação em bancas de trabalhos de conclusão
Trabalhos de conclusão de curso de graduação
1.
Vana, Leonardo B.. Participação em banca de Elisa Azevedo Machado.Gestão do Capital Intelectual para Minimização dos Custos Ocultos na administração Pública. 2016. Trabalho de Conclusão de Curso (Graduação em Ciências Contábeis) - Universidade Federal Fluminense.

2.
Vana, Leonardo B.. Participação em banca de Chen Tha Xin.Planejamento Estratégico em Micro e Pequenas Empresas: Fator Determinante de Gestão. 2016. Trabalho de Conclusão de Curso (Graduação em Ciências Contábeis) - Universidade Federal Fluminense.

3.
Vana, Leonardo B.. Participação em banca de Michel Louzada.A Implementação do ESocial na Gestão de Pessoal. 2016. Trabalho de Conclusão de Curso (Graduação em Ciências Contábeis) - Universidade Federal Fluminense.




Eventos



Participação em eventos, congressos, exposições e feiras
1.
2 Worshop on Logical and Semantics Frameworks , with applications LSFA'07. Sequent Calculi for 'Generally'. 2008. (Congresso).

2.
Brazilian Symposium on Formal Methods. Proof strategies for assertions with 'generally'. 2006. (Congresso).

3.
II Semana da Matemática.Dedução Natural para 'Geralmente'. 2006. (Outra).

4.
XIV Encontro Brasileiro de Lógica 2006.Natural Deduction for Generally: proof strategies and normalization. 2006. (Encontro).

5.
V Encontro Nacional de Intligência Artificial. Sobre Lógicas de Geralmente em Ambiente de Dedução Natural. 2005. (Congresso).

6.
10th Workshop on Logic, Language, Information and Computation. A Tableu Method for the Lambek Calculus based on Matrix Characterization. 2003. (Congresso).




Página gerada pelo Sistema Currículo Lattes em 20/10/2018 às 14:59:04