Dr. Jandson Santos Ribeiro Santos

Curriculum vitae


2020 PhD in Computer Science, Macquarie University (Australia) and University of S ̃ao Paulo (Brazil) - Cotutelle
Thesis: Belief Change without Compactness (Supervisors: Prof Abhaya Nayak and Prof Renata Wassermann)
2016 MSc in Computer Science, Federal University of Bahia, Brazil
Thesis: A Solution for Refinement of KMTSs Based on Model Checking Games (Supervisors: Prof Aline Andrade)
2014 BSc in Computer Science, Federal University of Bahia, Brazil
Thesis: Implementation of KMTS Model Refinement Based on Model Checking GamesSupervisors: Prof Aline Andrade ,

Academic Positions

2021 - Postdoctoral Researcher; University of Hagen, Germany
2020 - 2021 Postdoctoral Researcher; University of Koblenz-Landau, Germany

Prizes and Awards

2020 Best Latin American PhD Thesis in Computer Science (2nd Place)by Latin American Center for Computer Studies (CLEI)
2020 Top 3 PhD Theses of the Yearby Macquarie University
2020 Vice-Chancellor’s Commendation for Academic Excellence Award.to PhD Thesis, by Macquarie University
2018 Marco Cadoli Distinguished Student Paper Prize, KR 2018.
to paper: Ribeiro, J S., Nayak, A., Wassermann R., Towards Belief Contraction without Com-pactness. In International Conference on Principles of Knowledge Representation and Reas-oning (16th KR): 287-296
2018 Computing HDR Research Excellence Award.by Macquarie University.


  • English: Proficient
  • German: A1.2
  • French: DELF B1
  • Portuguese: Mother-tongue

Research Interests

  • Artificial Intelligence,
  • Knowledge Representation and Reasoning,
  • Formal Methods and Logics



  • Jandson S Ribeiro. „A Visit to Belief Change without Compactness“. In:CLEI Electron. J.24.1 (2021)

Full Papers on International Conferences

  • Jandson S. Ribeiro and Matthias Thimm. „Consolidation via Tacit Culpability Measures: Between Explicitand Implicit Degrees of Culpability“. In:Principles of Knowledge Representation and Reasoning: Proceedingsof the 18th International Conference, KR 2021. 2021, forthcoming
  • Jandson S Ribeiro, Viorica Sofronie-Stokkermans and Matthias Thimm. „Measuring Disagreement withInterpolants“. In:Proceedings of the 14th International Conference on Scalable Uncertainty Management(SUM’20). 2020, pp. 84–97
  • Jandson S Ribeiro, Abhaya Nayak and Renata Wassermann. „Belief Update without Compactness inNon-finitary Languages“. In:Proceedings of the Twenty-Eighth International Joint Conference on ArtificialIntelligence, IJCAI 2019, Macao, China, August 10-16, 2019. ijcai.org, 2019, pp. 1858–1864
  • Jandson S Ribeiro, Abhaya Nayak and Renata Wassermann. „Belief Change and Non-Monotonic Reas-oning Sans Compactness“. In:The Thirty-Third AAAI Conference on Artificial Intelligence, AAAI 2019. AAAIPress, 2019, pp. 3019–3026
  • Jandson S Ribeiro, Abhaya Nayak and Renata Wassermann. „Towards Belief Contraction withoutCompactness“. In:Principles of Knowledge Representation and Reasoning: Proceedings of the SixteenthInternational Conference, KR 2018. AAAI Press, 2018, 287–296 (awarded the prestigious Marco CadoliDistinguished Student paper Prize)
  • Jandson S Ribeiroand Aline Andrade. „A 3-Valued Contraction Model Checking Game: Deciding on theWorld of Partial Information“. In:Formal Methods and Software Engineering - 17th International Conferenceon Formal Engineering Methods, ICFEM 2015, Proceedings. Vol. 9407. Lecture Notes in Computer Science.Springer, 2015, pp. 84–99Papers on International


  • Jandson S. Ribeiro, Ricardo Guimar ̃aes and Ana Ozaki. „Revising Ontologies via Models: The ALC-formula Case“. In:The 34th International Workshop on Description Logics (DL 2021). Forthcoming