Interactive exploration of large volumes of data is increasingly common, as data scientists attempt to extract interesting information from large opaque data sets. This scenario presents a difficult challenge for traditional database systems, as (1) nothing is known about the query workload in advance,…

This thesis describes the Multi-site All-Sky CAmeRA (MASCARA), which consists of two small robotic telescope designed to detect exoplanets around the brightest stars in the sky.

The lecture series 'Humanity in the Automated State' examines how AI and automated systems are transforming government and public administration and what it means to be human within these digitised institutions.

What if you could watch a CT scan live, instead of analysing the images afterwards? If it is up to the Leiden mathematician Jan-Willem Buurlage, that will soon be a reality. He is developing methods to make the algorithms behind 3D scans faster. Quite a challenge: ‘Just like mathematicians, computers…

Promotores: Bas Edixhoven, Jean-Benoit Bost, Co-promotor: Robin de Jong

Promotor: Prof. dr. I. Snellen, Co-Promotor: Dr. M. Kenworthy

Natural Computing investigates algorithms and phenonema based on nature to create better and new computer science innovations.

By comparing individual health data with population data, doctors can provide personalized health advice and patients can learn from each other's experiences. Wessel Kraaij, professor of Applied Data Analytics shows how personal data can have predictive value.

The ability to collect and interpret huge quantities of data has become indispensable to society and academia. Leiden University is a knowledge and expertise centre for data science that places the emphasis on interdisciplinary collaboration and innovation.

In this project we develop algorithms to automatically detect a particular type of archaeological sites in satellite images of the Alps.

Less than 1 in 10 drug candidates that enter phase 1 clinical trials actually gets approved for human use.

NimbleAI aims at solutions for ultra-energy efficient and secure neuromorphic sensing and processing at the edge.

On 12 September 2019, Michiel Rhoen defended his thesis 'Big Data, Big Risks, Big Power Shifts: Evaluating the General Data Protection Regulation as an instrument of risk control and power redistribution in the context of big data'. The doctoral research was supervised by Prof. G.J. Zwenne and Prof.…

Quantum Delta NL, a research programme in which Leiden University participates, has been awarded 615 million euros from the National Growth Fund to help develop the Netherlands into a top player in quantum technology.

The Leiden Computational Network Science Lab (CNS Lab) researches methods for knowledge discovery from real-world network data.

Viral diseases constitute one of the major challenges in modern medicine. Membrane-targeting have broad-spectrum potential and could distinguish viral membranes from the host cell plasma membrane by the difference in membrane curvature.

In this thesis we study the moduli space of genus g curves, and the differential forms that occur naturally on this moduli space.

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…

The Reinforcement Learning lab conducts research into Reinforcement Learning and Intelligent Combinatorial Algorithms.

Joost Batenburg is a mathematician and computer scientist who works to build bridges to other disciplines. He hopes to bring intelligent software to fields where it can make a difference. Conversely, he also seeks connections to the disciplines that are needed to make AI a success.

In the future, physicians may be able to identify dementia much earlier than they can today because a computer algorithm will be able to predict from brain scans how our memory is going to develop.

On the basis of the characteristic aspects of a picture, certain computers can tell us what the picture is showing. They can learn this in the same way that young children are able to learn to recognize images. Further improving these techniques opens the way to a whole range of new applications. Biology…

There are over 7,000 languages in the world and over half of the world’s population is bilingual. But how do all these people use their language? And how do these languages differ from one another? Under the slogan of ‘Interconnecting linguistic diversity,’ the researchers from the Leiden University…

Here you can find the recordings of previous Florence Nightingale Colloquia.

The formation of stars and planets happens over multiple scales, which can interact. In particular, planet formation happens in the dense, complex environment of star forming regions.

The imaging group focuses on bio-imaging, image analysis and visualization.

Modern society is connected through electronic and mobile devices, which we call the Internet of Things (IoT).

The majority of scientists, from archaeologists through to zoologists, collect enormous volumes of data. Their massive databases contain large amounts of information which is difficult for humans to filter. With a solid grounding in statistics and computer science, we can develop algorithms for analyzing…

Intelligent machines are going to make ethical decisions too. Should a self-driving car be allowed to slam into pedestrians to save its passengers from a head-on collision? Should a negotiation app be able to detect stress in your opponent’s voice? And who makes these decisions: the user, the system’s…

Micro-credentials make education for professionals even more accessible. If you follow a module of 3 to 30 EC (European Credits), you receive a micro credential after completing the education program. This digital certificate is recognized by 22 universities of applied sciences and 12 universities.

Leading computer scientists from a variety of fields share their expertise and insights. Dive into the minds of these researchers and learn about real-world applications, the future of AI and related technologies and cutting-edge research. From chatbots to cybersecurity, from quantum to children's stories,…

AI MAPS adopts a freedom and social well-being perspective and focuses on three themes to address key security challenges; Social disorder and public nuisances in neighbourhoods, High-impact crime, and Crowds and events.

The project XAIPre (pronounce “Xyper”) aims to develop predictive maintenance system for the maritime industry using sensor technology and artificial intelligence. The project aims at developing Explainable Predictive Maintenance (XPdM) algorithms that do not only provide the engineers with a prediction…

The MSc programme Computer Science offers five specialisations corresponding to the research focus areas within the Leiden Institute of Advanced Computer Science. If you would like to become a qualified teacher in Computer Science or combine our studies with science communication, you can choose one…

General contact information

Researchers using remote sensing technologies have characterized pre-Columbian regularly-shaped earthworks in forests in Central America and the Amazon. In tropical forested mountains in South America, two challenges arise when identifying archaeological sites through remote sensing. Firstly, sites…

Lecture

Quantum Delta NL, a research programme in which Leiden University participates, has been awarded 615 million euros from the National Growth Fund to help develop the Netherlands into a top player in quantum technology. This has been announced at the presentation of the honoured proposals in The Hague…

Lecture

Research in the POD-group addresses all features of random phenomena – modelling, structuring, analysis, control, optimisation – and covers both fundamental and applied aspects.

Mathematical models of software systems enable characterizations, abstractions, simulations, and analysis of complex software during its development.

This thesis advances automata learning, a key area in computer science, with applications in software verification, biological analysis, and autonomous technologies. It explores three main themes: first, it introduces a passive learning algorithm for generating compact probabilistic models from positive…

The goal of the LIACS Media Lab (LML) at Leiden University is to conduct state-of-the-art research in the areas of deep learning, artificial intelligence and computer vision.

This thesis is is made of three parts. The first part describes a generalization of the Chabauty's method, that can be used to determine the rational points of a curve such that s+g>r+1, where g is the genusof the curve, r is the rank of the Mordell-Weil group of the jacobian of the curve and s is…

Automated Machine Learning (AutoML) is widely used to automatically build a suitable practical Machine Learning (ML) model for an arbitrary real-world problem, reducing the effort of practitioners in the ML development cycle for real-world applications. Optimization is a key part of a typical AutoML…

This study presents an agent-based simulation model exploring the patterns of presence and absence of Late Pleistocene Neanderthals in western Europe.

How do we address the pressing challenges posed by large-scale networks?

This dissertation derives from the development of tools for algorithmic composition which extract pitch materials from sound signals, analyzing them according to their timbral and harmonic properties, putting them into motion through diverse rhythmic and textural procedures.