Thiago Nascimento da Silva

Bacharel em Matemática pela Universidade Federal do Espírito Santo, Campus Vitória. Mestre em Sistemas e Computação pela Universidade Federal do Rio Grande do Norte, Doutor em Ciência da Computação - PPgSC-UFRN - com período sanduíche na Universidade de Barcelona. Tenho interesse em Teoria dos Modelos, Lógica Algébrica Abstrata e Teoria das Demonstrações.

Ph.d Candidate at Universidade Federal do Rio Grande do Norte.