In this thesis, Quantum computing, norms, and polynomials, we investigate the interplay between quantum mechanics, complexity theory, and functional analysis, three central areas of physics, computer science, and mathematics, respectively.

PhD defence

PhD defence

PhD defence

PhD defence

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.

Researchers found a way to run programmes that should be impossible to carry out on an imperfect quantum computer. Such programmes are very computationally demanding and the quantum computers that currently exist are not yet up to that task. Unless you use a clever trick, Simon Marshall and Vedran Dunjko…

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.

Predicting the collective behaviour of systems, like a large group of people electing one of the parties, is no easy task. But there’s a theory that scientists have been using for decades to do just that: the theory of Gibbs measures. Last week, mathematician Mirmukhsin Makhmudov earned his PhD for…

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).

In high school, Tim van Erven read about an artificially intelligent algorithm that could solve mazes. From that moment on, he was sold: ‘There’s something magical about algorithms. With a list of fixed rules you can make them learn the most diverse things.’ This year, he won a Vidi grant, which he…

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.

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…

Masterclass

Proving a quantum computer to be quicker than a normal one is one step closer. After a breakthrough in speeding up classical algorithms, researchers Vedran Dunjko and Casper Gyurik showed that only one quantum algorithm could beat its classical counterpart. They discuss their discovery in Quanta Mag…

In healthcare, gender and sex considerations are crucial because they affect individuals' health and disease differences. Yet, most algorithms deployed in the healthcare context lack close consideration of these aspects and do not account for bias detection. In their latest paper, Eduard Fosch-Villaronga,…

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…

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…

The recently promoted Hao Wang from the Leiden Institute of Advanced Computer Science teaches computer programmes how to solve real-world problems. His goal is to make the process of problem-solving more efficient. On 1 November, he obtained his doctorate with the predicate cum laude. ‘I hope to solve…

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…

Vedran Dunjko appointed to full professor of quantum computing at Leiden University, the Netherlands.

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

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,…

Lecture

Quantum software is essential to make quantum technology work. Research centers QuSoft and aQa work together at the forefront of the Netherlands’ quantum software efforts. With the launch of the Quantum Software Alliance (QSA), this collaboration now scales globally.

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.

Uncertainty and noise are frequently-encountered obstacles in real-world applications of numerical optimization. The practice of optimization that deals with uncertainties and noise is commonly referred to as robust optimization.

Deepfakes are videos that have been manipulated to replace one person’s likeness with that of another. They can be difficult to distinguish from authentic videos. In our study, we found that people who score high on conspiracy thinking and people who use social media more are better at distinguishing…

This thesis covers various applications of topology in condensed matter physics and quantum information.