Hoe correct zijn wiskundige stellingen? En klopt alle theorie daaromheen wel? Om daar achter te komen zette wiskundestudent Dominique Lawson een wiskundige stelling om in computertaal. ‘Een computer kan hierdoor de stelling begrijpen en nagaan of het bewijs erachter wel helemaal correct is.’ Dat onderzoek…

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.

In 2018, the number of mobile phone users will reach about 4.9 billion. Assuming an average of 5 photos taken per day using the built-in cameras would result in about 9 trillion photos annually.

Goed nieuws voor de heterogene katalyse en de waterstofeconomie: reacties van (waterstof)moleculen met oppervlakken kunnen nu met de computer accuraat worden voorspeld. Een internationaal team van onderzoekers, onder leiding van Leids theoretisch chemicus Geert-Jan Kroes, publiceert hierover in het…

Tientallen jaren hebben taalwetenschappers zich het hoofd gebroken over de vraag hoe de zinsbouw van talen precies verschilt. Promovendus Martin Kroon ontwikkelde een computersysteem dat een antwoord dichterbij brengt. Promotie op 10 november.

Computerwetenschapper Tim Coopmans gebruikt pen, papier en gewone computers om de best mogelijke quantumcomputer te simuleren. Hij vertelt over zijn onderzoek en hoe dit helpt om een bruikbare quantumcomputer sneller werkelijkheid te maken. ‘Ik hoop dat ik zal meemaken dat quantumcomputers echt iets…

De quantumcomputer is onderweg, maar is de maatschappij er klaar voor? quantumcomputers hebben de reputatie moeilijk te begrijpen te zijn vanwege hun complexiteit. Dit beperkt het vermogen van de maatschappij om zich toekomstige toepassingen voor te stellen, waardoor er een kloof ontstaat tussen de…

In this thesis it is posed that the central object of preference discovery is a co-creative process in which the Other can be represented by a machine. It explores efficient methods to enhance introverted intuition using extraverted intuition's communication lines.

Houtanatomie is de meest gebruikte methode voor de taxonomische identificatie van boomstammen. Het aantal experts in dit gebied neemt af, en de opleiding hiervoor is erg lang van duur. Met de hulp van technologie hopen computerwetenschappers van het Leiden Institute of Advanced Computer Science (LIACS)…

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…

Tessa de Wekker van het Leidsch Dagblad interviewde Julia Cramer over quantum computers, quantuminformatie en de maatschappelijke impact die van de toepassingen.

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?

Computer Science op 51e plaats in QS World Universities Ranking 2011

Het Algemeen Dagblad besteedt aandacht aan een college van hoogleraar Informatica en Recht Jaap van den Herik voor de Universiteit van Nederland, waarin hij betoogt dat computers in de toekomst prima zouden kunnen rechtspreken.

Waarom moet je tegen je computer praten? Als kinderen leren lezen, doen ze dat door hun stem te gebruiken, en de woorden hardop voor te lezen. Bij de Universiteit van Nederland legt Felienne Hermans uit hoe het hardop uitspreken van computercode kinderen kan helpen sneller te leren programmeren. Wat…

Na de afgelopen drie jaar lid van de redactieraad Computer Law & Security Review, Elsevier (CLSR) te zijn geweest, is Gianclaudio Malgieri nu aangesteld als geassocieerd redacteur van datzelfde vakblad.

Samineh Bagheri is de eerste PhD-kandidaat die haar proefschrift volledig op afstand verdedigt.

De Leidse neurowetenschapper Femke Nijboer bespreekt in het magazine 'Computer Idee' of het mogelijk is om concentratie te trainen met behulp van een neurogadget.

Kan een computer in de rechtszaal net zo goed uitspraak doen als een rechter? Hoogleraar Recht en informatica Jaap van den Herik vindt van wel en hij vertelt erover in een podcast van de Universiteit van Vlaanderen.

Promotores: A.P. IJzerman, H.W.T. van Vlijmen

In de toekomst kunnen computers hun beslissingen baseren op intuïtie. Dat stelde Jaap van den Herik, directeur van het Leiden Centre of Data Science, afgelopen vrijdag tijdens zijn afscheidsrede als hoogleraar aan Tilburg University. In een interview met BNR Nieuwsradio onderbouwt hij zijn stelling.

We werken hard aan het creëren van een bloeiende open knowledge community. Dit vraagt om innovatie en concrete actie. Daarom gaat de Universiteit Leiden zich inzetten om:

Leiden Law Cast is een podcast voor iedereen die meer wil weten over actuele juridische onderwerpen, gemaakt door de Faculteit der Rechtsgeleerdheid van de Universiteit Leiden.

