Dr Isolde Adler
- Programme manager: Computer Science with Mathematics MSci, BSc
My PhD is at the intersection of Mathematics and Computer Science. The interaction of both fields has inspired my research ever since, with a strong focus on algorithms, the sequences of instructions, that form the heart of any computer code. Nowadays we are surrounded by algorithms in everyday life.
They run smart devices, banking, journey planning and navigation, social networks, aircraft, and medical devices, as well as cyber-security and climate research. Countless other areas rely on algorithms, widely across business, education, leisure, manufacturing and research.
I am inspired by the combination of computer science with mathematics, and enjoy being part of both communities. In my previous positions at the University of Bergen (Norway) and Humboldt University Berlin (Germany) I was involved in a variety of projects, and I was leader of the project "Graph structure Theory and Algorithmic Applications" (funded by the German Research Council) at Goethe University Frankfurt (Germany).
My research interests include graph algorithms, logic, complexity, and discrete mathematics.
I am motivated by the challenge of tackling problems that are computationally intensive, for example in the context of big data.
My research results include database query evaluation, routing, machine learning and AI, search games, and graph decomposition methods, that are applied in multiple fields, including medical diagnosis and compilers of programme code.
Mathematics can inform the design of algorithms at the stage before coding takes place. The approach through mathematics can guarantees reliability of computer programmes. For example, if a mathematical proof assures that your algorithm computes an optimal solution in every case, you can rely on your algorithm 100%, now and for all time. This process guarantees a saving of time, money, energy, and in critical applications, such as aircraft control algorithms, it saves lives. In short, this integrated approach is essential to algorithm design.