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…

Biologisch geïnspireerde algoritmen gebruiken op ‘edge devices’, zoals camera's en mobiele telefoons, dat is waar het promotieonderzoek van Svetlana Minakova om draaide. Zij deed onderzoek naar Convolutional Neural Networks(CNN). Het is een ingewikkelde taak om deze algoritmen in verschillende situaties…

Waar moet je tien bomen planten, zodat zo veel mogelijk stedelingen er plezier van hebben? Als een slim algoritme weet hoe mensen zich door de stad bewegen én waar nu al bomen staan, kan het de optimale oplossing berekenen. Datawetenschapper Mitra Baratchi maakt het mogelijk. Haar studenten bestuderen…

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.

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.

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…

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

Promotor: Peter Stevenhagen

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.

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.

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…

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.

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.

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

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

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

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

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…

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…

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.

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

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.

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…

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…

Op 12 ovember 2019 verdedigde Larissa Koupriuchina haar proefschrift 'Judgmental Adjustments in Revenue Management'. Het promotieonderzoek is begeleid door promotor prof.dr. J.I. Van der Rest.

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

Op 29 januari 2019 verdedigde Robbert van Eijk proefschrift 'Web Privacy Measurement in Real-Time Bidding Systems, A Graph- Based Approach to RTB system classification'. Het promotieonderzoek is begeleid door promotor prof. dr. H.J. van den Herik.

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…

Het project XAIPre (spreek uit als

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

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.

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…

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

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…

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