505 search results for “theoretical computer science” in the Student website
-
Konstantinos Georgopoulos
Science
-
Theo Anagnostopoulos
Science
-
Ton van Raan
Faculteit der Sociale Wetenschappen
-
Peter Castenmiller
Faculteit der Sociale Wetenschappen
-
Barend Mons
Faculteit Geneeskunde
-
Laurens van Gestel
Faculteit der Sociale Wetenschappen
-
Rob van Nieuwpoort new professor of Efficient Computing and eScience
As of 1 October Rob van Nieuwpoort is the new professor of Efficient Computing and eScience at the Leiden Institute of Advanced Computer Science (LIACS). Van Nieuwpoort brings with him a wealth of expertise: he is an expert in eScience, high performace computing and advanced algorithms.
-
Verifying the correctness of mathematical theorems with a computer
How correct are mathematical theorems? And is all the theory around them correct? To find out, mathematics student Dominique Lawson converted a mathematical theorem into computer language. ‘This allows a computer to understand the theorem and check whether the proof behind it is entirely correct.’ The…
-
Martijn Lemmen
Faculty of Humanities
-
Benjamin Storme
Faculty of Humanities
-
Janet Grijzenhout
Faculty of Humanities
-
Fei Bai
Faculty of Humanities
-
‘Listen carefully when students ask a question, to hear the question behind the question’
‘Rudy van Vliet is always willing to go that extra mile to help us,’ is what students say about him. The lecturer in the Computer Science bachelor’s programme not only teaches his regular courses but also offers additional classes to prepare students for programming competitions. His dedication to students…
-
The quantum computer: it doesn't exist yet, but still we understand increasingly better what problems it can solve
How do we know what a quantum computer is good for when it hasn't been built yet? That's what PhD candidate Casper Gyurik investigated by combining two terms you often hear: quantum computing and machine learning.
-
Bert Botma
Faculty of Humanities
-
Jenneke van der Wal
Faculty of Humanities
-
Katja Lubina
Faculty of Humanities
-
Longming Shichuan
Faculty of Humanities
-
Maria del Carmen Parafita Couto
Faculty of Humanities
-
Jiang Wu
Faculty of Humanities
-
Elisabeth Kerr
Faculty of Humanities
-
A computational tool that will transform bacterial genome analysis
Whether a microbe is beneficial or harmful to a plant can now be predicted with high accuracy thanks to bacLIFE. This bioinformatic tool with an intuitive interface makes it much easier to unlock the secrets of bacterial genomes. A group of Leiden biologists presented it in Nature Communications.
-
Hanshu Yu
Science
-
Alberto Ceria-
Science
-
Jurriaan Witteman
Faculty of Humanities
-
Sanne Kellij
Faculteit der Sociale Wetenschappen
-
Willem Otterspeer
Faculty of Humanities
-
Alies Jansen
Faculty of Humanities
-
Oscar Rueda
Science
-
Show us how you spend your summer and win Leiden Science goodies
Social
- Graduation Ceremony MSc Computer Science
- Graduation Ceremony MSc Computer Science
-
Michael Meffert
Faculteit der Sociale Wetenschappen
-
Hai Lin
Science
-
Tom O'Brien
Science
-
Milco Wansleeben
Faculteit Archeologie
-
Alan Kai Hassen
Science
-
Franz Wurm
Faculteit der Sociale Wetenschappen
-
André Mesquita Fery Antunes
Science
-
Hongchang Shan
Science
-
Nils Thonemann
Science
-
Lettie Dorst
Faculty of Humanities
-
Sebastian Fajardo Bernal
Science
-
Michael Lew
Science
-
Simone Dobbelaar
Faculteit der Sociale Wetenschappen
-
Chengyi Liu
Science
-
Josh Robison
Faculteit der Sociale Wetenschappen
-
Patrick Degryse
Faculteit Archeologie
-
Clara Bik
Faculteit der Sociale Wetenschappen
-
Linda van Leijenhorst
Faculteit der Sociale Wetenschappen