Dr Jandson Santos Ribeiro Santos

Publication

• Date
• Type

Teaching

Cardiff University, UK

I am the lecturer for the following modules,

• (since 2024, Spring Semester)   - Performance and Scalability (BSc)
• (since 2024, Autumn Semester) - Fundamentals of Programming (MSc)

I covered the following module during the Autumn semester of 2024

• (2024, Autumn Semester) - Algorithms, Data Structures and Programming (MSc)

University of Hagen, Germany

I was the lecturer of the following modules (all courses were delivered in English)

• (2023, Summer Semester)  Knowledge in Flux 
• (2022/2023, Winter Semester) Research Laboratory: Knowledge-Based Cooperative Games 
• (2022, Summer Semester) SAT Solving

University of Koblenz-Landau, Germany

I was the lecturer of the following modules (all courses were delivered in English)

• (2021, Summer Semester) Semantic Web
• (2020/2021, Winter Semester) Knowledge in Flux 

Biography

International Research Visits

• 01/2025 Prof Ana Ozaki, University of Oslo, Oslo, Norway.
• 02/2019 Prof Chitta Baral. Arizona State University (ASU), Tempe, Arizona, United States of America

Honours and awards

(2023) Best Paper Award, NMR 23

(2020) Best Latin American PhD Thesis in Computer Science (2nd Place), CLEI.

(2020) Vice Chancellor’s Commendation for Academic Excellence Award (PhD Thesis), Macquarie University.

(2018) HDR Research Excellence Award. Department of Computing, Macquarie University.

(2018) Marco Cadoli Distinguished Student Paper Prize, KR 2018.

Speaking engagements

Invited talks in international venues

• (2024) Belief Change: Foundation and Frontiers, in the Fifth Nordic Logic Summer School. Reykjavik, Iceland, June, 2024. 
  
  
• (2024) Diversity and Inclusion panellist, in the 21st International Conference on Principles of Knowledge Representation and Reasoning, Hanoi, Vietnam, November, 2024.
  
  
• (2024)The Challenges of Effective Belief Contraction, in the 2nd Workshop of Artificial Intelligence, Ethics and Frontiers. Hannover, Germany, June, 2024.
  
  
• (2022) Kernel Contraction and the Order of Relevance, in the Seminars of ToLOCA - Computer Theory, Logics, Optimization, Combinatory and Algorithms. Department of Computer Science, Federal University of Bahia, Salvador. Brazil, May, 2022.
  
  
• (2019) On Compactness and Belief Update, in the Knowledge Representation and Reasoning Conventicle. School of Computer Science and Engineering, UNSW. Sydney, March, 2019.

Outreach Talks

• (2025) Solving Wumpus with Logics and Reasoning, in the II Workshop on Logics for Middle and High School Students (WoLF), Serra Negra - SP, Brazil, May, 2025

Committees and reviewing

I have been in the Program Committee of several major international conferences and workshops:

• (2025 - present) ECSQARU - The European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty 
• (2024 - present) AAMAS - The International Conference on Autonomous Agents and Multiagent Systems
• (2022 - 2024) NMR - The International Workshop on Non-Monotonic Reasoning
• (2022 - present) AAAI - The AAAI International Conference on Artificial Intelligence
• (2021 - present) KR - The International Conference on Principles of Knowledge Representation and Reasoning
• (2021) PRICAI - The Pacific Rim International Conferences on Artificial Intelligence
• (2020 - present) IJCAI - International Joint Conference on Artificial Intelligence

I also review for important journals,

• Artificial Intelligence Journal (AIJ)
• Journal of Artificial Intelligence Research (JAIR)
• ACM Transactions on Computational Logic (TOCL)
• Journal of Applied Non-Classical Logics
• The Knowledge Engineering Review