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

Lecture

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.

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.

In this work we describe three methods to improve the performance of Quantum Field Theory calculations.

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…

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.

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.

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

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

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.

Matthijs van Leeuwen of the Leiden Institute of Advanced Computer Science develops methods to make computer models interactive. With interactive models, experts can combine information from raw data with their own knowledge to make predictions more accurate. 'In this way we hope to build models that…

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 Computer Support group provides dedicated support for the computing infrastructure of Leiden Observatory

This thesis focuses on data found in the field of computational drug discovery. New insight can be obtained by applying machine learning in various ways and in a variety of domains. Two studies delved into the application of proteochemometrics (PCM), a machine learning technique that can be used to…

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

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

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

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)

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.

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.

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

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.

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.

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.

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.

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…

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…

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…

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…

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…

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

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

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.

Leiden Institute of Advanced Computer Science (LIACS)

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

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.

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.

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…

PhD defence

PhD defence

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

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.

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

An algorithm is discussed to compute the exponential representation of principal units in a finite extension field F of the p-adic rationals.

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.