4,134 search results for “theoretical computer science” in the Public website
-
Theory
Many important topics in computer science, such as the correctness of software, the efficiency of algorithms and the modeling of complicated systems, depend on sound theoretical underpinnings. In the Theory group, we study these fundamental building blocks and develop verification methods to prove system…
-
High-field neuroimaging of computational processes that drive cognitive control.
How do humans control their thoughts and actions, and what can high-field brain scanning reveal about the underlying processes?
-
Computational, biochemical, and NMR-driven structural studies on histone variant H2A.B
Nature uses a special class of histone proteins, histone variants, to modulate the properties of chromatin at defined genomic locations.
-
Translation Beauty and Joy of Computing may convince girls to choose computer science
Programming courses are often only available in English. All the more reason for the Programming Education Research Lab (PERL) of the Leiden Institute of Advanced Computer Science (LIACS), Eindhoven University of Technology and University of Twente to translate the 'Beauty and Joy of Computing' programming…
-
Summer School Science Communication
Would you like to learn more about communicating your research with audiences other than the scientific community? The Science Communication and Society department from Leiden University is inviting young researchers (PhD, postdoc, or other early career) to join our Summer School about science communication…
-
Summer School Science Communication
Would you like to learn more about communicating your research with audiences other than the scientific community? The Science Communication and Society department from Leiden University is inviting young researchers (PhD, postdoc, or other early career) to join our Summer School about science communication…
-
Emancipation in Postmodernity: Political Thought in Japanese Science Fiction Animation
Mari Nakamura defended her thesis on 14 March 2017
-
Biomedical Sciences Research
The Biomedical Sciences research specialisation aims to provide you with a theoretical background and academic competences in multidisciplinary research in Biomedical Sciences. The entire programme is taught in English.
-
Alina Karakanta
Faculty of Humanities
a.karakanta@hum.leidenuniv.nl | +31 71 527 2978
-
Felix Frohnert
Science
f.frohnert@liacs.leidenuniv.nl | +31 71 527 2727
-
Joost Batenburg
Science
k.j.batenburg@liacs.leidenuniv.nl | +31 71 527 6985
-
Computer Science in Leiden offers highest quality education
The Keuzegids Universiteiten 2018 has labelled the master’s programme in Computer Science as a “Topopleiding”, because it fulfils the highest standards. The Leiden programme ranks highest on the list of Computer Science programmes in the Netherlands.
-
Master Computer Science in Leiden nr.1 according to Elsevier
Master Computer Science in Leiden nr.1 according to Elsevier
-
Digital Transformation: how do children perceive computer science?
Contribute to shaping the content and methods of future computer science education. That is what researchers hope to achieve with the Digital Transformation Research project. The Swiss National Science Foundation awarded 544,000 euros to this four-year project in December. The project will map the ideas…
-
Computer science research in Leiden of major relevance to society
An international committee has assessed computer science research at all Dutch universities in the period 2009-2014. For its computer science research, Leiden was awarded the ‘highest’ mark (1) for relevance to society.
-
Designing the quantum future on a regular computer
Computer scientist Tim Coopmans uses pen, paper and regular computers to simulate the best possible quantum computer. He tells about his research and how this helps make a useful quantum computer a reality a little bit sooner. ‘I hope I will get to see quantum computers contributing something really…
-
Computer Science: half in Beijing and half in Leiden
Leiden University and the Beijing Institute of Technology will be collaborating in the area of computer science teaching and research. One of the first outcomes of this collaboration will be a joint four-year bachelor's programme. Willem te Beest, Vice-President of the Executive Board, and Professor…
-
Christos Athanasiadis
Science
c.athanasiadis@liacs.leidenuniv.nl | 071 5272727
-
Data science
The majority of scientists, from archaeologists through to zoologists, collect enormous volumes of data. Their massive databases contain large amounts of information which is difficult for humans to filter. With a solid grounding in statistics and computer science, we can develop algorithms for analyzing…
-
Principles of Environmental Sciences
Principles of Environmental Sciences provides a comprehensive picture of the principles, concepts and methods that are applicable to problems originating from the interaction between the living and non-living environment and mankind. Both the analysis of such problems and the way solutions to environmental…
-
New practice tool for quantum computer coding: OpenFermion
In a global effort, quantum computers are rapidly being developed. In the meantime, researchers have to learn how to write code for these devices, which are fundamentally different from conventional computers. A collaboration of scientists led by Google, and including physicists from Leiden and Delft,…
-
New memory developed for superconducting computer
If computers work on superconducting current, they won’t consume any energy. Leiden physicists have now gained control over a new type of superconducting memory elements. Publication in Nature Communications.
-
Computational modeling of tumor growth and metastasis and the role of the immune system in tumor destruction
In this project, we aim to obtain a quantitative understanding of the role of the immune system in tumor regression, of the role of tumor cell heterogeneity in cancer growth and of tumor cell migration properties.
-
Shell works with Leiden and VU researchers on quantum computer algorithms for chemistry
Shell cooperates with theoretical physicists and chemists of Leiden University to research how quantum computer algorithms can help simulate complex molecules.
-
Research
The aim of the research programme is to provide insight into the cognitive processes and brain mechanisms that underlie reading, arithmetic and learning in general.
-
Grzegorz Rozenberg appointed Knight in the Order of the Netherlands Lion
Prof.dr. Rozenberg, emeritus professor in Theoretical Computer Science at the Leiden Institute of Advanced Computer Science (LIACS), received a royal decoration from the deputy mayor of Leiden on December 15th 2017. He has been appointed Knight in the Order of the Netherlands Lion.
-
Xaver Funk
Faculteit der Sociale Wetenschappen
s.x.funk@fsw.leidenuniv.nl | +31 71 527 2727
-
Philipp Kropf
Science
p.kropf@cml.leidenuniv.nl | +31 71 527 2727
-
Carlo Beenakker
Science
beenakker@lorentz.leidenuniv.nl | +31 71 527 5532
-
Hanneke Leegwater
Science
h.leegwater@lacdr.leidenuniv.nl | 071 5276274
-
Simon Marshall
Science
s.c.marshall@liacs.leidenuniv.nl | +31 71 527 2727
-
Data Science
The ability to collect and interpret huge quantities of data has become indispensable to society and academia. Leiden University is a knowledge and expertise centre for data science that places the emphasis on interdisciplinary collaboration and innovation.
-
Data Science
The majority of scientists, from archaeologists through to zoologists, collect huge volumes of data. Their massive databases contain large amounts of information which is difficult for humans to filter. With a solid grounding in statistics, we can develop algorithms for analysing and identifying patterns…
-
Simon Portegies Zwart
Science
spz@strw.leidenuniv.nl | +31 71 527 8429
-
Computer science students second-best in national hacking competition
On September 7, the Leiden Institute of Advanced Computer Science participated with a team of six students in the first edition of the Capture the Flag event 'Challenge the Cyber'. They were placed second in this national hacking competition for students.
-
Next quantum computer comes to the Netherlands
Europe's latest quantum computer is set to arrive in the Netherlands. The Dutch IT cooperative, SURF, which supports education and research institutions, has secured funding from the European EuroHPC programme to make this possible. Researchers from Leiden University will play a key role in the project,…
-
Three Leiden Science projects receive computing time on national supercomputers
A night sky of more than 40 petabytes in size, simulating young star clusters and understanding how the body inhibits viruses: three Leiden projects have received computing time on one of the national computer systems.
-
Assessments of Past Science
Is it possible to formulate a new conceptual foundation for attributing an evaluative role to historiography of science, without relinquishing the historiographic sensitivity of recent work in the discipline?
-
Six Computer Science master students excel and go to Oxford
Six master students of the Computer Science programme will present their papers on future cities at the NetMob conference in Oxford. The six papers were part of the international Future Cities Challenge and made it to the top 10 of all entries.
-
Margaret Gold
Faculteit der Sociale Wetenschappen
m.j.gold@cwts.leidenuniv.nl | +31 71 527 2727
-
Get to know Political Science
Choice is at the very heart of politics. War or peace, left or right, liberty or security, sovereignty or integration, consensus or conflict: choices matter. Study power and politics as they impact everyday lives in a topranked, selective programme. By doing a master's in Political Science in Leiden…
-
Get to know Political Science
Choice is at the very heart of politics. War or peace, left or right, liberty or security, sovereignty or integration, consensus or conflict: choices matter. Study power and politics as they impact everyday lives in a topranked, selective programme. By doing a master's in Political Science in Leiden…
-
Bio-Pharmaceutical Sciences (MSc)
The master’s programme of Bio-Pharmaceutical Sciences at Leiden University examines the research area of bio-pharmaceutical sciences and drug research. It offers seven specialisations ranging from BioTherapeutics to Industrial Pharmacy.
-
Jaap van den Herik
Faculteit Rechtsgeleerdheid
-
European Citizen Science (ECS)
The overall objective of ECS is to widen and strengthen the European Citizen Science community through capacity building and awareness raising activities such as the creation of a European Citizen Science Academy and the establishment of a network of 28 ECS Ambassadors.
-
Physics and Science Communication and Society (MSc)
The master’s specialisation Physics and Science Communication and Society at Leiden University bridges the gap between experts and the public by combining high quality research in biology with extensive training in science communication.
-
Computer scientist Frank Takes Teacher of the Year
Students of the Science Faculty of Leiden University have chosen Frank Takes, researcher and teacher at the Leiden Institute of Advanced Computer Science, to be the Teacher of the Year. Impressively enough, Takes also became the runner up Discoverer of the Year.
-
Roy de Kleijn
Faculteit der Sociale Wetenschappen
kleijnrde@fsw.leidenuniv.nl | +31 71 527 3915
-
Science in the Media
How can we bridge the gap between experts and the general public?
- Science (Wis- en Natuurwetenschappen)