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.

Lecture

Mathematical models of software systems enable characterizations, abstractions, simulations, and analysis of complex software during its development.

The two-year master’s programme in Computer Science at Leiden University offers seven specialisations ranging from AI to Bioinformatics and Data Science. The programme combines excellent theoretical teaching with possibilities for applied work with industrial relevance.

Following their application to system biological models, control theory techniques have further potential to aid in the understanding and application of quantitative systems pharmacology models.

Sonja Boas developed new techniques to study vascular growth computationally. The results of her research provide a better understanding into mechanisms behind vascular growth, which is relevant to the development of medical therapies. She defends her thesis 'Computational modeling of angiogenesis'…

The worldwide race to the quantum computer is in full swing. This computer can take on computing tasks that we can only dream of today, such as finding proteins that can be used as medicines in seconds flat. Leiden physicists have discovered how the Majorana particle can be used as a building block…

We are becoming ever more dependent on automation systems in our daily lives. Computer Science is more than programming; you integrate maths and logic into the development of systems and solutions that can be applied in all fields - from business to healthcare.

A high performance computer or supercomputer owes its massive processing capacity to the fact that it chops a single overarching task into a whole series of smaller tasks. It simultaneously tackles each of those smaller problems.

Promotor: S.J. Edixhoven, L.D.J. Taelman

Natural Computing investigates algorithms and phenonema based on nature to create better and new computer science innovations.

Met de bachelorspecialisatie Informatica & Economie aan de Universiteit Leiden leer je waardevolle inzichten in de economie te combineren met (programmeer)vaardigheden en kennis uit de informatica.

The Leiden Computational Network Science Lab (CNS Lab) researches methods for knowledge discovery from real-world network data.

Large-scale computing infrastructure, such as supercomputers, cluster, and clouds, are already pervasive, most members of our society interact with them daily: social networks, government services, media streaming services--all systems heavily interfacing with the members of our society--are powered…

The Repository from the Drug Disease Model Resources (DDMoRe) consortium provides a home to a collection of computational models of disease and drug action that have been used in pharmaceutical and/or academic research. This publically available open-access resource will make it easier for researchers…

This thesis describes the importance of being able to control the selectivity of potential drug candidates.

How is Young Star Renske Donkers doing now? Early this year she was the second person ever to win the Young Star Award for the best bachelor student. After her bachelor Molecular Science & Technology, Renske is now busy with her master Chemical Process Engineering in Delft. ‘This award was a great boost…

The Computer Support group provides dedicated support for the computing infrastructure of Leiden Observatory

Uncertainty and noise are frequently-encountered obstacles in real-world applications of numerical optimization. The practice of optimization that deals with uncertainties and noise is commonly referred to as robust optimization.

This thesis investigates the contribution of quantum computers to machine learning, a field called Quantum Machine Learning. Quantum Machine Learning promises innovative perspectives and methods for solving complex problems in machine learning, leveraging the unique capabilities of quantum computers…

Despite being the object of intense study, embryonic development has been difficult to model due to a number of reasons. First, complex tissues can be comprised of many cell types, of which we probably only know a subset.

The master's specialisation Bioinformatics at Leiden University focuses on research, development and application of computational tools and approaches for expanding the use of biological, medical, behavioral and health data.

Existing work in probabilistic language modeling can be mostly divided into two categories:

The master’s specialisation Computer Science and Education at Leiden University prepares students to teach the subject of biology to secondary school students. The programme comprises a one-year Computer Science component, followed by an education component in the second year.

Description of Biotic ligand models: making an inventory of available models & assessment of the variability of the predicted HC5 using the BLMs in different Dutch water types (2005 - 2007)

The master's specialisation Data Science: Computer Science at Leiden University provides students thorough knowledge and understanding of statistical and computational aspects of data analysis, including their application in databases, advances in data mining, networks, pattern recognition, and deep…

Classical mathematical models treat space and time as a continuum, while it is sometimes more useful to regard it as granular. Hupkes is studying what this means for a number of important patterns that are often found in computer calculations and in nature.

High Performance Computing (HPC) is becoming ever more important as a research tool in many research areas across all research domains. A University facility, providing serious computational capabilities, combined with easy and flexible local access, is a strong advantage for these research areas. It…

In this project, we aim to develop mathematical models to mechanistically and quantitatively predict the dynamics of cellular stress pathway activation and its relation with toxic effects when cells are exposed to various toxicants.

In 2016, Dutch University Medical Centres (UMCs) developed the self-evaluation tool based on the PhD Competence Model. Our partners at Utrecht University are making a digital version of the tool available free of charge for our PhD candidates at Leiden University, including for candidates who are not…

Real-life processes are characterized by dynamics involving time. Examples are walking, sleeping, disease progress in medical treatment, and events in a workflow.

Leiden Institute of Advanced Computer Science (LIACS)

Main challenges in skin vaccination are overcoming the stratum corneum (SC) barrier and targeting the antigen presenting cells (APC) in the epidermis and the dermis.

The aim of this thesis was to develop novel treatment strategies for different types of eye melanoma utilizing zebrafish models. We first establish orthotopic and ectopic xenograft models for uveal and conjunctival melanoma by engraftment of the immortalized cells derived from these tumors into zebrafish…

Promotores: Prof.dr. P.C.W. Hogendoorn & Prof.dr. H.P. Spaink, Co-promotor: Dr. B.E. Snaar-Jagalska

This thesis is a collection of theoretical works aiming at adjusting quantum algorithms to the hardware of quantum computers.

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.

Death in all types of melanomas is generally caused by metastasis. Uveal melanoma (UM) is the most common intraocular melanoma, there are currently no (patient-derived) animal models that faithfully recapitulate metastatic dissemination of UM.

This dissertation studies the Asymptotics of Bayesian nonparametric inference for Gaussian linear models.

Arts and leisure, Arts and leisure

Sewer pipes are an essential infrastructure in modern society and their proper operation is important for public health. To keep sewer pipes operational as much as possible, periodical inspections for defects are performed.

This research team is concerned with the measurement and modelling of behaviour, cognition, and unobserved traits (e.g., latent variables, missing data). Central aims include the distillation of a complex set of features into lower-dimensional representations (e.g., factor analysis, IRT), determining…

LUMC Technology Focus Area (TFA) Data Analytics is een samenwerkingsverband van verschillende onderzoeksgroepen in het LUMC die nieuwe kwantitatieve en computationele methodologie ontwikkelen voor biomedisch en klinisch onderzoek.

In the master’s specialisation Computer Science and Business Studies, you combine high quality research in Computer Science with training in management and entrepreneurship. You will expand your knowledge of computer science and develop business and organisational skills that are essential to become…

Clinical development of drugs for central nervous system (CNS) disorders has been particularly challenging and still suffers from high attrition rates.

The master’s specialisation Computer Science and Science Communication and Society at Leiden University bridges the gap between experts and the public by combining high quality research in computer science with extensive training in science communication.

The first book ever on information-theoretically secure multiparty computation