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.

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…

The Master’s Open Day on 16 March was busy at all faculties in Leiden and The Hague. Thousands of visitors from the Netherlands and abroad came to Leiden University. ‘I want to find out more about the curriculum, and taste the atmosphere,’ said Sarah from Groningen.

Lions limit their prey, such as zebra and gnu, in their options for adapting to global warming. This is what Leiden researcher Michiel Veldhuis, from the Institute of Environmental Sciences, and a group of international colleagues have discovered. The research was published today in Nature Ecology &…

Discover the unique Vital Interests course in the BSc Security Studies programme, featuring an inspiring session on climate diplomacy with Dutch UNFCCC negotiators.

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

Marco Cinelli from Leiden University College (LUC) and the Institute of Environmental Sciences (CML) was awarded the 2024 EURO Award for the Best EJOR Paper at the European Conference on Operational Research in Copenhagen.

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

Lecture

Lecture

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.

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…

A recent publication by Niek Strohmaier, Assistant Professor of Empirical Legal Studies (ELS) Lab @Leiden, together with Professor Jan Adriaanse, Professor Kees van den Bos and Associate Professor Helen Pluut, has been accepted by the Journal of Applied Social Psychology.

This programme is aimed at students who have a strong interest in programming and computer science, as well as an interest in the cognitive psychology and artificial intelligence.

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

Lecture

Lecture

Lecture

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…

In these uncertain times when we all have to adapt to new circumstances, LUC is working hard to develop and implement changes in procedures and guidelines for staff and students. We would like to explain how this is organized, because staff and students are not always aware of the many steps that are…

Prof. Ottervanger, professor emeritus of European Law and Dutch Competition Law has analysed 36 final court judgments concerning decisions by the Netherlands Authority for Consumers & Markets (ACM) in competition cases. The report was part of the review of the ACM that was conducted by the Dutch Ministry…

To easily take part in group decision-making research, Jörg Gross, Assistent Professor Social and Organisational Psychology, launched a platform that allows students at the social interaction lab. Sign up to receive invitations if you are interested in taking part in on-going scientific studies in the…

Lecture

Lecture

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…

Yvonne Erkens and Fieke Weber, both from the Department of Labour Law and Social Security, recently organised a panel discussion on behalf of the International Labor Rights Case Law Journal (ILaRC). The discussion took place during the ISLSSL World Congress in Rome and was a huge success.

Promotor: J.M. van den Broek Co-promotor: M.C. de Vries

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…

Lecture

(1) What are the institutional factors that influence AI adoption and implementation? and (2) How does AI reshape the exercise of administrative discretion within public organisations, and how do adoption and implementation choices moderate these effects?

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.

It is difficult to imagine a society other than a hierarchical nation-state. This is in part because we neglect alternative forms from the past, argues archaeologist Lewis Borck in the Journal of Contemporary Archaeology.

The price of products and services plays an enormous role in society, and therefore also in the legal domain, according to Professor of Business Studies. Inaugural lecture 2 June.

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 car we buy is made out of thousands of components, which are produced using different types of materials. These materials need to be sourced from different places, sent to production facilities and assembled. Once the car is dismissed, the components need to be taken care of by either reusing, recycling…

Lecture