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.

If X is a locally compact Hausdorff space, then a representation of the complex C* algebra C_0(X) on a Hilbert space $H$ is given by a spectral measure that takes its values in the orthogonal projections on $H$.

Promotores: J. Kok, M. Chaudron (Chalmers University)

With the advent of multicore processors and data centers, computer hardware has become increasingly parallel, allowing one to run multiple pieces of software at the same time on different machines. Coordination of these pieces is best expressed in a coordination language as an explicit interaction protocol…

It is an established fact that the Standard Model has to be extended to explain the so-called Beyond the Standard Model (BSM) phenomena: dark matter, matter-antimatter asymmetry of the Universe and neutrino flavour oscillations.

Promotor: Prof.dr. R.M.H. Merks

Which traits and/or trade-offs determine benefits of being deciduous or evergreen?

Op 23 februari 2022 verdedigde Cale Davis het proefschrift 'Prosecutorial Discretion in International Criminal Justice'. Het promotieonderzoek is begeleid door prof.dr. C. Stahn en dr. J.C. Powderly.

Time-series forecasting through modelling sequences of temporally dependent observations has many industrial and scientific applications. While machine learning models have been widely used to create time-series forecasting models, creating efficient and performant time-series forecasting models is…

Leiden is een echte studentenstad. Meld je aan voor een studievereniging of studentenvereniging om van jouw studietijd een onvergetelijke tijd te maken!

In human cells, a meter-long DNA is condensed inside a micrometer-sized cell nucleus. Simultaneously, the genetic code must remain accessible for its replication and transcription to functional proteins.

Festival

Veel belangrijke onderwerpen in de informatica, zoals de juistheid van software, de efficiëntie van algoritmen en de modellering van gecompliceerde systemen, zijn afhankelijk van een goede theoretische onderbouwing. In de Theoriegroep bestuderen we deze fundamentele bouwstenen en ontwikkelen we verificatiemethoden…

Hoe kan de geschiedenis worden achterhaald uit een ongedateerde mythologische tekst van een onbekend auteur? Op deze vraag zal prof.dr. Peter Bisschop aanstaande vrijdag ingaan tijdens zijn oratie getiteld

De DASPO-groep voor data-analyse en overleving in kanker aan het Mathematisch Instituut heeft een app ontwikkeld die persoonlijke prognoses verschaft voor patiënten met zachtweefselsarcoom. Door de agressieve aard van dergelijke tumoren is de prognose voor deze patiënten slecht, zelfs na een operatie…

Yisheng Development gaat het nieuwe entreegebied van het Leiden Bio Science Park vorm geven. De Universiteit Leiden en de gemeente Leiden hebben gekozen voor de Amstelveense projectontwikkelaar, die een duurzaam ontwerp voor een levendige campus voorstelde. Het ontwerp combineert wonen, werken en le…

De buitenlandse investeringen in Nederlands-Indië gedurende de koloniale tijd hadden gunstiger kunnen uitpakken voor de Indonesische economie. Maar de moeizame relatie tussen Nederland en Indonesië in de jaren na het uitroepen van de onafhankelijkheid vertraagde dit effect, zo blijkt uit promotieonderzoek…

Multinationals spelen in op gaten in belastingverdragen die staten met elkaar hebben gesloten. Een oplossing om deze gaten in één klap te dichten is het opstellen van een centraal, mondiaal verdrag. Of zo’n megaverdrag haalbaar is wordt in Leiden onderzocht.

Jamie Korporaal, die binnen de Faculteit Rechtsgeleerdheid tijdens haar masteropleiding begon als junior docent en nu succesvol in dienst is getreden als docent, start na de zomer met de specialisatieopleiding Arbeidsrecht. Samen met Marije Schneider, docent Arbeidsrecht, gaat zij in gesprek over haar…

The Role and Effectiveness of the G20. In dit artikel, gepubliceerd in The Changing Global Order onderdeel van the United Nations University Series on Regionalism book series, bespreekt auteur Jaroslaw Kantorowicz de evolutie van de G20.

Joni Reef is universitair docent criminologie en research fellow bij de afdeling Criminologie aan de Universiteit van Leiden.

EuDEco (modellering van de Europese Data Economie) is een Coordination & Support Action (CSA) die financiering ontvangt van het Europese Horizon 2020 programma.

Leerlingen uit de bovenbouw van het vwo binden de strijd met elkaar aan op het Max Havelaar Toesprakentoernooi. Het doel: een topspeecher worden, je verdiepen in fairtrade én het werk van Multatuli beter leren kennen.

De Universiteit Leiden is een van Europa’s meest vooraanstaande internationale onderzoeksuniversiteiten.

Het Centre for Professional Learning (CPL) is het expertise centrum van Universiteit Leiden in Den Haag voor leren en ontwikkelen in het publieke domein. Uitdagend, innovatief, academisch onderbouwd en praktijkgericht. CPL werkt daarbij samen met partners in diverse disciplines, sectoren, landen en…

Wij richten ons op natuurlijke producten van onderzoek, de traditionele geneeskunde, etnobotanie en fytochemie.

Onderzoek in de kunsten bij de Academy of Creative and Performing Arts (ACPA)  

Healthy University Leiden werkt nauw samen met Nederlandse Healthy Universities en hogescholen, als ook in internationaal verband.

Het Leiden Leadership Programme (LLP) is een interdisciplinair honoursprogramma voor masterstudenten dat wordt aangeboden door de Honours Academy en het Leiden Leadership Centre.

Nederland en India beleefden in de zeventiende eeuw een periode van economische voorspoed en culturele bloei. Tijdens deze gedeelde Gouden Eeuw raakten beide landen ingrijpend beïnvloed door toenemende globalisering en ontwikkelden ze zich tot grote wereldrijken.

Leerkrachten helpen om een pleegkind goed op te vangen. Dat komt ook het pleegkind ten goede!

Een van de kernthema’s in het aanbod van CPL is ‘’internationale betrekkingen’.

Dr. Irma Mosquera Valderrama onderzoekt in haar ERC-project de rol van de OESO (Organisatie voor Economische Samenwerking en Ontwikkeling) en de EU bij de totstandkoming van internationale fiscale wetgeving en streeft ernaar voorwaarden te scheppen waaronder zowel ontwikkelde landen als ontwikkelingslanden…

Wil je worden opgeleid tot een capable, caring en curious arts? Dan is de driejarige masteropleiding Geneeskunde aan de Universiteit Leiden echt iets voor jou.

duurzaamheidsthema's onderzoek

Ben jij een nieuwsgierige en enthousiaste student en wil je meer naast je studie doen? Dan is het honoursonderwijs misschien wel iets voor jou.

Het Leids Academisch Kunstcentrum biedt fotografie voor beginners en gevorderden aan. Tijdens de fotografiecursussen verken je de mogelijkheden van de camera die van belang zijn om de creatieve mogelijkheden van fotografie ten volle te kunnen benutten. Aan het eind van elke les wordt een opdracht gegeven…