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…

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

PhD defence

Cyber agent technology and intelligence agencies is a project that is commissioned by Tracks Inspector, a Dutch company that develops innovative software.

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…

Researchers at LED3 are working together with biopharmaceutical company Galapagos to develop software for use in early drug discovery (funded by NWO). This software is able to design molecules with several simultaneously optimized characteristics and will also take prediction reliability into consideration…

Leiden Embedded & Real-time Computing (LERC) is an expert lab and leader in advanced research on embedded and real-time systems and software. The main mission of LERC is by its research to contribute in a highly innovative way to the system-level design of embedded and cyber-physical systems and software…

CMLCA is a software tool that supports the technical steps of the Life Cycle Assessment. The focus of the program is on advanced computational aspects of life cycle inventory calculations.

Cyber-attacks, privacy-related problems or failures in functioning: many technologies that are used every day have security issues that are solved when the software is already in use. An interdisciplinary project, in which Olga Gadyatskaya, Harry Wijshoff, Alex Uta and Kristian Rietveld from the Leiden…

Lecture

C-SIDe project involves a broad selection of associates in solving cybersecurity problems. Security of software systems has emerged as a critical need in our interconnected society. Companies developing software products look for Security-by-Design approaches accommodating security into their software…

Statistical distributions in LCA and converting between different representations of these distributions.

FAIRDOM consortium is an open initiative of various partners including funding programmes, large-consortia, institutes, small groups as well as individuals.

PNEC-pro is a user-friendly screening tool for professionals dealing with the assessment of surface water quality. The tool calculates local, watertype specific no-effect concentrations (PNEC) of copper, lead, nickel, and zinc based on biotic ligand models (BLMs).

Software and Data of the department Industrial Ecology

-

Cyber security is one of the critical challenges in our inter-connected world. Organizations are being constantly targeted by adversaries. Various critical systems become exposed on the Internet. Users can find that their data has been stolen from a company that they were not even aware of.

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…

Lecture

Beowulf clusters looking for new frontiers.

In a global effort, quantum computers are rapidly being developed. In the meantime, researchers have to learn how to write code for these devices, which are fundamentally different from conventional computers. A collaboration of scientists led by Google, and including physicists from Leiden and Delft,…

The research presented in this thesis concerns one of the most important questions in software engineering of our time: how can we make sure that software is free from memory safety bugs?

What is the Electronics Department?

The LOFAR e-infrastructure group is responsible for deploying and maintaining LOFAR processing on distributed e-infrastructure. A co-operation between SURFsara, Leiden University and ASTRON, the group develops software to integrate the LOFAR stack with processing pipelines. Our software can schedule…

Research

A python3 package to create and analyze Circular Economy scenarios.

Data theory research on the analysis on the multidimensional data

Overview of CML software and data

CWTS is proud to introduce its newly developed course program. The course program consists of three courses targeted at professional users of scientometrics, including librarians, policy officers, and research managers at universities, funding agencies, and other research organizations. For PhD students…

Many important topics in computer science, such as the correctness of software, the efficiency of algorithms and the modeling of complicated systems, depend on sound theoretical underpinnings. In the Theory group, we study these fundamental building blocks and develop verification methods to prove system…

The central research question focuses on identifying shifts in the urban social network in terms of private, semi-public and public space by means of mapping the spatial distributions of wells and cesspits in the town of Haarlem in the course of the pre-industrial period (1200-1800). Shifts may be indicative…

Many important topics in computer science, such as the correctness of software, the efficiency of algorithms and the modeling of complicated systems, depend on sound theoretical underpinnings. In the Theory group, we study these fundamental building blocks and develop verification methods to prove system…

At Leiden University, researchers from all disciplines work together to find answers and design innovations in the field of artificial intelligence.

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…

The Digital Archaeology research group manages two computer laboratories with different purposes: the teaching lab (F1.01) and the research lab (A1.13a).

A master's degree in Psychology at Leiden University combines theoretical knowledge with academic and professional skills, making you an attractive candidate for many employers.

The Institute of Environmental Sciences has carried out and participates in several projects that deal with the analysis of energy systems.

How can prospective LCA be streamlined in a way that its practical application in research and technology development increases?

The aim of the research presented in this thesis was to develop new methods forchallenging systems in liquid-state NMR using paramagnetic effects generated by thetwo-armed probe CLaNP-5.

The updated E-Primer expands its proven combination of simple explanations, interesting tutorials and fun exercises, and makes even the novice student quickly confident to create their dream experiment​​​​​​ in E-Prime 3. E-Prime is the leading software suite by Psychology Software Tools for designing…

The Theoretical Physics specialisation prepares you for a career in industrial research and performing problem solving tasks. The master degree is an excellent stepping stone for pursuing a PhD degree.

This 1.0 version of FitDis! is an archive containing the tool, a quick manual and a test dataset. The FitDis_M.zip package contains the sourcecode Matlab M-files.

The Technology and Operation Management (TOM) group focuses on the operational challenges of adopting new cutting-edge technologies in areas such as artificial intelligence, precision medicine, and high-tech instrumentation.

Teams of scientists from different Social and Behavioural Sciences disciplines work together in the labs with state-of-the-art hard- and software and related expertise.

From educational adventures in the tropics, students building software for real customers, to bacteria that degrade plastics. Scroll through our highlights on educational innovation and the achievements of our students.

So far it has been impossible to compare large sets of syntactic constructions in large sets of languages systematically and automatically. The online availability of parallel text corpora and software tools to align, enrich, search and analyse them has the potential to make automatic massive systematic…