712 search results for “theoretical computer science” in the Staff website
-
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…
-
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…
-
Scientific Conduct for PhDs (Social and Behavioural Sciences)
Research
-
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.
- Summer School Science Communication
-
Leiden Research Support Network: invisible forces in science
They are not always in the spotlight but are essential to our scientific research: Leiden research support professionals. And their network is growing and professionalising all the time. Over a hundred such professionals shared knowledge and gained inspiration at the Leiden Research Support Network…
-
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
- Graduation Ceremony MSc Computer Science
- Graduation Ceremony MSc Computer Science