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…

Lecture

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

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.

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.

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

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.

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…

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

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

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…

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.

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.

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

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…

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…

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)

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.

Leiden Institute of Advanced Computer Science (LIACS)

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.

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

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

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…

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…

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.

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

Arts and leisure, Arts and leisure

PhD defence

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.

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.

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…

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.

The NEASQC project brings together academic experts and industrial end-users to investigate and develop a new breed of Quantum-enabled applications that can take advantage of NISQ (Noise Intermediate-Scale Quantum) systems in the near future. NEASQC is use-case driven, addressing practical problems…

Science, Leiden Institute of Advanced Computer Science (LIACS)

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

The molecular mechanisms that instigate a healthy cell to become malignant are fueled by (epi)genetic alterations in so-called driver genes.

This dissertation focuses on developing new mathematical and statistical methods to properly represent time-varying covariates and model them within the context of time-to-event analysis.