HEPGAME is a research project that combines the world’s fastest computer algebra system for High Energy Physics equations, FORM, with insights from artificial intelligence. The name combines High Energy Physics and Games.

Lecture

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…

Top scientists of three Dutch universities are working on software and systems for quantum computers. Researchers of the Leiden Institute of Advanced Computer Science (LIACS) and the Leiden Institute of Physics (LION) are developing new algorithms to make those super computers work. The coming years,…

Promotor: F. Arbab, R. De Nicola, Co-Promotor: M. Tribastone

Promotores: H.W. Lenstra, K. Belabas (University of Bordeaux)

Artificial intelligence algorithms govern in subtle, yet fundamental ways, the way we live and are transforming our societies. The promise of efficient, low‐cost or ‘neutral’ solutions harnessing the potential of big data has led public bodies to adopt algorithmic systems in the provision of public…

In this thesis we present several methods to automate tomographic reconstruction algorithms and several novel tomographic reconstruction algorithms with the focus on being easily applicable and efficient to use.

Artificial intelligence could help make the work of public sector organisations, professionals, policy- and decision makers more effective, more efficient, and ideally could make it more rationalised and evidence-based.

Are you mad about board games? Then we’ve got good news for you: we’ve developed our very own University game, HORA EST! It’s a fun way to learn more about the University. Get your family and friends together for an evening of fun and games!

The Faculty of Governance and Global Affairs of Leiden University in The Hague has developed two Serious Games, 'het Grote Migratiespel' and 'het Schipholspel' to introduce secondary school students to their study and research programmes.

This thesis covers several aspects of quantum algorithms for near-term quantum computers and its applications to quantum chemistry and material science.

The Algorithms and Software Technology (AST) research programme performs fundamental research in the areas of algorithm design and analysis.

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

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

The Game Research Lab (GRL) uses digital games as a medium for academic research, and consider ‘serious’ games and entertainment games equally valuable objects of study.

The Game Research Lab uses digital games as a medium for academic research. It considers entertainment games and 'serious’ games as objects of study, develops novel approaches for creating, playing, and analysing games, and studies the interactions between games and AI.

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.

How well children learn depends to a large extent on good teachers and effective learning materials. Wilfried Admiraal investigates such issues as gaming as a modern learning tool. He concludes that this tool has little to offer less talented students.

Promotor: Robert Tijdeman, Co-promotor: Cornelis Kraaikamp

In what way can the qualities of an existing context be used as guiding and enriching principles rather than limiting factors in the process of spatial transformation?

Promotor: S.J. Edixhoven, Co-promotor: R.S. de Jong

Promotor: Prof.dr. J.P. Abrahams, Prof.dr. M. van Heel

Structural variants (SVs) are the hidden architecture of the human genome, and are critical for us to understand diseases, evolution, and so on.

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

Smart algorithms and powerful processors are just as essential for astronomy as big telescopes. Astronomers at Leiden University therefore constantly operate at the interface between astronomy and data science.

Promotor: R. Tijdeman, Co-promotor: H.J.J. te Riele

The Automated Design and Analysis of Algorithms (ADA) research group pursues the development of Artificial Intelligence techniques that complement, rather than replace, human intelligence.

Play and Media is one of the six research themes of the LUCAS Modern and Contemporary cluster.

Inverse problems are problems where we want to estimate the values of certain parameters of a system given observations of the system. Such problems occur in several areas of science and engineering. Inverse problems are often ill-posed, which means that the observations of the system do not uniquely…

Can playing certain games decrease cognitive decline or even enhance cognitive performance in the aging population?

Due to the modern techniques of combinatorial chemistry and high-throughput screening, data on the biological activity of many millions of compounds is known. However, it is still very difficult to transfer this data into knowledge: if we know that compounds A and B bind to a certain protein with high…

Lecture

PhD defence

Imagine how much time, money and discomfort it would save: a personalised treatment for each individual patient. Precision medicine like this is coming ever closer, thanks in part to Elise Dusseldorp’s algorithms. They retrieve a wealth of information from research data.

Both play and politics have the potential to create worlds in which new rules apply, meanings are created, and possibilities emerge for collaboration, strategy and creative solutions. In this sense, play and politics have always been very much alike. But what happens to this kinship in a post-digital…

Multi-objective optimization is an effective technique for finding optimal solutions that balance several conflicting objectives. It has been applied in many fields of our world, because practical problems usually have more than one desired goal. For example, developing a new vehicle component might…

Multi-objective evolutionary computation aims to find high quality (Pareto optimal) solutions that represent the trade-off between multiple objectives.

Modern optimization algorithms offer solutions for architectural decisions like spatial, structural and energy efficiency. A young computer scientist from Leiden University co-authored a paper that won the Best Paper Award at a leading conference in Krakow during the summer.

If an algorithm has to learn to understand language, simply having a lot of data doesn’t help much. Like us, a computer has to learn the language in interaction with others. Tessa Verhoef is fascinated by how this interaction works.

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

Chapter by Fabio Cristiano and Emilio Distretti for the volume The Aesthetics and Politics of the Online Self, edited by Donatella Della Ratta, Geert Lovink, Teresa Numerico, and Peter Sarram for Palgrave Macmillan.

Making predictions about emotional problems or the effects of air pollution: Marjolein Fokkema’s algorithms are getting better at this all the time. She is making her algorithms increasingly flexible, so they can predict not just characteristics at one particular moment, but also how skills, for example,…

A defining fixture of our contemporary world, video games offer a rich spectrum of engagements with the past.

Promotores: Prof.dr. J. Zaanen & Prof.dr. K.E. Schalm

There is a growing concern that AI programmes like ChatGPT exacerbate existing biases concerning gender, age, race and sexual orientation. As individuals are increasingly integrating the impressive abilities of AI programmes into their companies, organisations and personal lives, it is useful to take…

Alumni event

Carlotta Rigotti and Dr Eduard Fosch-Villaronga from Leiden University presented the Horizon Europe BIAS project and its preliminary findings on fairness and diversity biases of AI applications in the labour market during the 'Algorithms for Her?' conference.