Connect theory and practice of teaching through the application of your academic knowledge about computer science to issues of classroom practice.

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

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

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…

PhD defence

PhD defence

PhD defence

Study information

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,…

On this page you can learn more about the history of our Faculty Awards and view the previous winners.

Giulio Barbero and Matthias Müller-Brockhausen did their PhD research at the Leiden University Game Research Lab.

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…

Addressing loneliness faced by students with special needs and aiming to sense the dynamics and perceptions of students during unstructured school time.

We have studied shape with a particular focus on the zebrafish model system. The shape is an essential appearance of the phenotype of a biological specimen and it can be used to read out a current state or response or to study gene expression.

This thesis is about augmented reality (AR). AR is commonly considered a technology that integrates virtual images into a user’s view of the real world.

Over the last decades, aviation safety has improved strongly. As a downside, airline pilots do not have as many opportunities to develop through experience the competencies that they need in critical situations.

Throughout the history of computer science, a major challenge has been how to assert that software is free of bugs and works as intended. Software bugs can lead to serious negative impacts on any software system. Throughout the main body of the thesis, we implemented a series of studies on exploring…

Humans can see the world through the eyes of other humans and imagine what they know, want, and intend. This competence is known as Theory of Mind.

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

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

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

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.

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

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…

Design of a Linguistic System for Interstellar Communication Based on Logic

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

A modern ship design process is subject to a wide variety of constraints such as safety constraints, regulations, and physical constraints.

Members of LUXs teach courses in statistics and data science at Leiden University, Leiden University Medical Center and Leiden University College, for students of many backgrounds. They cooperate in offering wide-ranging master programs in Statistical Science and Data Science, and provide many opportunities…

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

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

Innovation plays an essential role in firms' competitiveness and long-term success. It varies from different types, ranging from run-of-the-mill innovation that brings incremental changes to existing technologies to radical innovation that breaks from existing trajectories.

We present an extensive study of methods for exactly solving stochastic constraint (optimisation) problems (SCPs) in network analysis. These problems are prevalent in science, governance and industry.

The BENEFIT programme is a public-private ecosystem in a national consortium, aiming to support patients with cardiovascular diseases in their own home setting for a long-term healthy lifestyle.

Including modelling as part of software development appears to have various benefits.

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.

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

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.

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.

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

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

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.

Agricultural foods naturally vary in their detailed internal structure. To facilitate early detection of health hazards due to contamination or disease, predict maturity and minimize wastage, it is critical to take into account the internal characteristics of each individual product, as these enable…

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.

Promotor: Prof.dr. S. Haring

This thesis addresses the problem of designing performance and energy efficient embedded streaming systems, that is, systems which process a stream of input data coming from the environment and generate a stream of output data going into the environment.

Promotores: B.R. Katzy, J. de Vries, Co-Promotor: L.P. Groenewegen

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.

Promotores: Prof.dr. J.N. Kok, Prof.dr. C.A. Mandemakers, Co-Promotor: G. Bloothooft

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…