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…

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.

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…

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.

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…

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…

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.

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.

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

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…

Promotor: Peter Stevenhagen

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…

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.

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.

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…

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

Het Centrum voor juridisch ondernemerschap en innovatie richt zich op het stimuleren van ondernemerschap en innovatie in de juridische bedrijfstak. Het slaat een brug tussen studie en praktijk.

Het ontwerpproces van nieuwe gebouwen is uitermate complex vanwege steeds strengere eisen. Computermodellen creëren de ontwerpen. Informatici van de TU Eindhoven gebruiken geavanceerde algoritmen van hun Leidse collega’s om deze modellen te optimaliseren.

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

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…

De afdeling Bedrijfswetenschappen houdt zich bezig met vraagstukken op het gebied van ondernemerschap, organisatiepsychologie en insolventie. Op de afdeling werken docenten en onderzoekers uit verschillende disciplines, zoals marketing, economie, finance, strategie en de gedragswetenschappen.

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.

"Voor Rechten moet je in Leiden zijn"

Leiden Institute of Advanced Computer Science (LIACS)

Dankzij deep learning schaakt computerprogramma AlphaZero beter dan de beste mens. De computer wint omdat hij door patroonherkenning verder vooruit kan rekenen dan een mens. In NRC bespreekt Aske Plaat deze bijzondere ontwikkeling. Hij verwacht dat de grote techbedrijven er alles aan zullen doen om…

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

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

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…

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…

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

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…

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

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

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…

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…

De wereldwijde uitbraak van het coronavirus en de maatregelen die de overheid neemt om deze in te dammen, hebben een grote impact op onze maatschappij. Onze onderzoekers reflecteren vanuit hun eigen vakgebied op deze impact - of werken zelf aan oplossingen.

Bij de bacheloropleiding Wiskunde aan de Universiteit Leiden komen fundamentele en toegepaste (technische) wiskunde aan bod. Studenten krijgen zowel een sterke theoretische basis als inzichten en vaardigheden in de toepassingen in de wiskunde aangeleerd.

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

NWO Exacte Wetenschappen kent een TOP subsidie toe aan dr. Siegfried Nijssen van het Leiden Institute of Advanced Computer Science (LIACS) voor zijn onderzoek op het gebied van Probabilistic Feactures for Intelligent Declarative Data Science. Het project gaat onderzoeken hoe declaratieve programmeertechnieken…

Door twee definitieve netwerkverbindingen te maken en een opdracht in te voeren, startten Martijn Ridderbos (Vice-Voorzitter College van Bestuur), Geert de Snoo (Decaan Faculteit der Wiskunde en Natuurwetenschappen) en Bart Hoogervorst (Afdelingshoofd Operations ICT Shared Service Center) GRACE op,…

Roboticakenner Roy de Kleijn weet uit onderzoek van algoritmen hoe moeilijk het voor een robot eigenlijk is om tot een zo goed mogelijke beslissing te komen. Hij bepleit dat de verantwoordelijkheidskwestie bij autonome systemen duidelijk wordt. Lees de invalshoek van psycholoog de Kleijn in de 'Wetenschapsestafette…

Wiskunde en Informatica studenten Josse van Dobben de Bruyn, Mathijs van de Nes en Bas Nieuwenhuizen zullen de Universiteit Leiden als team vertegenwoordigen op de wereldkampioenschappen Programmeren 2013 in Sint Petersburg.

Hoe kunnen grensoverschrijdende internetaankopen nauwkeurig worden ingeschat? Onderzoekers Quinten Meertens, Cees Diks, Jaap van den Herik en Frank Takes van het Leids Institute of Advanced Computer Science (LIACS), het Centraal Bureau voor de Statistiek (CBS) en de Universiteit van Amsterdam (UvA)…

De KNAW onderzoeksschool IPA heeft de voormalige LIACS promovendus Jurriaan Rot de prijs toegekend voor Beste IPA Proefschrift 2015. Rots proefschrift behandelt coinductie, een relatief nieuwe wiskunde techniek die het mogelijk maakt om circulaire, ofwel oneindige, datastructuren te beschrijven en daarover…