The invention of neural networks marks a critical milestone in the pursuit of true artificial intelligence. Despite their impressive performance on various tasks, these networks face limitations in learning efficiently as they are often trained from scratch.

Promotores: K.J. Batenburg, B. Koren

Research in the natural computing cluster covers theoretical foundations, the development of new algorithms, and interdisciplinary applications of natural computing methods.

Lecture

Many important topics in computer science, such as the correctness of software, the efficiency of algorithms and the modeling of complicated systems, depend on sound theoretical underpinnings. In the Theory group, we study these fundamental building blocks and develop verification methods to prove system…

Lecture

Lecture

Lecture

Lecture

Lecture

A modern ship design process is subject to a wide variety of constraints such as safety constraints, regulations, and physical constraints.

Lecture

Lecture

Lecture

Lecture

Lecture

The focus of the Multicriteria Optimization and Decision Analysis (MODA) group is to develop foundations of methods in multi-objective optimization.

Research in the natural computing group covers theoretical foundations, the development of new algorithms, and interdisciplinary applications of natural computing methods.

Lecture

Developing robust algorithms and theory for establishing cause-effect relationships from observational data that scale up to large data sets

PhD defence

Computers are capable of making incredibly accurate predictions on the basis of machine learning. In other words, these computers can learn without intervention once they have been pre-programmed by humans. At LIACS, we explore and push the borders of what a revolutionary new generation of algorithms…

Study information

In this PhD-thesis several new and existing data science application are described that are particularly focused on applications for tax administrations.

With the dramatic growth of the image data on the web, there is an increasing demand of the algorithms capable of understanding the visual information automatically.

Lecture

This thesis has three main parts. The first part gives an algorithm to compute Hilbert modular polynomials for ordinary abelian varieties with maximal real multiplication. Hilbert modular polynomials of a given level b give a way of finding all of the abelian varieties that are b-isogeneous to any given…

Computers are capable of making incredibly accurate predictions on the basis of machine learning. In other words, these computers can learn without intervention once they have been pre-programmed by humans. At LIACS, we explore and push the borders of what a revolutionary new generation of algorithms…

Lecture

Promotores: S.J. Edixhoven, P.Parent

We see computer programming as an essential skill. It enables you to be self-sufficient in building tools, processing data, visualizing research output, communicating research results, etc. Moreover, it empowers you to make beautiful things.

Developing computational algorithms for structural biology -A high resolution, three dimensional view of a molecule provides detailed information that help elucidate its function: by knowing the exact arrangement of atoms in a molecule, we can understand disease, develop drugs to combat them and improve…

The master’s specialisation Artificial Intelligence offers future-oriented topics in computer science with a focus on machine learning, optimization algorithms, and decision support techniques.

Many important topics in computer science, such as the correctness of software, the efficiency of algorithms and the modeling of complicated systems, depend on sound theoretical underpinnings. In the Theory group, we study these fundamental building blocks and develop verification methods to prove system…

Leiden University computer scientists Yu Liu, Yanming Guo and Michael Lew are a step closer to their ultimate goal: search engines with visual recognition. Their publication of a new algorithm for fusing multi-scale deep learning representations has been received with great enthusiasm. No other algorithm…

Dr Mark Leiser, Assistant Professor in Law and Digital Technologies at eLaw, is part of a successful €1.5 million bid for a research grant from the acclaimed Volkswagen Institute on “Reclaiming individual autonomy and democratic discourse online: How to rebalance human and algorithmic decision makin…

Francien Dechesne, Associate Professor at eLaw, contributed as an expert to the advisory report of the organisation AlgorithmAudit, which was presented to the Dutch Minister for Digitalisation Alexandra van Huffelen on Wednesday 29 November 2023. The report contains a number of concrete norms to avoid…

Promotor: F. Arbab, R. De Nicola, Co-Promotor: M. Tribastone

Quantum annealing belongs to a family of quantum optimization algorithms designed to solve combinatorial optimization problems using programmable quantum hardware. In this thesis, various methods are developed and tested to understand how to formulate combinatorial optimization problems for quantum…

This thesis investigates the contribution of quantum computers to machine learning, a field called Quantum Machine Learning. Quantum Machine Learning promises innovative perspectives and methods for solving complex problems in machine learning, leveraging the unique capabilities of quantum computers…