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…

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…

The research programme Probability Theory focuses on probability theory and on operations research.

The research of the Algebra, Geometry and Number Theory programme ranges from fundamental mathematical theory to algorithms and applications.

In analogy to mathematical proofs, the goal of a proof system is for a prover to convince a verifier of the correctness of a claim.

Subproject of

This book addresses the definition of history and how people are influenced by it.

Sentencing is becoming increasingly complex for the courts. Legal scholars and criminologists from Leiden document the process of sentencing in the Netherlands. They use this knowledge to advise legislators and those who implement this legislation on how to make sentencing more consistent and effect…

Bruin

The research of the Algebra, Geometry and Number Theory cluster tries to bridge the gap between abstract theory and the world of algorithms and applications.

The Death of Archaeological Theory, edited by John Bintliff and Mark Pearce, addresses the provocative subject of whether it is time to discount the burden of somewhat dogmatic theory and ideology that has built up over the last 25 years.

The terms ‘social’ , ‘collective’ or ‘public’ memory, are often contrasted with ‘private’, ‘individual’ or ‘personal’ memory. All these terms derive from a fairly new and interdisciplinary scholarly field that is often referred to as ‘memory studies’, and that according to some critics has developed…

Developing a method to simplify polynomials in complex curves

Majorana meets a mermaid

Promotor: H.W. Lenstra, Jr., Co-promotor: B. de Smit

This dissertation is a collection of four research articles devoted to the study of Kummer theory for commutative algebraic groups.

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

The master’s specialisation Algebra, Geometry and Number Theory at Leiden University is aimed at students who wish to acquire a profound knowledge of one of the areas within pure mathematics. There is a strong theme dealing with algebra and number theory as well as a strong theme dealing with topology…

Edited by linguists Jenny Audring (Leiden University) and Francesca Masini (University of Bologna), this is a unique handbook with a focus on morphology theories rather than morphological data. It covers a wide array of morphological theories, from traditional twentieth century models to current theoretical…

The focus of our theoretical physics research is the nature of macroscopic matter that is in one or the other way still in the grip of quantum physics.

My PhD research is devoted to studies of the conjectural cluster-algebraic symmetry in the theory of topological string, which is the simplest, however already non-trivial sector in the theory of string.

Truth is stranger than fiction. In 1997 Juan Maldaceña discovered a remarkable dictionary that translates equation for equation the physics of black holes in string theory into the more conventional physics of quantum mechanics of interacting particles. The remarkable possibility exists that…

The master in Cultural Analysis: Literature and Theory at Leiden University studies contemporary literature and culture (art, cinema, pop music) from a theoretical, critical perspective, with special emphases on approaches developed in cultural and literary studies, feminist theory, phenomenology and…

Imitation is, perhaps more than ever, constitutive of human originality.

This political theory specialisation focuses on the concepts of legitimacy and justice—political philosophy’s core themes. Immersing yourself in theories, philosophical and theoretical methods, and complex cases, you will make the leap from opinion to analysis.

Are you thinking about studying Cultural Analysis: Literature and Theory? Learn more and watch the introduction video.

'Politics of Withdrawal' considers the significance of practices and theories of withdrawal for radical thinking today.

Western thought has often dismissed shadows as fictional, but what if fictions reveal original truths?

This six-weeks online course delves into the research behind terrorism as it unpacks the assumptions and impacts of both terrorism and counterterrorism.

The Summer School on International Humanitarian Law is designed by the Grotius Centre Kalshoven-Gieskes Forum on International Humanitarian Law. The announcement for the next edition is scheduled to take place in January 2025.

We study the structure, dynamics and physics of complex networks emerging from the intricate interconnectedness of the constituents of large systems.

The focus of our theoretical research is understanding the behaviour of soft condensed matter, physical matter which is deformed or structurally altered by thermal fluctuations or small stresses.

Political protest is often at least partially about the question of legitimacy. How can we distinguish whether a regime is legitimate, or merely purports to be so?

The linguistic project constitutes the connection between the two other subprojects. It consists of two parts.

Organized by the Grotius Centre for International Legal Studies, this programme enables students and professionals from all over the world to engage in discussions on the prospects and challenges of international criminal justice. The announcement for the next edition is scheduled to take place…

On the brink of war, what influences decision makers to attack another country? Using innovative theoretical angles, Femke E. Bakker explores whether the basic assumptions of democratic peace theory are indeed correct. She stresses the microfoundations of conflict, questioning the assumptions on…

Promotor: K.E. Schalm, Co-promotor: S.S. Lee

On the 28th of September Go Hirasawa successfully defended a doctoral thesis and graduated.

This study looks at the question of how and at what level students in primary teacher education can integrate theory and practice, and how the organisation of their learning environment, focusing especially on mathematics and pedagogy, can contribute to that.

Is there a causal mechanism underlying the decision to attack another country when on the brink of war? If so, does this mechanism differ between regime-types? Political scientist Femke Bakker (Leiden University) addresses this question from a political psychological and comparative perspective and…

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

Schalm

On 16 april 2020, Andrew Fink defended his thesis 'The Importance of Conspiracy Theory in Extremist Ideology and Propaganda'. The doctoral research was supervised by Prof. A. Ellian.

Following their application to system biological models, control theory techniques have further potential to aid in the understanding and application of quantitative systems pharmacology models.

Systems with local constraints is a new finding in recent researches on complex systems. The heterogeneous spatial interactions and the temporal dependencies among those numerous units make it difficult to describe by traditional statistical physics.

The next generation of high-contrast imaging instruments on space-based observatories requires sophisticated wavefront sensing and control in addition to a high-performance coronagraph.

While self-driving cars and autonomous weapon systems have received a great deal of attention in media and research, the general requirements of ethical life in today’s digitalizing reality have not been made sufficiently visible and evaluable.

The relevance of intentionality to the interpretation of Aristotle was first suggested by Brentano in his Psychology from an Empirical Standpoint. Here we take our starting point from Brentano and investigate how Brentano’s concept of intentionality is rooted in Aristotle.

This Thesis shows discoveries in non-linear astrochemical kinetics as well as a deeper analysis of dark clouds chemistry.