163 zoekresultaten voor “computer systems” in de Studentenwebsite
-
Nicolas Navarre
Wiskunde en Natuurwetenschappen
-
De correctheid van wiskundige stellingen verifiëren met een computer
Hoe correct zijn wiskundige stellingen? En klopt alle theorie daaromheen wel? Om daar achter te komen zette wiskundestudent Dominique Lawson een wiskundige stelling om in computertaal. ‘Een computer kan hierdoor de stelling begrijpen en nagaan of het bewijs erachter wel helemaal correct is.’ Dat onderzoek…
-
Peng Sun
Wiskunde en Natuurwetenschappen
-
Suiting Ding
Wiskunde en Natuurwetenschappen
-
Oliver Taherzadeh
Wiskunde en Natuurwetenschappen
-
Hai Lin
Wiskunde en Natuurwetenschappen
-
Bartolomeus Häussling Löwgren
Wiskunde en Natuurwetenschappen
-
Ben Wielstra
Wiskunde en Natuurwetenschappen
-
Jennifer Anderson
Wiskunde en Natuurwetenschappen
-
Fatemeh Mehrafrooz Mayvan
Wiskunde en Natuurwetenschappen
-
Md Faysal Tareq
Wiskunde en Natuurwetenschappen
-
Samar Khalil
Wiskunde en Natuurwetenschappen
-
Eduard Fosch Villaronga
Faculteit Rechtsgeleerdheid
-
Marcello Bonsangue
Wiskunde en Natuurwetenschappen
-
‘Wetenschap gaat beter als je divers bent’
Aske Plaat is wetenschappelijk directeur van het LIACS, het Leiden Institute of Advanced Computer Systems. Hij is ook ambassadeur van het LGBT+ Network van de Universiteit Leiden. Bevlogen vertelt hij waarom.
-
Berent Baris
Wiskunde en Natuurwetenschappen
-
Willem Meilink
Wiskunde en Natuurwetenschappen
-
José Mogollón
Wiskunde en Natuurwetenschappen
- Afstudeerceremonie MSc Computer Science
- Afstudeerceremonie MSc Computer Science
-
Levon Amatuni
Wiskunde en Natuurwetenschappen
-
Michael Lew
Wiskunde en Natuurwetenschappen
-
Alan Kai Hassen
Wiskunde en Natuurwetenschappen
-
Justin Lian
Wiskunde en Natuurwetenschappen
-
Nuno De Mesquita César de Sá
Wiskunde en Natuurwetenschappen
-
Lingli Hou
Wiskunde en Natuurwetenschappen
-
Julian Steinke
Faculteit der Sociale Wetenschappen
-
Eva Sievers
Wiskunde en Natuurwetenschappen
-
Manon de Visser
Wiskunde en Natuurwetenschappen
-
Abolfazl Sajadi
Wiskunde en Natuurwetenschappen
-
Hazem Eltohamy
Wiskunde en Natuurwetenschappen
-
Maria Yazdanbakhsh
Faculteit Geneeskunde
-
Sander ten Caat
Faculteit Governance and Global Affairs
-
Studium Generale presenteert: 'Wim Klein - de laatste menselijke computer'
Kunst en cultuur, Theaterconcert
-
Eefje Cuppen
Faculteit Governance and Global Affairs
-
Alex Brandsen
Faculteit Archeologie
-
Nieuwe professor Vedran Dunjko zoekt problemen uit de echte wereld die een quantumcomputer kan oplossen
Vedran Dunjko benoemd tot hoogleraar quantumcomputing aan de Universiteit Leiden, Nederland.
-
Examencommissie
Iedere opleiding heeft een examencommissie die toeziet op naleving van het Onderwijs- en Examenreglement. De examencommissie is onder andere verantwoordelijk voor de organisatie van de tentamens en examens. Ook bepaalt de examencommissie of studenten de kennis en vaardigheden beheersen die nodig zijn…
-
Post-kwantumcryptografie moet onze bankrekening, DigiD en staatsgeheimen veilig houden
Jouw bankzaken, DigiD, en gevoelige medische gegevens: wat als onze volledige digitale infrastructuur niet meer te vertrouwen is? Met die vraag in zijn achterhoofd is promovendus Jelle Don dagelijks bezig met zijn onderzoek. En dat is hard nodig, want zonder nieuwe digitale veiligheidsmaatregelen is…
-
Rob van Nieuwpoort nieuwe hoogleraar Efficient Computing en eScience
Rob van Nieuwpoort is per 1 oktober de nieuwe professor Efficient Computing en eScience bij het Leiden Institute of Advanced Computer Science (LIACS). Van Nieuwpoort brengt een schat aan expertise met zich mee: hij is expert op het gebied van eScience, high performace computing en geavanceerde algor…
-
Tomer Fishman
Wiskunde en Natuurwetenschappen
-
CLAIRE wint prestigieuze Artificial Intelligence-prijs
AI-netwerken CLAIRE en ELLIS hebben gezamenlijk de prestigieuze Duitse Artificial Intelligence-prijs gewonnen. Dagblad WELT reikte de prijs ter waarde van 100.000 euro vorige week uit in Berlijn. De AI-prijs is een innovatieprijs voor baanbrekende prestaties op het gebied van onderzoek en ontwikkeling…
-
Rekenen met rubber
Zonder elektronica die computertaken uitvoert zou ons dagelijks leven er heel anders uitzien. Apparaten zoals liften, verkoopautomaten, draaihekken, wasmachines en zelfs verkeerslichten maken gebruik van een eenvoudige vorm van elektronisch computergebruik om van de ene toestand naar de andere over…
-
Time management
De Universiteit Leiden heeft een eigen Studietipswebsite ontwikkeld, waarop je oplossingen kunt vinden voor veel voorkomende studieproblemen, net als adviezen en handige tips ter ondersteuning van je studie.
-
Twee ERC Consolidator Grants voor Leidse wetenschappers
Onderzoek naar quantumcomputers en islamitische goede doelen: twee Leidse wetenschappers krijgen een Consolidator Grant van de European Research Council.
-
Google gift voor quantumonderzoek
Assistent professor Vedran Dunjko en zijn team krijgen een gift van 100.000 euro van Google om hen te steunen in hun quantumonderzoek. Het onderzoek spitst zich toe op de vraag of quantumcomputers nieuwe manieren kunnen bieden om de mysteries van de hoge-energiefysica te begrijpen. Google zet zich in…
-
Gapend gat gedicht: Leidse promovendus ontdekt doorbraak in softwareveiligheid
Per toeval ontdekte computerwetenschapper Hans-Dieter Hiep (Leiden Institute of Advanced Computer Science en Centrum Wiskunde & Informatica) een ‘gapend gat’ in een veelgebruikte manier om de veiligheid van software te evalueren. Hiep dichtte het gat en zorgde daarmee voor aardig wat opschudding in…
-
Waarom zoekmachines en chatbots steeds meer op elkaar gaan lijken
Zoekmachines proberen steeds beter onze vragen te beantwoorden. En chatbots gaan steeds vaker het internet op om op zoek te gaan naar relevante bronnen. ‘Zoekmachines en chatbots zullen steeds meer vervlochten raken’, zegt hoogleraar Suzan Verberne.
-
Snellius
Niels Bohrweg 1, Leiden
-
Reinout Heijungs
Wiskunde en Natuurwetenschappen