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 deze opleiding ligt de focus op het informeren van het algemene publiek over belangrijke wetenschappelijke onderwerpen en hoe je deze communicatie wetenschappelijk onderbouwt.

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…

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.

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.

De maatschappij en de wetenschap veranderen in hoog tempo door grote ontwikkelingen in digitale informatieverwerking. Het LIACS staat hier middenin met vooraanstaand onderzoek in gegevensverwerking en kunstmatige intelligentie. Dat bereikt het instituut door een unieke combinatie van fundamenteel en…

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?

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

Computer Science LIACS Over het instituut

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

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

Generatieve AI in perspectief

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.

Lezing, Tuesday Talks: Science Insights

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

Simulaties van sterrenstelsels helpen om astronomische waarnemingen beter te begrijpen. De EAGLE simulatie, een groot project waarin Leidse astronomen een hoofdrol hebben, laat de evolutie van het heelal zien, van vlak na de Oerknal tot nu.

De minor Data Science & Artificial Intelligence geeft een toegankelijke introductie tot de theorie en praktijk van datawetenschap en kunstmatige intelligentie. Studenten leren de basis van data-analyse en patroonherkenning in grote gegevensverzamelingen, hoe computers leren en ook het interpreteren…

Computers worden zo slim, dat ze op termijn wellicht de rol van de rechter overnemen. Tot die tijd buigen Leidse experts zich over de vraag, aan welke normen verantwoordelijke data science moet voldoen.

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.

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.

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.

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…

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.

Met het SAPPAO-project willen we de voorspelling van geplande vluchten nauwkeuriger en betrouwbaarder maken. De volledige naam van het project is ‘A Systems Approach towards Data Mining and Prediction in Airlines Operations’.

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.

Aan de Universiteit Leiden zien we open science als dé manier om een grotere wetenschappelijke en maatschappelijke impact te maken. Bovendien groeit de open science-beweging in Nederland snel.

Citizen science is een overkoepelende term, die allerlei manieren omvat om burgers en maatschappelijke actoren zoals NGO's te betrekken bij het gezamenlijk ontwikkelen van nieuwe kennis: denk bijvoorbeeld aan crowdsourcing van onderzoeksvragen en aan collectieve gegevensverzameling en -analyse.

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…

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

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…

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…

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

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.

In films kunnen de meest wonderlijke acties plaatsvinden. Maar zijn die acties in de 'echte' wereld ook mogelijk? En in hoeverre houden filmmakers ons voor de gek? Tijdens het Leiden International Film Festival komen film en wetenschap samen.

Hoewel data science op veel plaatsen nu in schwung is, werden er in Leiden al lang geleden data science technieken ontwikkeld. Op dit moment combineren Leidse statistici dankzij hun brede expertise de verworvenheden van de statistiek met de nieuwste methoden van statistical en machine learning.