1,997 zoekresultaten voor “theoretical computer science” in de Publieke website
-
Feest bij International Women and Girls in Science Day in Leiden
Op zaterdag 9 februari 2019 vierden we de International Day of Women and Girls in Science 2019 in Leiden! Bekijk het fotoverslag van deze feestelijke dag, met bijdragen van Robbert Dijkgraaf en Ewine van Dishoeck, en tal van boeiende workshops en spannende experimenten.
-
Eerste Leiden Science Family Day: glittergel, virtual reality en ijskoude wolken
De eerste Leiden Science Family Day op zaterdag 6 oktober was een groot succes. Tijdens het Weekend van de Wetenschap brachten ruim 700 bezoekers waarvan 350 kinderen een bezoek aan de faculteit der Wiskunde en Natuurwetenschappen. Met een programma bomvol experimenten, lezingen, rondleidingen en demonstraties…
-
Leiden City of Science 2022: de voorbereidingen zijn in volle gang!
In 2022 is het zover: dan is Leiden een jaar lang dé Europese hoofdstad van de wetenschap. Vanuit onze faculteit is een bevlogen team al druk bezig met de planning. Vandaag spreken we met Marin Visscher, als projectcoördinator zoek hij de verbinding tussen universiteit en maatschappij.
-
Bouw 703 studentenwoningen in Leiden Bio Science Park start medio 2021
Er komen 703 zelfstandige studentenwoningen in het entreegebied van het Leiden Bio Science Park, nabij het Universitair Sportcentrum. De bouw start medio dit jaar en bij aanvang van het collegejaar 2023-2024 is de accommodatie naar verwachting klaar voor bewoning.
-
Kunstmatige intelligentie leert sneller met quantumtechnologie
Een internationale samenwerking, waaronder Leidse natuurkundige en computerwetenschapper Vedran Dunjko, heeft aangetoond dat quantumtechnologie het leerproces van kunstmatige intelligentie (AI) kan versnellen. Om dit te bewijzen gebruikten de wetenschappers een quantumprocessor met afzonderlijke fotonen.…
-
Leiden University College: Liberal arts and sciences opleiding weer bekroond door Keuzegids
De liberal arts and sciences opleiding van de Universiteit Leiden is voor de elfde keer op rij bekroond met het predicaat 'Topopleiding' door de Keuzegids universiteiten 2024.
- Foundations of Computing (MSc)
-
Diversiteit & inclusiviteit
Informatie over de diversity committee en LIAXX, het vrouwennetwerk van het Leiden Institute of Advanced Computer Science (LIACS) is beschikbaar in het Engels.
-
Informatie voor studenten
Informatie voor studenten van het Leiden Institute of Advanced Computer Science (LIACS), inclusief de Studiegids en roosters, is beschikbaar in het Engels.
- Advanced Computing and Systems (MSc)
- Artificial Intelligence (MSc)
-
Verified Reowolf
Meer informatie over dit onderzoeksproject op de Engelstalige pagina.
-
Imaging complex model catalysts in action
From surface science towards industrial practice using high-pressure scanning tunneling microscopy.
-
2 Assistant_Associate Professors in Artificial Intelligence
Wiskunde en Natuurwetenschappen, Leiden Institute of Advanced Computer Science (LIACS)
-
Kleine quantumsystemen helpt kunstmatige intelligentie
Zelflerende systemen - draaiend op ‘klassieke’ computers - hebben de afgelopen vijf jaar enorme vooruitgang geboekt. Automatische vertaling van tekst of spraak zijn twee bekende voorbeelden. Leidse onderzoekers verwachten dat zelfs quantumsystemen met maar een paar dozijn qubits deze en andere soorten…
- Postdoc Automated Reasoning in Quantum Computing (0.8-1.0 FTE)
-
The holographic glass bead game: from superconductivity to time machines
Promotores: Prof.dr. J. Zaanen, Prof.dr. K.E. Schalm
-
Software development by abstract behavioural specification
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.
-
Transborder Governance of Forests, Rivers and Seas
Natural resources often stretch across borders that separate modern nation states. This can create conflict and limit opportunities for regulated consumption of their goods and services, but also provide opportunities for joint multinational efforts that exceed single country capabilities.
-
Nucleosome stacking in chromatin fibers probed with single-molecule force- and torque-spectroscopy
In human cells, a meter-long DNA is condensed inside a micrometer-sized cell nucleus. Simultaneously, the genetic code must remain accessible for its replication and transcription to functional proteins.
-
The galaxy–dark matter connection: a KiDS study
In this thesis, the research focuses on the properties of dark matter and dark matter haloes and how they connect with the galaxies we can observe in the Universe.
-
Identifying the origins of galaxy formation
This thesis investigates how galaxies form and what diversifies the evolutionary histories of galaxies.
-
Playing dice with the Universe
The ultimate goal of cosmologists is to find a cosmological model able to explain the current observational data.
-
Unfolding the principles of genome folding and dynamics in bacteria
Remus Dame
-
Designing 'context-specific' regional innovation policy: a study on the role of regional government in six European regions
Whilst government’s ability to design ‘context-specific’ regional innovation policy is generally assumed to depend on the region’s decision-making power, the aim of this study is to investigate how regional government matters. In order to open up the black box of policy design, the study develops a…
-
Cryptography from quantum uncertainty in the presence of quantum side information
Promotor: Ronald Cramer, Co-promotor: Serge Fehr
-
Van woord tot akkoord. Een analyse van de partijkeuzes in CPB-doorrekeningen van verkiezingsprogramma's en regeerakkoorden, 1986-2017
This PhD-thesis analyses the relationship between the parties’ choices in the CPB Netherlands Bureau for Economic Policy Analysis’ assessments of the election manifestos and coalition agreements over the period 1986-2017, and tries to explain this relationship.
-
Statistical physics and information theory for systems with local constraints
Systems with local constraints is a new finding in recent researches on complex systems. The heterogeneous spatial interactions and the temporal dependencies among those numerous units make it difficult to describe by traditional statistical physics.
-
Lava worlds: characterising atmospheres of impossible nature
Over the last three decades, the discovery of exoplanets has revealed the boundless variety of worlds beyond our own Solar System. Majority of planetary systems contain short-period planets that are larger than Earth but smaller than Neptune.
-
Werken met datasets die groter zijn dan die van de hele universiteit
Radiotelescoop LOFAR brengt het heelal in kaart. Dat levert niet alleen bijzondere beelden op, maar vooral ook immense hoeveelheden data. Huub Röttgering, directeur van de Leidse Sterrewacht, vertelt over de uitdagingen van het werken met die enorme datasets.
-
Nu beschikbaar: Open Science - A Practical Guide for Early-Career Researchers
Dit is een praktische handleiding gericht op promovendi, Research Master studenten en early-career researchers uit alle vakgebieden. De instructies in de gids zijn bedoeld als inspiratie voor jonge onderzoekers en als hulp om Open Science te beoefenen door hun onderzoek zo open als mogelijk te delen…
-
LUC Den Haag opnieuw bij top Liberal Arts & Sciences-programma's in Nederland
LUC Den Haag is vereerd om aan te kondigen dat voor de vijfde keer haar opleiding Liberal Arts & Sciences: Global Challenges het kwaliteitszegel ‘Topopleiding' van de Keuzegids Universiteiten 2018 heeft gekregen!
-
Beach workshop: ‘So you have a degree in Science. Now what?’
Ruim zeventig promovendi uit Leiden en Delft kwamen op 13 juli bijeen op het strand van Katwijk voor een workshop van de Casimir Research School: ‘So you have a degree in Science. Now what?’
-
Psychologen op Lowlands Science: is een psychedelische ervaring op te wekken met virtual reality?
Wonderlijke planten, duizelingwekkende patronen en pulserende klanken: Leidse wetenschappers onderzoeken op het festival Lowlands wat de effecten zijn van een virtuele psychedelische trip op lichaam en geest. Waarom is dat mogelijk interessant voor therapieën?
-
Jorinde van de Vis wint For Women in Science Rising Talent-prijs
Jorinde van de Vis wint de For Women in Science Rising Talent-prijs voor vrouwen in de wetenschap, voor haar proefschrift in de kosmologie en deeltjesfysica.
-
Kleine dingen groot zien
Alles wat we niet direct kunnen zien, toch in beeld brengen. Dat is de fascinatie van Fons Verbeek, de nieuwe hoogleraar Computational Bio-Imaging. Inbreng uit de chemie, optica en vooral computationele wetenschappen aan het maken en verwerken van deze beelden geeft meer inzicht in de wereld van het…
-
Meer leren over quantum? Nieuwe cursus over alles wat klein is gelanceerd in Madurodam
De nationale quantumcursus maakt de wereld van de allerkleinste deeltjes toegankelijker voor iedereen. Quantumexpert Julia Cramer is het gezicht van de cursus en was bij de lancering. En wat is daarvoor een betere plek dan Madurodam - waar alles klein is?
-
kind tot kunstenaar: voor ieder wat wils tijdens Days of Arts and Science
Van 11 tot 17 september staat Leiden in het teken van kunst en wetenschap. Wat kan de combinatie van deze twee velden voor ons betekenen? En hoe kan de samenwerking ertussen worden versterkt? Verschillende publieksevents en een spiksplinternieuw symposium voor specialisten moeten antwoord geven op deze…
-
Archeologie dankzij computergebaseerd onderzoek
Een mix van dataonderzoek, kunstmatige intelligentie en archeologie zorgde op 31 januari voor levendige discussies. Op die dag vond het seminar ‘AI & Data Science @ Archaeology’ plaats, waar het Data Science Onderzoeksprogramma (DSO), SAILS en de Faculteit Archeologie hun krachten bundelen.
-
Automatisch nepnieuws genereren als onderzoeksproject
Door met Social Bots zelf automatisch nepnieuws te verspreiden via tv-spotjes en Twitter, onderzoekt Pascalhoogleraar Heike Trautmann de kenmerken van nepnieuws. Ze roept Leidse onderzoekers op om samen te werken.
-
Knowledge Extraction from Archives of Natural History Collections
Natural history collections provide invaluable sources for researchers with different disciplinary backgrounds, aspiring to study the geographical distribution of flora and fauna across the globe as well as other evolutionary processes.
-
Filosoferen met quantummechanica
Kwamtummechanica leert ons dat een deeltje op twee plekken tegelijk kan zijn. Wat vertelt ons dat over het leven, de werkelijkheid en het omniversum? Natuurkundige Tjerk Oosterkamp is te gast bij dr Kelder en Co en vertelt wat we wel en niet juist niet kunnen verklaren met deze theorie.
-
Assyriologe Uzume Zoë Wijnsma een van de nieuwe Faces of Science
Hoe ziet je leven er uit als je wetenschapper wordt? Daar gaat de Leidse assyriologe Uzume Zoë Wijnsma over bloggen als één van de nieuwe Faces of Science. Dit is een website van de KNAW waarbij jonge promovendi met persoonlijke verhalen tonen hoe het is om te werken in de wetenschap.
-
Postdoctoral Researcher in Machine Learning, for the Project MAPHSA
Wiskunde en Natuurwetenschappen, Leiden Institute of Advanced Computer Science (LIACS)
-
PhD Candidate for Causal Inference
Wiskunde en Natuurwetenschappen, Leiden Institute of Advanced Computer Science (LIACS)
-
De onderzoekers
Quantum Leiden doet onderzoek naar verschillende thema's. Dit onderzoek wordt uitgevoerd door onderzoekers vanuit verschillende instituten binnen de faculteit Wiskunde en Natuurwetenschappen. Op de onderstaande pagina's kunt u een overzicht van deze onderzoekers vinden.
-
G. Rozenberg Research Award
Informatie over de de G. Rozenberg Research Award van het Leiden Institute of Advanced Computer Science (LIACS) is beschikbaar in het Engels.
-
Wiskunde en Natuurwetenschappen
Binnen de Faculteit der Wiskunde en Natuurwetenschappen zijn 8 instituten:
-
Quantitative Biology
Quantitative biology means exploiting mathematical modelling and computer simulation as a tool to gain additional insights into the meaning of experimental data. Discover in this minor when and how to apply these tools, in a multidisciplinary setting.
-
Bioinformatics (MSc)
In deze opleiding leer je hoe je methoden en concepten uit de informatica en wiskunde kunt gebruiken om (moleculair) biologische en biochemische vraagstukken op te lossen.