Topwetenschappers van drie Nederlandse universiteiten werken samen aan software en systemen voor quantumcomputers. Onderzoekers van het Leiden Institute of Advanced Computer Science (LIACS) ontwikkelen nieuwe algoritmen om die supercomputers te laten werken. De komende jaren moet het eerste quantuminternet…

Voorspellingen doen over emotionele problemen of de effecten van lichtvervuiling: algoritmen van Marjolein Fokkema kunnen het steeds beter. Ze maakt haar algoritmen steeds flexibeler, zodat ze niet alleen kenmerken op één moment kunnen voorspellen, maar ook hoe bijvoorbeeld vaardigheden toe- of afne…

Wat een tijd, geld en ongemak zou dat schelen: behandeling op maat voor elke patiënt. Zulke precisiegeneeskunde komt steeds dichterbij, mede dankzij de algoritmen van Elise Dusseldorp. Die halen een schat aan informatie uit onderzoeksdata.

Je wilt een hotel boeken en bekijkt op internet het aanbod en de kamerprijzen. Die prijzen hangen af van de verwachte vraag en komen tot stand met computeralgoritmen, maar worden soms handmatig aangepast door hotelketens. Welke gevolgen heeft dit menselijke ingrijpen en hoe kun je dat meten? Promotie…

De hele dag gebruiken we apparaten, diensten en apps waar algoritmen in zitten die discriminerend kunnen zijn. Van Facebook tot de zelfrijdende auto en van de Belastingdienst tot een draaideur.

Het komt regelmatig voor dat algoritmen het geslacht van gebruikers van websites en apps verkeerd classificeren. Na eerder onderzoek en persoonlijke ervaringen, besloten docenten van de rechtenfaculteit en informatica om hun krachten te bundelen. Samen onderzoeken ze hoe deze algoritmen verbeterd kunnen…

Met nieuwe algoritmen en supercomputers is het gelukt om een haarscherpe radiokaart van het heelal te maken. Nu kunnen sterrenkundigen radiostralen van sterrenstelsels veel preciezer bekijken. Dat publiceerden de Leidse promovendus Frits Sweijen en collega's in Nature Astronomy.

Algoritmen ontwerpen is een van de onderzoeksonderwerpen waar Leiden sterk in is. Want supercomputers moeten niet alleen gebouwd worden, maar ook geprogrammeerd. Wetenschappers van internationale faam doen hier onderzoek naar.

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…

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…

Computers zijn in staat om ongelooflijk nauwkeurige voorspellingen te doen op basis van machine learning. Met andere woorden, deze computers kunnen zonder tussenkomst leren als ze eenmaal door mensen zijn voorgeprogrammeerd. Bij LIACS verkennen en verleggen we de grenzen van wat een revolutionaire nieuwe…

Promotor: Peter Stevenhagen

Leiden is sterk in het ontwikkelen van algoritmen. Verder zijn quantumnetwerken en quantumsensing belangrijke onderzoeksthema's. Als ook onderwijs en communicatie over quantum.

Nieuwe algoritmen voor het opsporen van indexen en structurele varianten uit next- en third-generation sequencing data.

De Universiteit Leiden en VU Amsterdam ontwikkelen samen een onderzoeksproject voor een digitaal platform waarop je zelf verhaallijnen kunt maken en delen met gebruik van beeld. Zo’n interactief middel maakt een saaie geschiedenisles veel aantrekkelijker en persoonlijker. Bovendien stimuleert het om…

Informaticadeskundige Frank Takes onderzocht efficiëntere manieren om in sociale netwerken van A naar F te komen. Daarvoor presenteert hij algoritmen die anderhalf jaar rekenen kunnen terugbrengen tot slechts een paar seconden. Promotie op woensdag 19 november.

De moderne samenleving is verbonden via elektronische en mobiele apparaten, die we het Internet of Things (IoT) noemen.

In deze specialisatie krijg je verdiepende vakken in de fundamentele informatica en wiskunde waarin zowel de theorie als de praktische toepassing aan bod komen. In het derde jaar is er vrije keuzeruimte.

Computers zijn in staat om ongelooflijk nauwkeurige voorspellingen te doen op basis van machine learning. Met andere woorden, deze computers kunnen zonder tussenkomst leren als ze eenmaal door mensen zijn voorgeprogrammeerd. Bij LIACS verkennen en verleggen we de grenzen van wat een revolutionaire nieuwe…

Een geautomatiseerde overheid is efficiënt en kan veel meer taken aan dan een ambtelijke apparaat. Maar het heeft ook schaduwkant en die worden vooral in de laatste Toeslagenaffaire steeds duidelijker.

Computers worden steeds krachtiger en krijgen steeds ingewikkelder taken. Het Leiden Institute of Advanced Computer Science (LIACS) doet baanbrekend wetenschappelijk onderzoek en past nieuwe vindingen toe in actuele maatschappelijke vraagstukken.

Bedrijven met wie Quantum Leiden samenwerkt: Shell, TotalEnergies, Google, Volkswagen en Qu&Co. En met de volgende overheden en publieke organisaties: CERN, ESA, SURF, Gemeente Leiden, Provincie Zuid-Holland, Quantum Delta NL en InnovationQuarter.

Heeft ons zonnestelsel nog een negende planeet? Twee Amerikaanse astronomen betogen van wel, zo laten ze zien met hun computersimulaties. Leids hoogleraar Simon Portegies Zwart praat in NRC over de betrouwbaarheid van zulke simulaties. ‘Alle fouten of aannames die in je algoritme besloten zitten, krijg…