The aim of the research presented in this thesis was to develop new methods forchallenging systems in liquid-state NMR using paramagnetic effects generated by thetwo-armed probe CLaNP-5.

This thesis is about augmented reality (AR). AR is commonly considered a technology that integrates virtual images into a user’s view of the real world.

Visualizing the internal structure is a crucial step in acquiring knowledge about the origin, state, and composition of cultural heritage artifacts. Among the most powerful techniques for exposing the interior of cultural heritage objects is computed tomography (CT), a technique that computationally…

This thesis investigates the application of deep learning techniques in image analysis across various domains, focusing on four main themes: feature extraction, classification, segmentation, and integration, demonstrating the transformative potential of these technologies.

In de gezondheidszorg zijn gender- en sekseoverwegingen cruciaal omdat ze de gezondheids- en ziekteverschillen van individuen beïnvloeden. Echter, bij de meeste algoritmen die in de zorgcontext worden ingezet, wordt onvoldoende rekening gehouden met deze aspecten. In hun nieuwste paper benadrukken…

Natuurkundige Jan Aarts gaat samenwerken met chipfabrikant Intel bij zijn fundamentele onderzoek naar zuinige cryogene computers.

Hoe is het om mee te doen aan het Leiden Leadership Programme? Alumni delen hun ervaringen: 'Je leert dingen over leiderschap en kan die ook meteen in de praktijk brengen.'

Aan het begin van je studie een prijs winnen? Dat kan! Lieke Vertegaal is twintig en eerstejaarsstudent Informatica bij de Universiteit Leiden. Op 29 November 2021 reikte de Koninklijke Hollandsche Maatschappij der Wetenschappen (KHMW) een Jong Talent aanmoedigingsprijs aan haar uit.

Drie Leidse onderzoekers hebben een toekenning gekregen binnen het Nationaal Groeifonds-programma Quantumtechnologie dat NWO in samenwerking met Quantum Delta NL heeft georganiseerd. Lees verder over deze drie futuristische quantumtechnologieprojecten.

Als eersten ter wereld hebben studenten van de Leidse master Computer Science les gehad in het programmeren van een quantumcomputer. ‘Hiermee zijn eindelijk de complexe levensechte problemen van de maatschappij op te lossen.’

Onderzoeker Max van Duijn en promovendus Bram van Dijk passen taalmodellen toe op verhalen verteld door kinderen om zo hun inlevingsvermogen te onderzoeken. Voor dit onderzoek ontvingen zij de Best Paper Award tijdens de Computational Natural Language Learning conferentie in Singapore.

Software and AI in Business (S&B) verbindt de domeinen wetenschap, bedrijfsleven en beleid. Wetenschappelijk onderzoek waar we ons in Leiden op richten, bijvoorbeeld op het gebied van kunstmatige intelligentie, belooft onze samenlevingen ten goede te komen. Het vertalen van wetenschap naar positieve…

Individuen, teams en faculteiten kunnen allemaal helpen om Academia in Motion te zetten.

Natuurkundige Julia Cramer krijgt 50 duizend euro financiering voor 'Let's talk about quantum', een onderzoek naar communicatie over quantumcomputers. Een project met scholieren van onderwijs-expert Henk Buisman valt onder dezelfde NWA ELSA-toekenning.

Natural history collections provide invaluable sources for researchers with different disciplinary backgrounds, aspiring to study the geographical distribution of flora and fauna across the globe as well as other evolutionary processes.

We explored how to morphologically classify well-resolved jetted radio-loud active galactic nuclei (RLAGN) in the LOw Frequency Array (LOFAR) Two-metre Sky Survey (LoTSS) using machine learning.

Vanaf vandaag is Microsoft Kinect te koop. Met de camera voor de Xbox 360 is het mogelijk om games te spelen zonder controller. Volgens Fons Verbeek van het Leidse Institute of Advanced Computer Science zou Kinect daarom wel eens het begin kunnen zijn van een hele nieuwe generatie computer interfaces.…

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.

Een groep onderzoekers van de Faculteit Geesteswetenschappen en Archeologie, ondersteund door de communicatie-afdelingen van deze faculteiten en stichting VALUE, hebben een van deze eerste NWA-wetenschapscommunicatie en outreach beurzen gekregen voor hun plan om live-streams te produceren via online…

Kunnen we quantumcomputers gebruiken op een manier die ook maatschappelijk relevant is? Met behulp van een NWA-subsidie van 2 miljoen euro gaat de Universiteit Leiden samen met partners zoals Surf, Google en Volkswagen aan de slag om aan te tonen dat quantumcomputers ook buiten het lab van waarde zi…