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.

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…

Bruin

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

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

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

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

Conference

The first of the two volumes of this co-authored study has just been published by Metzler. The study explores the history of the concept ‘barbarism’ from the 18th century to the present and illuminates its foundational role in modern European and Western identity.

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.

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…

Developing a method to simplify polynomials in complex curves

Majorana meets a mermaid

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…

The thesis mainly contributes to the characterization of Majorana fermions as they appear in the Condensed Matter context.

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.

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…

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.

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.

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

'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.

Barbarism: from the 18th century to the present.

The Summer School on International Humanitarian Law is designed by the Grotius Centre Kalshoven-Gieskes Forum on International Humanitarian Law. The registration window has been closed.

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

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…

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