Personal Data

Full name

João Filipe Pereira da Silva Enes

Publishing name

Birthday

1983-01-10T00:00:00

Academic Degrees

MESTRADO(2)

Degree date

2013

Final grade

19

Degree granting institution

Universidade de Lisboa

School / College / Campus

Faculdade de Ciências

Thesis title

Um estudo sobre teorias de definições indutivas e admissibilidade

Supervisor

Fernando Jorge Inocêncio Ferreira

Co-supervisor

-

Scientific area

Matemática

LICENCIATURA(3)

Degree date

2010

Final grade

18

Degree granting institution

Universidade de Lisboa

School / College / Campus

Faculdade de Ciências

Thesis title

n/a

Supervisor

-

Co-supervisor

-

Scientific area

Matemática

Profissional activity

Period Position Institution
18-12-2013 - Aluno de Doutoramento em Matemática Faculdade de Ciências da Universidade de Lisboa
30-12-2013 - 30-12-2014 Assistente Convidado Faculdade de Ciências da Universidade de Lisboa
10-03-2011 - 29-12-2013 Monitor Departamento de Matemática da Faculdade de Ciências da Universidade de Lisboa
01-10-2009 - 30-09-2010 Bolseiro de Integração na Investigação FCT na área de Semigrupos, Autómatos e Linguagens (BII-JoãoEnes/CAUL/0143/MAT/2009) Centro de Álgebra da Universidade de Lisboa
01-10-2008 - 31-07-2009 Bolseiro do programa "Novos Talentos em Matemática" na área de Grupos e Representações Fundação Calouste Gulbenkian

Area of scientific activity

Area of scientific activity

Matemática

Specialization domain

Logica Matemática, Teoria da Demonstração.

Current main scientific area

Teoria da Demonstração.

Other scientific activities

n/a

Awards

Year Award Awarding entity
2011 Menção Honrosa FCUL - Licenciados em 2009/2010 melhor classificados Faculdade de Ciências da Universidade de Lisboa
2009 Bolsa de Estudo por Mérito Reitoria da Universidade de Lisboa
2009 Primeiro Prémio - Melhores alunos do 1ºano 1ªvez Fundação da Faculdade de Ciências da Universidade de Lisboa

Publications

Communications

Outras comunicações orais

"A new interpretation of ID1 in ID1(W)", in Days in Logic 2014, Universidade do Minho, Braga, Portugal (Janeiro 2014)