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?

Computational thinking, programming, and algorithms form the basic of many of the things that are shaping our world, the way we work, interact, organize ourselves, and even spend our free time with social networks, streaming media, and games. And this transformation is far from being complete, it is…

In deze opleiding leer je om concepten uit de statistiek en informatica te gebruiken om waardevolle informatie te halen uit grote hoeveelheden data.

Deze opleiding wordt aangeboden door het Leiden Institute of Advanced Computer Science. In deze opleiding analyseer je hoe ICT, innovatie mogelijk maakt in sectoren van het bedrijfsleven als marketing, financiën en strategie. Internationale uitwisseling en in-company scriptieprojecten bij vooraanstaande…

In de geest van ‘eenheid door verscheidenheid’ is ons doel het bevorderen van inzicht in en waardering voor het wonder dat dezelfde natuurkundige wetten en wiskundige concepten van toepassing zijn op de hele natuur, van de grootste tot de kleinste energie- en lengteschalen. Wij streven naar de toepassing…

In deze opleiding ligt de focus op het informeren van het algemene publiek over belangrijke wetenschappelijke onderwerpen en hoe je deze communicatie wetenschappelijk onderbouwt.

Na afronding van deze opleiding beschik je over een eerstegraads onderwijsbevoegdheid en ben je goed voorbereid op een carrière als docent in het voortgezet onderwijs.

In de masterspecialisatie Theoretical Philosophy van de Universiteit Leiden onderzoek je de verbindingen tussen filosofie en wetenschap vanuit een historisch perspectief.

Deze master specialisatie behandelt een breed scala aan wetenschappelijke onderwerpen, waaronder High Energy Physics and Particle Cosmology, Theoretical Physics of Life Processes en Condensed Matter Theory.

Deze opleiding biedt de mogelijkheid om onderzoek te combineren met kennis over ondernemerschap en ervaring in het bedrijfsleven.

Waar gaan de quantummechanica, de relativiteitstheorie en de zwaartekracht elkaar vinden? Wat is het missende stukje? Of is er een compleet nieuwe theorie die alle vormen van materie elegant beschrijft?

Het Algorithms and Software Technology (AST) onderzoeksprogramma voert onderzoek uit op het gebied van algoritme-ontwerp en analyse.

Computer Science LIACS Over het instituut

Met Natural Computing worden natuurlijke algoritmes en verschijnselen onderzocht om bijvoorbeeld computersystemen te innoveren.

Aan de hand van de karakteristieke aspecten van een beeld kunnen bepaalde computers ons vertellen wat het beeld laat zien. Ze kunnen dit leren op dezelfde manier als jonge kinderen beelden kunnen leren herkennen. Het verder verbeteren van deze technieken opent de weg naar een hele reeks nieuwe toepassingen.…

This thesis is a collection of theoretical works aiming at adjusting quantum algorithms to the hardware of quantum computers.

Het Computer Systems, Imagery & Media (CSI) onderzoeksprogramma voert fundamenteel onderzoek uit naar methoden en technieken voor het ontwerp, de implementatie en de applicatie van geavanceerde computersystemen.

Toen de corona-pandemie uitbrak, veranderde er ineens heel veel in onze dagelijkse communicatie. Door de maatregelen communiceerden we veel meer digitaal . Dat was voor iedereen wennen, maar hoe was dat voor jongeren met selectief mutisme?

Het verzamelen en interpreteren van grote hoeveelheden data is niet meer weg te denken uit de maatschappij en de wetenschap. De Universiteit Leiden is een kennis- en expertisecentrum van data science dat de nadruk legt op interdisciplinaire samenwerking en innovatie.

Toen de corona-pandemie uitbrak, veranderde er ineens heel veel in onze dagelijkse communicatie. We konden familie niet meer bezoeken en de scholen sloten. Door de coronamaatregelen communiceerden we veel meer digitaal met familie, vrienden/vriendinnen en leraren of klasgenoten. Dat was voor iedereen…

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.

The research group Science Communication and Society aims to understand how science communication works to improve the interaction between science and society. Central themes are ‘Bridging the gap between experts and the general public’ and ‘Evaluating Science Communication’.

Principles of Environmental Sciences provides a comprehensive picture of the principles, concepts and methods that are applicable to problems originating from the interaction between the living and non-living environment and mankind. Both the analysis of such problems and the way solutions to environmental…

The extensive use of electronic communication channels and other devices has opened new possibilities for collecting data on human behavior. This information is sometimes openly accessible, but largely part of administrative registration systems that are not open to the broader public. The data provides…

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

A P300-based Brain Computer Interface character speller, also known as P300 speller, has been an important communication pathway, under extensive research, for people who lose motor ability, such as patients with Amyotrophic Lateral Sclerosis or spinal-cord injury because a P300 speller allows human-beings…

