Research output

• Automated Machine Learning for Neural Network Verification

  Dissertation

  • Science
    • Leiden Institute of Advanced Computer Science (LIACS)

  

• Deep Learning Solutions for Domain-Specific Image Segmentation

  Dissertation

  • Science
    • Leiden Institute of Advanced Computer Science (LIACS)

  

• Towards a Relational Approach to Understanding Interactions in Interactive Art

  Dissertation

  • Science
    • Leiden Institute of Advanced Computer Science (LIACS)

  

• Artificial Intelligence, Games and Education

  Dissertation

  • Science
    • Leiden Institute of Advanced Computer Science (LIACS)

  

• Variables and Naming in Introductory Programming Education

  Dissertation

  • Science
    • Leiden Institute of Advanced Computer Science (LIACS)

  

• Machine Learning in Quantum Sciences

  Book

  • Science
    • Leiden Institute of Physics (LION)
    • Leiden Institute of Advanced Computer Science (LIACS)
    • Machine Learning

  

• Separating quantum and classical computing: rigorous proof and practical application

  Dissertation

  • Science
    • Leiden Institute of Advanced Computer Science (LIACS)
    • Theory

  

• Trustworthy anomaly detection for smart manufacturing

  Dissertation

  • Science
    • Leiden Institute of Advanced Computer Science (LIACS)
    • Data Science

  

• Opinion Diversity through Hybrid Intelligence

  Dissertation

  • Science
    • Leiden Institute of Advanced Computer Science (LIACS)
    • Human AI

  

• Enhancing Autonomy and Efficiency in Goal-Conditioned Reinforcement Learning

  Dissertation

  • Science
    • Leiden Institute of Advanced Computer Science (LIACS)

  

• Data structures for quantum circuit verification and how to compare them

  Dissertation

  • Science
    • Leiden Institute of Advanced Computer Science (LIACS)

  

• From Benchmarking Optimization Heuristics to Dynamic Algorithm Configuration

  Dissertation

  • Science
    • Leiden Institute of Advanced Computer Science (LIACS)
    • Machine Learning

  

• Transdisciplinary Perspectives on Validity: Bridging the Gap Between Design and Implementation for Technology-Enhanced Learning Systems

  Dissertation

  • Science
    • Leiden Institute of Advanced Computer Science (LIACS)
    • Data Science

  

• Theory of mind in language, minds, and machines: a multidisciplinary approach

  Dissertation

  • Science
    • Leiden Institute of Advanced Computer Science (LIACS)
    • Human AI

  

• Automata learning: from probabilistic to quantum

  Dissertation

  • Science
    • Leiden Institute of Advanced Computer Science (LIACS)
    • Theory