Met Natural Computing worden natuurlijke algoritmes en verschijnselen onderzocht om bijvoorbeeld computersystemen te innoveren.

This thesis covers various applications of topology in condensed matter physics and quantum information.

In this thesis we will explore the use of fuzzy systems theory for applications in bioinformatics.

Het onderzoeksgebied Natural Computing is uitgegroeid tot een onderzoeksgebied met een spannende interactie tussen informatica en natuurwetenschappen en een belangrijke katalysator voor deze twee-weg interactie. Dit driedelige handboek van meer dan 2000 pagina's is een belangrijk verslag van deze belangrijke…

Mirjam van Reisen is per per 1 januari 2016 benoemd als hoogleraar ‘Computing for Society’. De leerstoel 'Computing for Society' is ingesteld om Data Science toe te passen in wereldwijde innovatie van de gezondheidszorg.

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…

Promotores: J.N. Kok, H.J. Hoogeboom

Lespakketten over programmeren zijn vaak alleen beschikbaar in het Engels. Des te meer reden voor het Programming Education Research Lab (PERL) van het Leiden Institute of Advanced Computer Science (LIACS), Technische Universiteit Eindhoven en Universiteit Twente om het programmeerlespakket ‘Beauty…

Het Leiden Institute of Advanced Computer Science (LIACS) is een trots lid van het NExt ApplicationS of Quantum Computing (NEASQC) consortium, dat onlangs een ERC H2020 subsidie heeft ontvangen om de state-of-the-art in industriële quantum computing te stimuleren. LIACS draagt bij aan onderzoek en ontwikkeling…

Onderzoekers van LIACS werken aan het bedenken van de computers van morgen die de ruggengraat zullen vormen van de Cloud en Edge computing paradigma’s en ‘the Internet of Things’. In dit verband zijn we betrokken bij onderzoek en ontwikkeling van high performance computing systemen, embedded & real-time…

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

Onderzoekers van LIACS werken aan het bedenken van de computers van morgen die de ruggengraat zullen vormen van de Cloud en Edge computing paradigma’s en ‘the Internet of Things’. In dit verband zijn we betrokken bij onderzoek en ontwikkeling van high performance computing systemen, embedded & real-time…

Onderzoeksgroepen in het Quantum Matter & Optics onderzoeksprogramma onderzoeken elektronische eigenschappen van interacties van materie en lichtmaterie, met de nadruk op quantuminformatie.

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…

Promotor: S.J. Edixhoven, Co-promotor: K.J. Batenburg

Promotor: Prof.dr. P. Stevenhagen, Co-promotor: B. de Smit

Lezing

Promotor: Peter Stevenhagen

Promotie

Grzegorz Rozenberg, Leiden Institute for Advanced Computer Science, neemt op 27 november 2015 bij de University of Boekarest in Roemenië zijn zesde eredoctoraat in ontvangst.

Promotie

Onze AI-wetenschappers werken nauw samen met onder andere de TU Delft en de Erasmus Universiteit.

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…

The solar system was formed approximately 4.56 billion years ago. Despite the numerous theories that have been developed over the years, the formation and evolution of the solar system still remain unclear.

The development process of any software has become extremely important not just in the IT industry, but in almost every business or domain of research.

Het Sport Data Center doet onderzoek binnen vijf thema's.

Op 15 juni 2015 heeft Prof. Dr. Grzegorz Rozenberg zijn vijfde eredoctoraat ontvangen.

Sommige mensen van hoge leeftijd blijken DNA te hebben waarvan de afstelling nauwelijks verouderd is. Dat schrijven onderzoekers onder leiding van Bas Heijmans van het LUMC in het wetenschappelijke tijdschrift Genome Biology.

Promotie

Promotor: K.J. Batenburg

Promotor: M.T.M. Koper, Co-Promotor: L.B.F. Juurlink

In this thesis integral points on affine del Pezzo surfaces are studied.

Promotor: R. Cramer

The unit residue group, to which the present thesis is devoted, is defined using the norm-residue symbol, which Hilbert introduced into algebraic number theory in 1897.

Promotor: W.Th.F. den Hollander Co-Promotor: F.M. Spieksma

Promotor: S.J. Edixhoven, Co-promotor: R.S. de Jong

Promotor: Ed F. Deprettere, Co-promotor: Todor P. Stefanov

Wiskunde en Natuurwetenschappen, Leiden Institute of Advanced Computer Science (LIACS)

Op 8 november heeft de Association for Computing Machinery (ACM) Wessel Kraaij benoemd tot een van de 2017 Distinguished Members. ACM Distinguished Members hebben een significante bijdrage geleverd op het gebied van computing, computer science of information technology. Wereldwijd ontvingen dit jaar…

Ter ondersteuning van het onderzoek en onderwijs beschikt het Leiden Institute of Advanced Computer Science (LIACS) over een apart Onderzoek & Onderwijs Laboratorium. Binnen deze omgeving kunnen wij apparatuur bieden die verder gaat dan normale kantoorautomatisering en productie.

Een neuraal netwerk imiteert de werking van onze hersenen. Evolutionaire algoritmes gebruiken het principe van natuurlijke selectie om een complex probleem op te lossen. Deze vormen van natural computing worden ingezet om de diagnose van de ziekte van Parkinson accurater te maken, maar ook om bijvoorbeeld…

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…

Volgens het standaardrecept voor een quantumcomputer met Majorana’s als bouwstenen moet je ze omzetten in qubits. Maar een veelbelovende toepassing van quantum computing—quantumchemie—vereist dat deze qubits opnieuw transformeren, in zogenoemde fermionen. Natuurkundigen uit Leiden en Delft stellen voor…