The research presented in this thesis concerns one of the most important questions in software engineering of our time: how can we make sure that software is free from memory safety bugs?

In the spirit of 'unity in diversity', our objective is to promote insight into and appreciation for the wonder that the same physical laws and mathematical concepts apply to the whole of nature, from the largest to the smallest energy and length scales. We strive for the application of abstract theoretical…

Leiden Institute of Advanced Computer Science (LIACS)

LIACS is partner in the project 'Stereotyping in Computer Science.' The project is a collaboration between multiple universities and the Dutch national expert organization on girls/women and science/technology (VHTO), which will investigate the stereotypes that children hold about computer scientist…

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

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

Leiden has a strong tradition in theoretical physics, thoroughly linked with experimental disciplines.

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

Computational linguistics uses computational methods to help answer linguistics questions across a variety of topics.

Digital technology is changing academia and society at lightning speed. LIACS is in the midst of this with groundbreaking research into data processing and artificial intelligence (AI). It conducts a unique combination of fundamental and applied research into major issues facing academia and society…

The worldwide race to the quantum computer is in full swing. This computer can take on computing tasks that we can only dream of today, such as finding proteins that can be used as medicines in seconds flat. Leiden physicists have discovered how the Majorana particle can be used as a building block…

Studying the underlying principles of the nature of language.

The main goal of the THEOR CHEM group, headed by Prof. Geert-Jan Kroes, is to characterize, and to accurately predict the outcome of chemical reactions at gas-solid and liquid-solid interfaces. Here the solid surface is typically a metal or an ice surface. These goals are important to many areas in…

Promotor: Prof.dr. S. Haring

The Leiden Centre for Theoretical Philosophy (LCTP) is a platform for analytic philosophy in a broad sense at Leiden University. Its members do research in philosophy of science, philosophy of logic and metaphysics, with a keen interest in the history of topics such as mind, knowledge, truth, and ti…

The master’s specialisation Research in Theoretical Physics prepares you for a PhD position in theoretical physics. The research entails a broad range of topics including High Energy Physics and Particle Cosmology, Theoretical Physics of Life Processes and Condensed Matter Theory.

This dissertation investigates Extended Lexical Units (ELUs), elements that are bigger than just one word and which are stored in the Lexicon.

Beowulf clusters looking for new frontiers.

On 27 November 2015 Prof. Dr. Grzegorz Rozenberg receives his sixth Honorary Doctorate.

On Monday June 15 Prof. Dr. Grzegorz Rozenberg received his fifth Honorary Doctorate.

The first book ever on information-theoretically secure multiparty computation

Our world is shrinking, or at least our electronic devices are. From PCs to mobile phones: everything is smaller and thinner. The smaller the chip, the better it can conduct electricity and pass on information.

Zaanen

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.

Projects within the theme ‘Computational Biology’ aim to employ mathematical or computational dynamical modelling approaches to discover novel concepts that are important for drug development.

This dissertation focused on computational methods based on first principles calculations using the Density Functional Theory (DFT) framework. Emphasis was laid on affordable methods that can provide a tradeoff between computational expense and accuracy.

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

Promotor: F. Arbab

In this work we describe three methods to improve the performance of Quantum Field Theory calculations.

Promotor: S.J. Edixhoven, L.D.J. Taelman

We investigate reaction systems, a novel computational model gleaned from the biochemical reactions taking place in living cells and information processing in nature.

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

The Computer Support group provides dedicated support for the computing infrastructure of Leiden Observatory

Research in this group, headed by Gerard van Westen, focusses on computational methods integrated in different parts of the drug discovery process. More specifically, topics include innovative treatments for cancer, selectivity modeling, translational research, allosteric modulation, drug resistance…

Promotor: C.W.J. Beenakker, Co-Promotor: A.R. Akhmerov

In ‘Dimensions of Free Speech’, Devrim Kabasakal Badamchi (Leiden University Institute of Political Science) offers a new theoretical framework for free speech by critically analysing the major justifications for free speech. Kabasakal Badamchi argues for a justification: namely the double-grounded…

The group Theoretical Physics of Life Processes, led by Helmut Schiessel, focuses on the physics of chromatin, the DNA-protein complex that fills the nuclei of eukaryotic cells.

High Performance Computing (HPC) is becoming ever more important as a research tool in many research areas across all research domains. A University facility, providing serious computational capabilities, combined with easy and flexible local access, is a strong advantage for these research areas. It…

Promotor: Roeland M.H. Merks

Large-scale computing infrastructure, such as supercomputers, cluster, and clouds, are already pervasive, most members of our society interact with them daily: social networks, government services, media streaming services--all systems heavily interfacing with the members of our society--are powered…

This book brings together a collection of emergent research that moves the debate on desistance beyond a general consideration of individual and social structural influences.

Sewer pipes are an essential infrastructure in modern society and their proper operation is important for public health. To keep sewer pipes operational as much as possible, periodical inspections for defects are performed.

LUMC Technology Focus Area (TFA) Data Analytics is een samenwerkingsverband van verschillende onderzoeksgroepen in het LUMC die nieuwe kwantitatieve en computationele methodologie ontwikkelen voor biomedisch en klinisch onderzoek.

Audiovisual and Digital Ethnography is a state-of-the-art introduction to this dynamic and growing subject. The authors explain its fundamental aspects in a clear and systematic way.