3,791 search results for “theoretical computer science” in the Public website
-
Computer Science (MSc)
The two-year master’s programme in Computer Science at Leiden University offers seven specialisations ranging from AI to Bioinformatics and Data Science. The programme combines excellent theoretical teaching with possibilities for applied work with industrial relevance.
-
New Foundations for Separation Logic
The research presented in this thesis concerns one of the most important questions in software engineering of our time: how can we make sure that software is free from memory safety bugs?
-
Theoretical Physics
In the spirit of 'unity in diversity', our objective is to promote insight into and appreciation for the wonder that the same physical laws and mathematical concepts apply to the whole of nature, from the largest to the smallest energy and length scales. We strive for the application of abstract theoretical…
-
Computer Science
Computational thinking, programming, and algorithms form the basic of many of the things that are shaping our world, the way we work, interact, organize ourselves, and even spend our free time with social networks, streaming media, and games. And this transformation is far from being complete, it is…
-
Computer Science
Are you thinking about studying Computer Science? Learn more and watch the videos. Note: As of September 2025 you can also combine this master programme with the Business Studies specialisation.
-
Computer Science at Leiden University
Leiden Institute of Advanced Computer Science (LIACS)
-
Computer Science
PhD candidates carry out a programme of independent research and additional (limited) course work, culminating in production of a PhD thesis in typically 4 years.
-
Data Science: Computer Science (MSc)
The master's specialisation Data Science: Computer Science at Leiden University provides students thorough knowledge and understanding of statistical and computational aspects of data analysis, including their application in databases, advances in data mining, networks, pattern recognition, and deep…
-
Stereotyping in Computer Science
LIACS is partner in the project 'Stereotyping in Computer Science.' The project is a collaboration between multiple universities and the Dutch national expert organization on girls/women and science/technology (VHTO), which will investigate the stereotypes that children hold about computer scientist…
-
Computer Science (BSc)
We are becoming ever more dependent on automation systems in our daily lives. Computer Science is more than programming; you integrate maths and logic into the development of systems and solutions that can be applied in all fields - from business to healthcare.
-
Computational Network Science Lab
The Leiden Computational Network Science Lab (CNS Lab) researches methods for knowledge discovery from real-world network data.
-
Computer Science & Economics (BSc)
Met de bachelorspecialisatie Informatica & Economie aan de Universiteit Leiden leer je waardevolle inzichten in de economie te combineren met (programmeer)vaardigheden en kennis uit de informatica.
-
Computer Science and Science Communication & Society (MSc)
The master’s specialisation Computer Science and Science Communication and Society at Leiden University bridges the gap between experts and the public by combining high quality research in computer science with extensive training in science communication.
-
Computer Science and Education (MSc)
The master’s specialisation Computer Science and Education at Leiden University prepares students to teach the subject of biology to secondary school students. The programme comprises a one-year Computer Science component, followed by an education component in the second year.
- Teaching Computer Science (MSc)
-
Celebrating female computer scientists: ‘Computer science is for everyone’
Four female computer scientists share a common goal: to showcase the significant contributions of women in computer science and inspire their students. Together, they are organising this year’s Alice & Eve event, a one-day symposium dedicated to celebrating women in computer science. The event, scheduled…
-
Graduation Ceremony Computer Science
Graduation Ceremony
-
Natural Computing
Research in the natural computing cluster covers theoretical foundations, the development of new algorithms, and interdisciplinary applications of natural computing methods.
-
Holger Hoos
Science
h.h.hoos@liacs.leidenuniv.nl | +31 71 527 5777
- Centre for Computational Life Sciences (CCLS)
-
Leiden Institute of Advanced Computer Science
Digital technology is changing academia and society at lightning speed. LIACS is in the midst of this with groundbreaking research into data processing and artificial intelligence (AI). It conducts a unique combination of fundamental and applied research into major issues facing academia and society…
-
Theoretical Physics
Leiden has a strong tradition in theoretical physics, thoroughly linked with experimental disciplines.
-
Natural computing
Research in the natural computing group covers theoretical foundations, the development of new algorithms, and interdisciplinary applications of natural computing methods.
-
Theoretical Linguistics
Theoretical linguistics seeks to understand the underlying principles of the nature of human language.
-
Computational linguistics
Computational linguistics uses computational methods to help answer linguistics questions across a variety of topics.
- Leiden Institute of Advanced Computer Science
-
The quantum computer
The worldwide race to the quantum computer is in full swing. This computer can take on computing tasks that we can only dream of today, such as finding proteins that can be used as medicines in seconds flat. Leiden physicists have discovered how the Majorana particle can be used as a building block…
-
Theoretical Linguistics
Studying the underlying principles of the nature of language.
-
Computed fingertip touch for the instrumental control of musical sound with an excursion on the computed retinal afterimage
Promotor: Prof.dr. S. Haring
-
Theoretical Chemistry
The main goal of the THEOR CHEM group, headed by Prof. Geert-Jan Kroes, is to characterize, and to accurately predict the outcome of chemical reactions at gas-solid and liquid-solid interfaces. Here the solid surface is typically a metal or an ice surface. These goals are important to many areas in…
-
Computer Systems, Imagery & media
The Computer Systems, Imagery & media (CSI) research programme performs research on methods and techniques for the design, implementation and application of advanced computer systems, in particular parallel, distributed and embedded computer systems.
-
Centre for Theoretical Philosophy
The Leiden Centre for Theoretical Philosophy (LCTP) is a platform for analytic philosophy in a broad sense at Leiden University. Its members do research in philosophy of science, philosophy of logic and metaphysics, with a keen interest in the history of topics such as mind, knowledge, truth, and ti…
-
Research in Physics, theoretical (MSc)
The master’s specialisation Research in Theoretical Physics prepares you for a PhD position in theoretical physics. The research entails a broad range of topics including High Energy Physics and Particle Cosmology, Theoretical Physics of Life Processes and Condensed Matter Theory.
-
Computational facilities
Beowulf clusters looking for new frontiers.
-
Methods to simulate fermions on quantum computers with hardware limitations
This thesis is a collection of theoretical works aiming at adjusting quantum algorithms to the hardware of quantum computers.
-
Formal Theoretical and Experimental Linguistics
The research programme Formal Theoretical and Experimental Linguistics brings together LUCL researchers who focus mainly on formal theoretical and experimental linguistics.
-
Secure Multiparty Computation and Secret Sharing
The first book ever on information-theoretically secure multiparty computation
-
Theoretical Approaches to Linguistic Diversity
Describing a new language for the first time is an exciting and challenging intellectual experience.
-
Under Construction. Cognitive and Computational Aspects of Extended Lexical Units
This dissertation investigates Extended Lexical Units (ELUs), elements that are bigger than just one word and which are stored in the Lexicon.
-
Carlo Beenakker Group - Theoretical Nanophysics
Our world is shrinking, or at least our electronic devices are. From PCs to mobile phones: everything is smaller and thinner. The smaller the chip, the better it can conduct electricity and pass on information.
-
Sixth Honorary Doctorate for Grzegorz Rozenberg
On 27 November 2015 Prof. Dr. Grzegorz Rozenberg receives his sixth Honorary Doctorate.
-
Computer programming
We see computer programming as an essential skill. It enables you to be self-sufficient in building tools, processing data, visualizing research output, communicating research results, etc. Moreover, it empowers you to make beautiful things.
-
Fifth Honory Doctorate for Grzegorz Rozenberg
On Monday June 15 Prof. Dr. Grzegorz Rozenberg received his fifth Honorary Doctorate.
-
Computational Biology
Projects within the theme ‘Computational Biology’ aim to employ mathematical or computational dynamical modelling approaches to discover novel concepts that are important for drug development.
-
Computational Linguistics
In this theme you will be supplied with a firm background in the core of current computational linguistics and a solid comprehension of its neighboring fields.
-
Computational electrocatalysis
This dissertation focused on computational methods based on first principles calculations using the Density Functional Theory (DFT) framework. Emphasis was laid on affordable methods that can provide a tradeoff between computational expense and accuracy.
-
Delta-Institute for Theoretical Physics
Zaanen
-
Automata-theoretic protocol programming
Promotor: F. Arbab
-
Optimization of quantum algorithms for near-term quantum computers
This thesis covers several aspects of quantum algorithms for near-term quantum computers and its applications to quantum chemistry and material science.
-
Foundations of Computing (MSc)
The master's specialisation Bioinformatics at Leiden University focuses on research, development and application of computational tools and approaches for expanding the use of biological, medical, behavioral and health data.