Divide & Quantum (D&Q) biedt verschillende oplossingen om de kracht van quantumcomputers op korte termijn te benutten, en stelt volledige pipelines voor, van theoretisch onderzoek, via implementatie tot real-world case studies in verschillende disciplines, tot wetenschapscommunicatie naar een bredere…

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…

Onderzoekers van het Leiden/Amsterdam Centre for Drug Research en het Netherlands Metabolomics Centre hebben een van ’s werelds kleinste scheidingstechnieken weten te ontwikkelen door nanofluidische en elektrokinetische effecten te combineren. Vorige week verscheen hun onderzoek op de voorkant van het…