Op 12 september 2019 verdedigde Michiel Rhoen zijn proefschrift 'Big Data, Big Risks, Big Power Shifts: Evaluating the General Data Protection Regulation as an instrument of risk control and power redistribution in the context of big data'. Het promotieonderzoek is begeleid door promotoren prof.dr.mr.…

De Koninklijke Nederlandse Vereniging van Informatieprofessionals (KNVI) reikt Scriptieprijzen voor Informatica en Informatiekunde uit

Het kwantificeren van lichamelijke activiteit (met behulp van versnellingsmeters) en het combineren van de frequentie en intensiteit van activiteiten met gezondheidsgegevens (hersen-MRI, traditionele klinische parameters en metabolomics) is van het grootste belang om mobiliteit en gezondheid bij oudere…

Het onderzoek in de cluster Algebra, meetkunde en getaltheorie slaat bruggen tussen abstracte theorie en de wereld van algoritmen en toepassingen.

Moderne computergestuurde simulatietools die diverse industrieën gebruiken, produceren gigabytes aan data. Maar momenteel kost het dagen of zelfs weken om die gegevens te verwerken. Om zo goed mogelijk gebruik te maken van al deze data, ontwikkelt het DAMIOSO-project algoritmen en middelen om deze enorme…

Quantum, machine learning, AI en qubits. Quantum Leiden bundelt onderzoek en onderwijs van Universiteit Leiden naar supercomputers of quantumcomputers

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…

Onderzoekers van de Universiteit Leiden en de TU Delft gaan geautomatiseerd defecten in rioleringen herkennen en classificeren. Ze werken met meerdere lichtgevoelige camera’s op basis van nieuwe geautomatiseerde multi-sensor inspectie met stereo vision en laser range scanning. Computermodellen gaan…

Welke hersencel doet wát als bijvoorbeeld de ziekte van Parkinson ontstaat? Het duurt niet lang meer voordat die puzzel stukje voor stukje gelegd kan worden. Computationeel bioloog Ahmed Mahfouz combineert Leidse bio-kennis met Delftse algoritmen en komt steeds dichterbij de sleutel.

Dankzij data science kunnen we grote hoeveelheden van gerelateerde informatie in kaart brengen en doorzoeken. Dit levert allerlei nieuwe inzichten op, bijvoorbeeld in wereldwijde complexe financiële structuren of sociaal-maatschappelijke problemen als eenzaamheid.

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

Bij de bacheloropleiding Informatica aan de Universiteit Leiden behandel je zowel abstracte wiskundige vraagstukken als ook praktisch georiënteerde zaken zoals programmeren en het ontwerpen van computerprogramma’s. Hierbij leer je informatiestructuren analyseren en herkennen, en leer je ingewikkelde…

In september 2018 begon het ministerie van Binnenlandse Zaken samen met het Centraal Bureau voor de Statistiek met het Rijks Data Science Programma. Het project, waarbij 35 net afgestudeerden een training volgen bij het CBS, is onderdeel van het plan van aanpak ICT-personeel Rijksoverheid. Francien…

Onderzoekers van het Leiden Institute of Advanced Computer Science (LIACS) ontwikkelen een systeem dat automatisch waarschuwingen uitstuurt wanneer onderdelen van motoren de eerste verschijnselen van vermoeidheid beginnen te vertonen. Het project duurt 4 jaar.

Dit project ontwikkelt methoden om de anonimiteit van individuen in sociale netwerkgegevens te waarborgen.

Je volgt een basispakket van exacte vakken in de informatica, psychologievakken en speciale KI-vakken.

Wiskunde staat aan de basis van veel innovaties in techniek, dienstverlening en wetenschap, zoals in het analyseren en coderen van data, kunstmatige intelligentie, het modelleren van het weer of klimaatsverandering, of het begrijpen van moleculaire processen. De onderzoekers van het Mathematisch Instituut…

Media & interactie is waar kunstmatige intelligentie en machine learning samenkomen met filosofie, cognitieve wetenschap en de creatieve kunsten. Voorbeelden van onderzoeksvragen in dit domein zijn: ‘Kan een algoritme naar menselijke maatstaven creatief zijn?', 'Kunnen creatieve processen, zoals het…

Bacteriën op heterdaad betrapt, diep bevroren terwijl ze op het punt stonden de ziekte van Lyme te veroorzaken. Razend enthousiast is Ariane Briegel over wat ze allemaal kan zien dankzij de drie-eenheid van een vriestechniek, een microscoop met camera en kunstmatige intelligentie. 'Het is fascinerend,…

Multi-criteria optimalisatie is een effectieve techniek voor het vinden van optimale oplossingen die een afweging bieden tussen verschillende, tegenstrijdige criteria. Het heeft zijn toepassing gevonden in de wereld om ons heen omdat bij het oplossen van praktische, re¨ele wereld problemen men gewoonlijk…

In de specialisatie Informatica bouw je voort op de fundamentele informatica en wiskunde. Je verdiept je verder in de wiskunde achter de informatica, leert hard- en software begrijpen en zelf te ontwikkelen.

Alle studenten volgen een basispakket aan informaticavakken waarin zowel de fundamentele theorie als praktische toepassingen aan bod komen.

Promovenda Gineke Wiggers heeft de 2e prijs gewonnen voor haar paper over User-Focused Ranking in Legal Information Retrieval in het PhD consortium van de 31e International Conference on Legal Knowledge and Information Systems (JURIX).

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…

Hoe kun je ervoor zorgen dat meer experimentele medicijnen de eindstreep halen? Nu haalt slechts één op de twintig kankermedicijnen die op mensen worden getest, uiteindelijk de markt. Een enorm verlies voor patiënt en maatschappij. Oncode-PACT wil met een subsidie van het Nationaal Groeifonds de beste…