Modern sterrenkundig onderzoek levert enorme hoeveelheden data op. In deze opleiding richt je je op ontwikkeling en toepassing van nieuwe data-mining technologieën. Je combineert Sterrenkundeonderzoek met relevante vakken uit het programma Computer Science.

Quantum Information Science & Technology (QIST) encompasses the understanding, design, construction and investigation of quantum information processing systems, such as quantum computers, quantum communication networks, and quantum sensors.

Data Science & Artificial Intelligence studeren in Leiden? Van inschrijving tot vervolgstappen, alles komt aan bod in de opleidingsvideo.

Door de opkomst van nieuwe methodes en technologieën, zoals verbeterde DNA-analyse en big data, is het archeologisch onderzoek de afgelopen decennia ingrijpend veranderd. De onderzoekers van het departement Archaeological Sciences van de Faculteit Archeologie gebruiken de nieuwe wetenschappelijke kennis…

Bij Data Science & Artificial Intelligence leer je hoe je functies van het brein, zoals denken, geheugen, leren en aandacht in modellen kunt gieten. Deze kennis kun je gebruiken om computers en systemen op vergelijkbare of betere manieren te laten functioneren.

In this PhD-thesis several new and existing data science application are described that are particularly focused on applications for tax administrations.

Promotor: Prof.dr. S. Haring

Het onderzoeksprogramma Statistical Science houdt zich bezig met de analyse en interpretatie van grote hoeveelheden data, de kwantificering van onzekerheid met behulp van kansmodellen en de ontwikkeling en benchmarking van algoritmen en methoden gericht op dataonderzoek.

To what extent can digital technologies be considered as authorities?

On this page you find all the ways through which the Institute of Psychology aims to foster Open Science.

Van de verspreiding van zwerfafval tot welke talen er in Leiden en Den Haag gesproken worden: meer dan 50 interessante vragen zijn het afgelopen jaar ingestuurd voor het Citizen Science Project van de Universiteit Leiden. Niet één maar twee Citizen Science-onderzoeksprojecten zijn dit jaar van start…

Citizen science of burgerwetenschap is een term die recentelijk veel wordt gebruikt, maar wat houdt het precies in? Wat is het verschil tussen tussen citizen science en crowdsourcing? En hoe verhoudt community archaeology/gemeenschapsarcheologie zich hiermee?

Het merendeel van de wetenschappers, van archeologen tot zoölogen, verzamelt enorme hoeveelheden gegevens. Hun databanken bevatten grote hoeveelheden informatie die voor de mens moeilijk te filteren zijn. Met een stevige basis in de statistiek en de computerwetenschappen kunnen we algoritmes ontwikkelen…

De missie van het Plant Sciences onderzoeksprogramma is om bij te dragen aan de duurzame productie van gewassen van hoge kwaliteit, bloemen en hoogwaardige producten met een biologische basis. Dit wordt gerealiseerd door het opdoen van fundamentele kennis over biologische processen omtrent de ontwikkeling…

Master Computer Science in Leiden nr.1 volgens Elsevier

Zowel de Leidse bacheloropleiding Wiskunde als de masteropleiding Mathematics worden door hoogleraren als beste van Nederland beoordeeld, dit blijkt uit onderzoek van weekblad Elsevier. De Leidse masteropleiding Computer Science wordt door studenten beoordeeld als beste van Nederland.

Het merendeel van de wetenschappers, van archeologen tot zoölogen, verzamelt enorme hoeveelheden gegevens. Hun databanken bevatten grote hoeveelheden informatie die voor de mens moeilijk te filteren zijn. Met een stevige basis in de statistiek en de computerwetenschappen kunnen we algoritmes ontwikkelen…

Big Science, commonly defined as conventional science made big in three dimensions, namely organizations, machines, and politics, brings a plethora of different stakeholders together, often for a long period of time. This includes policymakers, scientists, (scientific) managers as well as local “host”…

Dit proefschrift gaat over theoretische oppervlakte chemie binnen het veld van de heterogene katalyse.

Er zijn in Nederland ongeveer 300.000 mensen die regelmatig bloed geven. Vrouwen kunnen tot drie keer per jaar bloed geven en mannen tot vijf keer, wat neerkomt op ongeveer een miljoen bloeddonaties per jaar. Patiënten die dit donorbloed krijgen, verkeren al in een kwetsbare positie. Daarom is kwaliteitsbewaking…

Deze opleiding bereidt je voor op een rol als verbindende schakel tussen wetenschap en de samenleving. Je verwerft de kennis en vaardigheden waarmee je andere wetenschappers en leken kunt informeren over belangrijke wetenschappelijke ontwikkelingen in jouw vakgebied.

Wij voeren multidisciplinair onderzoek uit op het niveau van moleculen, cellen en organismen binnen de dierkunde. Ons doel is om fundamentele kennis te vergroten over gezondheid en ziekte.

Gorlaeus Gebouw, Einsteinweg 55, 2333 CC, Leiden