In this thesis we present several methods to automate tomographic reconstruction algorithms and several novel tomographic reconstruction algorithms with the focus on being easily applicable and efficient to use.

Promotor: R. Tijdeman, Co-promotor: H.J.J. te Riele

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

With tomography it is possible to reconstruct the interior of an object without destroying.

Promotor: Prof.dr. K.J. Batenburg

Top scientists of three Dutch universities are working on software and systems for quantum computers. Researchers of the Leiden Institute of Advanced Computer Science (LIACS) and the Leiden Institute of Physics (LION) are developing new algorithms to make those super computers work. The coming years,…

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…

Promotores: H.W. Lenstra, K. Belabas (University of Bordeaux)

Artificial intelligence algorithms govern in subtle, yet fundamental ways, the way we live and are transforming our societies. The promise of efficient, low‐cost or ‘neutral’ solutions harnessing the potential of big data has led public bodies to adopt algorithmic systems in the provision of public…

Artificial intelligence could help make the work of public sector organisations, professionals, policy- and decision makers more effective, more efficient, and ideally could make it more rationalised and evidence-based.

Promotor: K.J. Batenburg

This thesis covers several aspects of quantum algorithms for near-term quantum computers and its applications to quantum chemistry and material science.

An experimental approach to organic palaeolithic technology

Promotores: K.J. Batenburg, B. Koren

The Algorithms and Software Technology (AST) research programme performs fundamental research in the areas of algorithm design and analysis.

Promotor: J.N. Kok, Co-promotor: W.A. Kosters

Promotor: J.N. Kok, P.E. Slagboom Co-promotor: J.F.J. Laros

Promotor: Robert Tijdeman, Co-promotor: Cornelis Kraaikamp

We live in a world of things and people in the past must have been as closely entangled with their material surroundings as we are now. In the Laboratory for Artefact Studies Van Gijn takes a close look at the biographies of objects: what kind of raw material an object is made off and what is its provenience,…

Promotor: S.J. Edixhoven, Co-promotor: R.S. de Jong

Dorothea Schulz & Martin Hense

Structural variants (SVs) are the hidden architecture of the human genome, and are critical for us to understand diseases, evolution, and so on.

Promotor: Prof.dr. J.P. Abrahams, Prof.dr. M. van Heel

This dissertation presents a comprehensive description of Xinka, an indigenous language from southeastern Guatemala. The description is based on a missionary grammar that is titled Arte de la lengua szinca and was written by the priest Manuel Maldonado de Matos around 1773.

PhD defence

Promotor: Prof.dr. J.N. Kok, Co-Promotor: W.A. Kosters

Smart algorithms and powerful processors are just as essential for astronomy as big telescopes. Astronomers at Leiden University therefore constantly operate at the interface between astronomy and data science.

Lecture, Special Topics in Dialectology (2023)

The chaotic years after the Civil War are often seen as a time of uniquely American idealism—a revolutionary attempt to rebuild the nation that paved the way for the civil rights movement of the twentieth century. But Adam Fairclough rejects this prevailing view, challenging prominent historians such…

The Automated Design and Analysis of Algorithms (ADA) research group pursues the development of Artificial Intelligence techniques that complement, rather than replace, human intelligence.

An assessment of Libyan legislation

Leiden University archaeologists are reconstructing houses from the Stone Age, using only resources available during that period. This method offers surprising insights into the ingenuity of our distant ancestors, and challenges existing archaeological views.

Inverse problems are problems where we want to estimate the values of certain parameters of a system given observations of the system. Such problems occur in several areas of science and engineering. Inverse problems are often ill-posed, which means that the observations of the system do not uniquely…

Due to the modern techniques of combinatorial chemistry and high-throughput screening, data on the biological activity of many millions of compounds is known. However, it is still very difficult to transfer this data into knowledge: if we know that compounds A and B bind to a certain protein with high…

Imagine how much time, money and discomfort it would save: a personalised treatment for each individual patient. Precision medicine like this is coming ever closer, thanks in part to Elise Dusseldorp’s algorithms. They retrieve a wealth of information from research data.

Science, Leiden Institute of Advanced Computer Science (LIACS)

Tomography is a powerful technique to non-destructively determine the interior structure of an object.Usually, a series of projection images (e.g.\ X-ray images) is acquired from a range of different positions.

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…

Promotor: J.P. Abrahams, Co-promotor: T. Grüne

Science, Leiden Institute of Advanced Computer Science (LIACS)

Science

Multi-objective optimization is an effective technique for finding optimal solutions that balance several conflicting objectives. It has been applied in many fields of our world, because practical problems usually have more than one desired goal. For example, developing a new vehicle component might…

Science, Mathematical Institute (MI)

Multi-objective evolutionary computation aims to find high quality (Pareto optimal) solutions that represent the trade-off between multiple objectives.

This project intends to provide an integrated linguistic assessment of the hypothesised migration route of the Tocharians.

Anna Scott is a Canadian pianist-researcher interested in using the early twentieth century recordings of the Brahms circle of pianists to question persistent gaps between the loci of knowledge, ethics, and act in both modern mainstream and historically-informed performances of Brahms’s late piano w…

Promotor: H.J.A. Röttgering, Co-promotor: M. Haverkorn

Modern optimization algorithms offer solutions for architectural decisions like spatial, structural and energy efficiency. A young computer scientist from Leiden University co-authored a paper that won the Best Paper Award at a leading conference in Krakow during the summer.