Dr Bruno Yun

Dr Bruno Yun
Dr Bruno Yun

Dr Bruno Yun

Lecturer

About

Biography

I am Bruno Yun and I am a Lecturer at the University of Aberdeen since December 2019. I am affiliated with the Agents, Reasoning and Knowledge (ARK) group of the Department of Computing Science within the University of Aberdeen. My current research consists in developing formal argumentation frameworks to reason in the presence of inconsistencies and model human-like interactions.

Before joining the University of Aberdeen, I was a research associate for the ReEnTrust project within the School of Informatics at the University of Edinburgh. During this project, I conducted several studies on human perceptions about algorithmic systems and built practical tools and theoretical models for rebuilding user trust on algorithm.

Prior to joining the ReEnTrust project, I was member of the INRIA research team GraphIK at LIRMM and worked at the University of Montpellier where I defended my thesis in Computer Science in July 2019.

 

Qualifications

  • PhD Artificial Intelligence 
    2019 - University of Montpellier 

    The title of my thesis is "Argumentation Techniques for Existential Rules". It is an original research in the field of Knowledge Representation and Reasoning, one of the main sub-domains in AI.

    I was supervised by Madalina Croitoru, Srdjan Vesic and Rallou Thomopoulos. I was also supported by my friend and co-worker, Pierre Bisquert.

    During the whole duration of my PhD, I was part of the INRIA GraphIK team at the LIRMM laboratory. I defended my thesis on the 11th of July 2019.

    I studied reasoning techniques with argumentation graphs generated from inconsistent knowledge bases expressed in the existential rules language. The three main results are the following. First, we give a structural study of argumentation graphs obtained from knowledge bases expressed in existential rules. Second, we propose and analyse an argumentation framework with sets of attacking arguments for existential rules. Third, we studied argumentation techniques based on ranking-based approaches in both the context of query answering and argumentation reasoning.

  • MSc Computing Science 
    2016 - University of Montpellier 

    I followed a Master program called "MIT" at the University of Montpelier. This program offered courses about Theoretical Computer Science. An non exhaustive list of the topics covered are:

    • Graphs and structures
    • Advanced computability and complexity
    • Constraint reasoning
    • Combinatorial optimization
    • Knowledge base theory
  • BSC Mathematics 
    2014 - University of Montpellier 

    As a first year undergraduate, I studied Computer Science and Mathematics at the University of French Polynesia. In 2012, I moved to Montpelier and entered a course of study focused on Mathematics as a second year undergraduate. An non exhaustive list of the topics covered are:

    • Linear algebra
    • Algorithms and structure of linear data
    • Advanced imperative programming
    • Combinatorial optimization
    • Arithmetic

Latest Publications

View My Publications

Research

Research Overview

My research interests are around:

  • Argumentation Theory
  • Knowledge Representation
  • Logical Formalisms
  • Human Reasoning

Research Areas

Computing Science

Research Specialisms

  • Artificial Intelligence
  • Knowledge and Information Systems

Our research specialisms are based on the Higher Education Classification of Subjects (HECoS) which is HESA open data, published under the Creative Commons Attribution 4.0 International licence.

Teaching

Teaching Responsibilities

In addition to the courses above, I also taught the following courses in Montpellier:

  • [2018-2019] Object-Oriented Programming at IUT Montpellier-Sète.
  • [2017-2018] Introduction to Ergonomics at IUT Montpellier-Sète.
  • [2017-2018] Databases at IUT Montpellier-Sète
  • [2016-2017] Human Machine Interaction course at IUT Montpellier-Sète.
  • [2012-2014] Internship as a teacher apprentice (EAP) at Nevers High School

Non-course Teaching Responsibilities

I am also the Computing Science Engagement Officer.

Publications

Page 1 of 4 Results 1 to 10 of 38

Show 10 | 25 | 50 | 100 results per page

Refine

Books and Reports

Chapters in Books, Reports and Conference Proceedings

Contributions to Conferences

Contributions to Journals

Working Papers