Jandson S. Ribeiro

Msc in Computer Science | jandson@ime.usp.br

ABOUT

I am a PhD student in computer science at University of São Paulo. I have interest in belief revision, formal methods, modal logics and temporal logics.

DOWNLOAD PDF

EDUCATION

PhD in Computer Science
University of São Paulo
4 years course

GRADUATING IN Febreary 2020
IN PROGRESS

Msc in Computer Science
Federal University of Bahia
Master Thesis: Uma Solução para o Refinamento de Modelos KMTS Baseado em Verificação de Modelos com Jogos
2 Years Course

January 2016

Bsc in Computer Science
Federal University of Bahia
4 Years Course

January 2014


SKILLS

English


French



PUBLICATIONS

J. S. Ribeiro and A. Andrade, A 3-Valued Contraction Model Checking Game: Deciding on the World of Partial Information. in Formal Methods and Software Engineering: 17th International Conference on Formal Engineering Methods, ICFEM 2015, Paris, France, November 3-5, 2015.

NOVEMBER 2015


CONTACT

Email
jandson@ime.usp.br

Adress
Instituto de Matemática e Estatística da Universidade de São Paulo - IME/USP
CCSL - Bloco 3 - lab 17
Rua do Matão, 1010

CEP 05508-090
São Paulo, SP
Brazil

SOCIAL LINKS

Created by BLACKTIE.CO