Design of a Linguistic System for Interstellar Communication Based on Logic

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…

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.

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…

Seven bachelor students in Computer Science at Leiden University are participating in a research project on big data and event management. Their work should eventually result in a system that can be applied at the finish of the Volvo Ocean Race in The Hague in June next year.

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…

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.

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.

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…

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.

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.

Computer applications and quantitative methods in archaeology CAA95.

Leiden prof. emeritus Grzegorz Rozenberg is honoured with the first life time award in formal languages, a research area of theoretical computer science. During a small ceremony at his house, he received a statue that was specially made for the occasion.

We study the interplay of topology and geometry with chirality for several passive and active systems, employing both analytical and numerical methods.

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…

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…

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.

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.

Research and education at the intersection of law and technology is more important than ever. With its 40 years of experience, the eLaw department, founded in 1985, is ready for the future. Time to reflect on four decades of innovation.

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…

The right student in the right place. That is what LIACS programme director Frank Takes and education coordinator Joyce Glerum are aiming to do with the ‘Wisselstroom’ project. By next year, they hope to have a standardised protocol that will make it easier for computer science students to transfer…

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.

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.

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.

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…

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?

Visualizing the internal structure is a crucial step in acquiring knowledge about the origin, state, and composition of cultural heritage artifacts. Among the most powerful techniques for exposing the interior of cultural heritage objects is computed tomography (CT), a technique that computationally…

In this thesis, topics relating to the optimization of high-throughput pipelines used for imaging are discussed. In particular, different levels of implementation, i.e., conceptual, software, and hardware, are discussed and the thesis outlines how advances on each level need to be made to make gains…

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…

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.

Quantum hardware comes with a different computing paradigm and new ways to tackle applications. Much effort has to be put into understanding how to leverage this technology to give real-world advantages in areas of interest for industries such as combinatorial optimization or machine learning.

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…

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.

On a structural level, the properties featured by a majority of mechanical metamaterials can be ascribed to the finite number of soft internal degrees-of freedom allowing for low-energy deformations.

In 2018, the number of mobile phone users will reach about 4.9 billion. Assuming an average of 5 photos taken per day using the built-in cameras would result in about 9 trillion photos annually.

This thesis addresses questions on effectively using variational quantum circuits for machine learning tasks.

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?

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…

Promotor: R. Cramer

Computer Science on place 51 in QS World Universities Ranking 2011

LIACS scholars Thomas Bäck and Hao Wang will be the new Editors-in-Chief of the Evolutionary Computation Journal from November 1. Published by MIT Press since its foundation in 1993, the journal stands as a keystone in the field, providing a global platform for researchers exploring the workings of…

Designing innovative algorithms, thinking outside the box, and brainstorming over coffee with his colleagues — this is what physicist Stefano Polla enjoys most. His success shines through in his nomination for the C.J. Kok Jury Award 2024 for PhD thesis of the Year.

For the first time, a computer can compete with the very best human players in StarCraft II, a video game played by tens of thousands at a professional level and by millions just for fun. Mike Preuss, university lecturer at the Leiden Institute of Advanced Computer Science (LIACS) responds to the achievement…

Identifying natural plant-associated bacteria that provide targeted inhibition of pathogens through the production of antimicrobial peptides.

Can a computer give just as good a judgment as a judge? Professor emeritus Law and IT believes it can and talks about using computers in the courtroom in a podcast of the Universiteit van Vlaanderen.