This thesis advances automata learning, a key area in computer science, with applications in software verification, biological analysis, and autonomous technologies. It explores three main themes: first, it introduces a passive learning algorithm for generating compact probabilistic models from positive…

The Leiden Institute of Advance Computer Science (LIACS) in collaboration with the Institute of Security and Global Affairs (ISGA) have developed the minor Cyber Security to provide students with a mixture of technical and governance knowledge to set them on a path towards understanding cyberspace and…

Lecture

Leading computer scientists from a variety of fields share their expertise and insights. Dive into the minds of these researchers and learn about real-world applications, the future of AI and related technologies and cutting-edge research. From chatbots to cybersecurity, from quantum to children's stories,…

The Faculty of Science is located at the Leiden Bio Science Park. It was founded more than two centuries ago and currently, more than 8000 people are working and studying at the eight institutes.

Researchers at LIACS are working to devise the computers of tomorrow that will be the backbone of the Cloud and Edge computing paradigms as well as the Internet of Things. In this respect, we are involved in research and development of high performance computing systems, embedded & real-time computing…

Big Science, commonly defined as conventional science made big in three dimensions, namely organizations, machines, and politics, brings a plethora of different stakeholders together, often for a long period of time. This includes policymakers, scientists, (scientific) managers as well as local “host”…

Health Data Science Leiden University

Anticipation on the promises and challenges that AI-assisted assessments present.

Promotor: Prof.dr. B.R. Katzy, Prof.dr. H.J. van den Herik, Prof.dr. G.H. Baltes (University of Applied Sciences Konstanz)

Optimization tasks in practice have multifaceted challenges as they are often black box, subject to multiple equality and inequality constraints and expensive to evaluate.

Time-series forecasting through modelling sequences of temporally dependent observations has many industrial and scientific applications. While machine learning models have been widely used to create time-series forecasting models, creating efficient and performant time-series forecasting models is…

This thesis investigates the application of deep learning techniques in image analysis across various domains, focusing on four main themes: feature extraction, classification, segmentation, and integration, demonstrating the transformative potential of these technologies.

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.

Promotor: Ed F. Deprettere, Co-promotor: Todor P. Stefanov

Promotor: Prof.dr. F.S. de Boer, Co-promotor: D. Clarke

Promotor: Prof.dr. J.N. Kok, Co-Promotor: W.A. Kosters

Industrial manufacturing processes, such as the production of steel or the stamping of car body parts, are complex semi-batch processes with many process steps, machine parameters and quality indicators.

Promotor: J.N. Kok, P.E. Slagboom Co-promotor: J.F.J. Laros

The Plant BioDynamics Lab (PBDL) is a laboratory dedicated to experiments designed to develop and validate quantitative mathematical models of dynamical processes in biology. The principal objective of developing these models is to make quantitative predictions about these processes.

With the advent of multicore processors and data centers, computer hardware has become increasingly parallel, allowing one to run multiple pieces of software at the same time on different machines. Coordination of these pieces is best expressed in a coordination language as an explicit interaction protocol…

Lecture

This project develops a scientific method to extract clinically relevant new information from patient forum websites that discuss patient experiences concerning e.g. medication, nutrition, co-morbidities, genetic factors etc.

For optimization problems, it is often unclear how to choose the most appropriate optimization algorithm. As such, rigorous benchmarking practices are critical to ensure we can gain as much insight into the strengths and weaknesses of these types of algorithms.

Promotors: Prof.dr. T.H.W. Bäck, Prof.dr. B. Sendhoff (Technische Universität Darmstadt)

Promotores: J.N. Kok, H.J. Hoogeboom

Design of a Linguistic System for Interstellar Communication Based on Logic

Promotor: J.N. Kok, Co-promotor: F.J. Verbeek

Predictive maintenance (PdM) is a maintenance policy that uses the past, current, and prognosticated health condition of an asset to predict when timely maintenance should occur.

Business Process Model and Notation (BPMN) has become the standard for business processes diagrams.

The marine shipping industry is one of the strongest emitters of nitrogen oxides (NOx), a pollutant detrimental to ecology and human health. Over the last 20 years, the pollution produced by power plants, the industry sector, and cars has been decreasing.

Combinatorial games are games for two competing players, moving in a turn-by-turn fashion, in which there is no chance nor hidden information⁠. Chess, checkers and the simpler tic tac toe are well-known examples of this class of games, as well as game of go⁠.

Tomography is a powerful technique to non-destructively determine the interior structure of an object.Usually, a series of projection images (e.g.\ X-ray images) is acquired from a range of different positions.

This thesis introduces a relational interaction model and a practical tool for describing, visualising and generating interactive dialogues.

Continuous optimization is never easy: the exact solution is always a luxury demand and the theory of it is not always analytical and elegant.

In this project, we use social network analysis to analyze the behavior of users in online forums and associated marketplaces over time.

Systems are called real-time systems, if the correctness of the system does not only depend on the correctness of the system output but also on whether the output is delivered on time.

Promotores: J.J.M.M. Rutten, F.S. de Boer, Co-promotor: M.M. Bonsangue

This dissertation explores how Large Language Models (LLMs) can effectively and responsibly contribute to complex decision-making processes. By combining AI and human intelligence, Hybrid Intelligence (HI) emerges, allowing the strengths of both humans and machines to be utilized.

SDN (Software-Defined Networking) represents a revolutionary approach to network architecture that enables the dynamic and flexible management of network resources through software-based control. This dissertation introduces the idea of SDN and its southbound protocol OpenFlow, then presents the formal…

Promotores: T.H.W. Bäck, Y. Tan, Co-promotor: M.T.M. Emmerich

Constraint multi-objective optimization with a limited budget for function evaluations is challenging. This thesis tackles this problem by proposing new optimization algorithms. These algorithms are applied on holistic ship design problems. This helps naval architects balance objectives like cost, efficiency,…

Image segmentation is a fundamental task in computer vision, with applications ranging from medical diagnostics to archaeological research.

Prematurely born neonates require, amongst others, pharmaceutical therapy. Dosing guidelines for these therapies are often based on data from term born neonates or older infants, while these are not necessarily similar to prematurely born neonates.

In this thesis we will explore the use of fuzzy systems theory for applications in bioinformatics.

Promotor: J.N. Kok, Co-promotor: C.M. Soares, A.J. Knobbe

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…

Promotor: J. N. Kok, Co-promotor: A. J. Knobbe

The increasing competition in the automotive industry requires the tailored, swift development of technologically sophisticated vehicles. Therefore, the computationally expensive state-of-the-art simulation technologies are combined with optimization algorithms. An example of a real-world optimization…

Leiden University research institutes based in Leiden and The Hague.