Matthias van der Hallen

Tervuursestraat 99 bus 0501 · 3000, Leuven · +32 486 30 90 92 · matthias.vanderhallen@gmail.com

I am an engineer in Computer Science, currently working as a postdoc at KU Leuven. My core research interests are designing more expressive Knowledge Representation Languages, and building solvers that support them.

Experience

Postdoc

KU Leuven

I'm currently working as a postdoc in the Declarative Languages and Systems group of KU Leuven.

Ongoing

PhD Student

KU Leuven

As a PhD researcher in the Declarative Languages and Systems group of KU Leuven, I researched the development of more expressive Knowledge Representation Languages and the solvers to support them. I specifically investigated how to extend languages with Second-Order and Higher-Order Logic, leading to my PhD thesis called Towards a Higher Level of Abstraction for Knowledge Representation Languages under supervision of prof. dr. ir. Gerda Janssens and co-supervison of prof. dr. Marc Denecker.

Sep. 2014 - Dec. 2015 (KU Leuven)
Jan. 2016 - Dec. 2019 (FWO bursary) Jan. 2020 - Sep. 2020 (KU Leuven)

Board Member Student Union: Culture Team

VTK

VTK is the student union of the Engineering Faculty at KU Leuven. As a non-profit with 2000 members and 1M€ turnover, it represents the students in educational meetings and provides leasure activities. Personally, I was a member of the Culture team, and represented my fellow students on the departmental and faculty levels.

July 2013 - July 2014

Education

KU Leuven

PhD of Engineering: Computer Science

PhD thesis: Towards a Higher Level of Abstraction for Knowledge Representation Languages

September 2014 - September 2020
Master of Engineering
Computer Science · Specialization: Artificial Intelligence

Magna Cum Laude
Master thesis: Secure Compilation of ML Modules

September 2012 - September 2014
Network Security and Cryptography (Separate Credit)
June 2013
Bachelor of Engineering
Major: Computer Science · Minor: Electrical Engineering

Cum Laude

September 2009 - June 2012

College van het Eucharistisch Hart Essen

Latin · Greek
September 2003 - June 2009

Skills

Programming Languages & Tools
Systems

Academical Curriculum

Teaching Assistent

  • Declarative Languages
    2014 - Present

Thesis Supervisor

  • Peter Raeves - Learning a Robot to Reason about his Knowledge · (With Pieter Van Hertum)
    September 2015
  • Herbert Gorissen - The ISP Course Selection Puzzle
    September 2016
  • Pieter Laenen - Translating FO(·) to ASP2 · (With Joachim Janssen)
    September 2017
  • Thomas Vochten - Vertaling van UML-klassediagrammen en sequentiediagrammen naar FO(·)-theorieën voor simulatie en verificatie
    September 2018
  • Noel Arteche - A Formal Language and Tool for QBF Family Definitions
    June 2020
  • Robin Wuytens - Knowledge Base Systems for large law-based Applications: Configuring Electrical Installations Conforming to AREI Regulations
    September 2020

Publications

2019
  • Knowledge Representation Analysis of Graph Mining M. van der Hallen, S. Paramonov, G. Janssens, and M. Denecker Annals of Mathematics and Artificial Intelligence
2018
  • SOGrounder: Modelling and Solving Second-Order Logic M. van der Hallen, and G. Janssens Proceedings of KR 2018; 2018; pp 72-77
  • A Grounder from Second-Order Logic to QBF M. van der Hallen, and G. Janssens Proceedings of QBF 2018; 2018
2016
  • A Compositional Typed Higher-Order Logic with Definitions I. Dasseville, M. van der Hallen, G. Janssens, and M. Denecker Proceedings of ASPOCP 2016; 2016; pp. 55 - 76
  • Knowledge Representation Analysis of Graph Mining M. van der Hallen, S. Paramonov, M. Leuschel, and G. Janssens OpenAccess Series in Informatics; 2016; Vol. 52
2015
  • Semantics of Templates in a Compositional Framework for Building Logics I. Dasseville, M. van der Hallen, G. Janssens, and M. Denecker Theory and Practice of Logic Programming; 2015; Vol. 15; iss. 4-5; pp. 681 - 695

Interests

I enjoy doing sports: I particularly like cycling, mountain biking and running. I regularly cycle the mountains and I participate in a duathlon every once in a while. I also enjoy reading, where I am mostly drawn to the science, fantasy and detective or action/crime genres. I value time spent with friends and family highly.

Awards & Certifications

  • 1st Place - ICLP 2015 LP/CP contest (on-site: Cork)
    Jo Devriendt, Ingmar Dasseville
  • 2nd Place - ICLP 2016 LP/CP contest (on-site: New York)
    Jo Devriendt, Ingmar Dasseville
  • 2nd Place - ICLP 2017 LP/CP contest (on-line)
    Jo Devriendt, Ruben Lapauw
  • 2nd Place - ICLP 2018 LP/CP contest (on-site: Oxford)
    Richard Taupe