Course

Pushing the boundaries of quantum theories – that’s exactly what the physicists at Leiden University excel at. Researchers in Leiden are launching eight new quantum research projects as part of the Quantum Limits consortium.

Promotores: T.H.W. Bäck, Y. Tan, Co-promotor: M.T.M. Emmerich

The research in this thesis is focused on tomographic reconstruction based on two imaging modalities in electron microscopy.

Modern scientific discovery increasingly depends on High-Performance Computing (HPC) systems that combine traditional processors with specialized accelerators such as GPUs.

Promotor: Peter Stevenhagen

On 24 March 2023, the University of Tartu, Estonia hosted a Workshop on ‘'Algorithms, Rule of Law, and the Future of Justice: Implications in the Estonian Justice System’.

The research programme Statistical Science is concerned with the analysis and interpretation of masses of data, the quantification of uncertainty using probability models, and the development and benchmarking of algorithms and methods with these aims.

Promotores: K.J. Batenburg, B. Koren

Quantum computing is a novel paradigm for computation, which is nearing real-world impact with the coming generation of limited, but nonetheless powerful quantum devices.

Promotor: Prof.dr. S. Portegies Zwart

Lecture

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.

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…

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

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.

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…

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…

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…

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

Constraint multi-objective optimization with a limited budget for function evaluations is challenging. This thesis tackles this problem by proposing new optimization algorithms. These algorithms are applied on holistic ship design problems. This helps naval architects balance objectives like cost, efficiency,…

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.

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…

Quantum computing represents a fundamentally new computational paradigm, capable of addressing problems that are intractable for classical computers.

Exploring the application of game-theoretic frameworks to quantum physics, this study creates novel AI training methods for the precise control of quantum systems.

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

Anne Meuwese and Francien Dechesne have received SSH Open Competition M funding from the Dutch Research Council for their joint project 'The Artificial Intelligence Act in action. Probing and improving the quality of legislation in the algorithmic era.'

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…

Computers are becoming ever more powerful and are taking on more complex tasks. The Leiden Institute of Advanced Computer Science (LIACS) contributes to revolutionary scientific research and applies the latest inventions in the field, offering answers to today’s questions of society.

Promotores: S.J. Edixhoven, P.Parent

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.

Tic tac toe, but with quantum effects. That makes learning the principles of quantum technology a piece of cake. This is the aim of a new start-up founded by researcher Evert van Nieuwenburg: QuantumPlayed. ‘Quantum is all around us and everyone should be able to learn about it.’

The Network Science group works on methods and algorithms for analyzing real-world (social) network data.

Lecture

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…

Promotor: J.P. Abrahams, Co-Promotor: N.S. Pannu

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.

This dissertation investigates how the efficiency of Computed Tomography (CT) can be improved for dynamic scientific and industrial applications.

We show that Kirchhoff ’s law of conservation holds for non-commutative graph flows if and only if the graph is planar. We generalize the theory of (Euclidean) lattices to infinite dimension and consider the ring of algebraic integers as such a lattice.

A neural network mimics how our brain works. Evolutionary algorithms use the principle of natural selection to solve complex problems. This kind of 'natural computing' is being used to improve the diagnosis of Parkinson's disease or the production of steel.

Can you prove whether a large quantum system truly behaves according to the weird and wonderful rules of quantum mechanics — or if it just looks like it does? In a groundbreaking study, physicists from Leiden, Beijing en Hangzhou found the answer to this question.