715 search results for “theoretical computer science” in the Staff website
-
Tuomas Aivelo
Science
-
Diego Barbosa Arize Santos
Faculteit der Sociale Wetenschappen
-
Arend-Jan Quist
Science
-
Francesco Buda
Science
-
Marcello Bonsangue
Science
-
Eiko Fried
Faculteit der Sociale Wetenschappen
-
Jaap Corthals
Faculty Governance and Global Affairs
-
Kathleen Brown
Faculteit der Sociale Wetenschappen
-
Ludo Waltman
Faculteit der Sociale Wetenschappen
-
Tim Mickler
Faculteit der Sociale Wetenschappen
-
Richard Gill
Science
-
Laurens van Gestel
Faculteit der Sociale Wetenschappen
-
Max van Haastrecht
Science
-
Martin Kolnes
Faculteit der Sociale Wetenschappen
-
Jacq Meulman
Science
-
Eric Jorink
Faculty of Humanities
-
Rob Tijdeman
Science
-
Ludo Juurlink
Leiden Learning and Innovation Centre
-
Konstantinos Georgopoulos
Science
-
Theo Anagnostopoulos
Science
-
Ton van Raan
Faculteit der Sociale Wetenschappen
-
Barend Mons
Faculteit Geneeskunde
-
Peter Castenmiller
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…
-
Scientific Conduct for PhDs (Social and Behavioural Sciences)
Research
-
Felienne Hermans explains why you should talk to your computer
Why should you talk to your computer? When children start learning how to read, they do so by using their voice and speaking the words out loud. In this lecture for the University of the Netherlands, Felienne Hermans (Leiden University) explains how speaking a computer code out loud can help children…
-
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.
-
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.
-
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
- Summer School Science Communication
-
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
-
Regieorgaan Open Science officially launched as Open Science NL
Fifteen knowledge institutions and the Ministry of Education, Culture and Science have signed the covenant for Open Science NL. Leiden University has also joined the covenant, via the Universities of the Netherlands. This marks the start of the Dutch Research Council’s and brings the transition to open…