3,647 search results for “theoretical computer science” in the Public website
-
PhD candidate in Political Science Investment agreements and environmental protections
Social and Behavioural Sciences, Political Science
-
From Descriptive to Predictive Pharmacology in Children using Semi-Physiological population modelling
An integrated approach of physiological concepts, advanced statistical approaches and large clinical datasets.
-
Student for a day Data science & Artificial Intelligence
Study information
-
Multi-dimensional feature and data mining
In this thesis we explore machine and deep learning approaches that address keychallenges in high dimensional problem areas and also in improving accuracy in wellknown problems. In high dimensional contexts, we have focused on computational fluid dynamics (CFD) simulations.
-
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…
-
Partnerships between police and science in Belgium : fragile alliances?
After 20 years of police reform, Jasper De Paepe and Marleen Easton look back and discover what we can learn about partnerships between police and science in Belgium.
-
Visual analytics for spatially-resolved omics data at single cell resolution: Methods and Applications
The deeper understanding of an organism's pathology is important for developing treatments. Over centuries of systematic research, clinical researchers have demonstrated that the more information they acquire about the cellular properties and their organisation in the tissue, the better they can understand…
-
Topology and Geometry in Chiral Liquids
We study the interplay of topology and geometry with chirality for several passive and active systems, employing both analytical and numerical methods.
-
Deep learning for visual understanding
With the dramatic growth of the image data on the web, there is an increasing demand of the algorithms capable of understanding the visual information automatically.
-
PhD Candidate in Political Science, focus on EU governance
Social and Behavioural Sciences, Political Science
-
Computer scientists from Leiden and Eindhoven optimise building designs
The design process of new buildings is extremely complex due to strict requirements. Computer models are used to create the designs. Scientists from LIACS developed advanced algorithms that help their colleagues at Eindhoven University of Technology to optimise these models.
-
PhD Candidate in Political Science, focus on EU agencies
Social and Behavioural Sciences, Political Science
-
Applied statistics as a pillar of data science
Data science is now growing fast in many places, but scholars at Leiden University have been developing data science techniques for a long time already. Thanks to their broad-based expertise, Leiden statisticians are currently combining the achievements in statistics with the latest methods of statistical…
-
EU Erasmus+ Curriculum Development in Data Science and Artificial Intelligence
LIACS is a partner in the EU Erasmus+ Curriculum Development for the Asian education system. The knowledge available in the field of Data Science and Artificial Intelligence education will be shared and adapted for the Asian market.
-
Working at the Faculty of Science
Working for a top faculty? Discover the vacancies at the Faculty of Science and apply immediately.
- Music Night - Creative Processes in Art and Science
-
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…
-
Software development by abstract behavioural specification
The development process of any software has become extremely important not just in the IT industry, but in almost every business or domain of research.
- Institute of Geographic Sciences and Natural Resources Research
-
LUC 101: Get to know our Liberal Arts & Sciences Programme!
Study information, LUC 101 | Information Session
-
Interfacing the past
Computer applications and quantitative methods in archaeology CAA95.
-
Locations
Most degree programmes at the Faculty of Social and Behavioural Sciences are based in the Pieter de la Court building on the Wassenaarseweg in Leiden. Besides this location, some degree programmes are based in The Hague, at Campus The Hague’s Wijnhaven building.
-
Green light to build revolutionary new experiment at CERN to search for unknown particles
After many years of preparations, CERN has approved a groundbreaking new experiment: the Search for Hidden Particles (SHiP). Physicist Alexey Boyarsky was involved from the start. ‘We know there is physics that’s missing and we aim to find it.’
-
Taalportaal (Language Portal)
This proposal aims at the construction of a comprehensive and authoritative scientific grammar for Dutch and Frisian in the form of a virtual language institute: het Taalportaal/the Language Portal.
-
‘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…
-
New IBL-professor in "Computational Biology": Vera van Noort
Vera van Noort has been appointed Professor in the field of Computational Biology within the Faculty of Science at the Institute of Biology from the 1st of February 2017. Van Noort’s expertise is in bioinformatics and her research focuses on the computational analysis of large-scale biological data…
-
Education
The Faculty of Social and Behavioural Sciences provides its ca. 5000 students with a thorough education in the social and behavioural sciences. The student population is very diverse and international in nature.
-
Martijn Lemmen
Faculty of Humanities
-
Benjamin Storme
Faculty of Humanities
-
Janet Grijzenhout
Faculty of Humanities
-
Fei Bai
Faculty of Humanities
-
Social Science Matters: Open Science
On 20 September 2019, the opening drinks for the Open Science Community Leiden will be held at the Faculty of Social and Behavioural Sciences. Open science is the approach to science aimed at making scientific research accessible, reproducible, and freely available to people within and outside the academic…
-
More efficient drug development with the help of computer models
The coronavirus has the world in its grip. Finding a cure has never been more important. Unfortunately, the development of new drugs for treatment of the COVID-19 disease caused by the virus and development of a vaccine are complex, lengthy, and above all costly processes. With the help of computer…
-
ERC Advanced Grant for Carlo Beenakker to ‘braid’ Majorana fermions
Theoretical physicist Carlo Beenakker has been awarded a €2m Advanced Grant by the European Research Council (ERC). He will use this to try to create the ideal building blocks for a quantum computer: ‘braided’ Majorana fermions. An ambitious project that may just lead to a major breakthrough.
-
Horses and Computers - First Year LIACS Student Wins KHMW Prize
Winning an award at the start of your studies? No problem! Lieke Vertegaal is 20 years old and a first-year Computer Science student at Leiden University. On November 29, 2021, the Royal Dutch Academy of Sciences (KHMW) awarded her a Young Talent incentive award.
-
Computer models chart extensive Caribbean inter-island networks
The precolonial inhabitants of the Caribbean islands communicated, travelled, and exchanged objects and ideas along an expansive inter-island network. New methods of computer modeling shed light on these networks. Emma Slayton is set to discuss her work on this topic at her Defense on the 12th of Se…
-
Simulating the prehistoric use of fire through computer models
Archaeologists often use the percentages of heat-affected stone or bone artifacts found at archaeological sites as a way to determine how frequently fire was used by the inhabitants. Andrew Sorensen and Fulco Scherjon have come up with a computer model called 'fiReproxies' to simulate how fires used…
-
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.
-
Sustainable demolition of the Faculty of Science building
The demolition of the high-rise building is ready. The remaining debris are removed and the area is cleared. For the demolition, the University applied the BREEAM evaluation method at the level of ‘Excellent’, which means that the demolition operations were carbon neutral and did not cause any form…
-
Understanding the Surface Structure of Catalysts and 2D Materials at the Atomic Scale
The work in this thesis demonstrates how to obtain an atomic-scale picture of a diverse set of complex surface structures observed using STM, under disparate conditions.
-
intermediate pressure and temperature: revisiting the fruit fly of surface science
Promotor: M.T.M. Koper, Co-promotors: A.I. Yanson, L.B.F. Juurlink
-
Data Science for State-of-the-Art Blood Banking (BloodStart)
There are around 300,000 people in the Netherlands who donate blood on a regular basis. Women can give blood up to three times a year and men up to five times, resulting in approximately one million blood donations each year. Patients that receive this donated blood are already in a vulnerable condition,…
-
Flat but not shallow. Towards flatter representations in deep semantic parsing for precise and feasible inferencing
Simulating human language understanding on the computer is a great challenge. A way to approach it is to represent natural language meanings in logic, and to use logical provers to determine what does and does not follow from a text. What logic is best to use and how natural language meanings are best…
-
Article on Affective Computing by Andreas Häuselmann published in IDPL
Affective Computing (AC and sometimes called ‘Emotional AI’) provides opportunities to automatically process emotional data. However, is EU data protection law fit for purpose when it is applied to such AC approaches?
-
Article on Affective Computing by Andreas Häuselmann published in IDPL
Affective Computing (AC and sometimes called ‘Emotional AI’) provides opportunities to automatically process emotional data. However, is EU data protection law fit for purpose when it is applied to such AC approaches?
-
Granted STW Project: Energy Efficient Computer-Brain Interaction
The STW project Energy Efficient Computer-Brain Interaction (principal investigator for LIACS: dr. T.P. Stefanov) has been granted. Funding for LIACS: 1 PhD student + travel/equipment budget, project duration: 4 years.
-
Using computer simulations to discover where Neanderthals lived
Archaeologist Fulco Scherjon has used computer simulations to identify where and how Neanderthals lived in West Europe. What stood out was that they probably had lots of children and lived in smaller groups than was previously thought. PhD defence on 28 May.
-
Dutkiewicz, Casier & Scholte (eds.), Hegemony and World Order
Does hegemony—legitimated rule by dominant power—have a role in ordering world politics of the twenty-first century? If so, what form does that hegemony take: does it lie with a leading state or with some other force? How does contemporary world hegemony operate: what tools does it use and what outcomes…
-
Computational tools reveal secrets of 17th-century sealed letter
In a world first, an international team of researchers has read an unopened letter from Renaissance Europe – without breaking its seal or damaging it in any way. Nadine Akkerman, Reader in early modern English literature at Leiden University, is co-author of the article that appeared on 2 March in Nature…
-
Galaxy formation and the structure of the Universe
Promotores: Prof.dr. J. Schaye, Prof.dr. S.D.M. White (MPA Garching)