Dr Isolde Adler

Dr Isolde Adler

Profile

Before joining the University of Leeds in 2016 she was a Junior Professor at Goethe University Frankfurt (2009-2016), a postdoctoral researcher at the University of Bergen in Norway (2008/09) and at Humboldt University of Berlin (2006-2008), and a visiting professor at Humboldt University of Berlin (2008). She obtained her PhD from Albert Ludwig University of Freiburg in 2006.

Dr Adler was awarded a Turing Fellowship at The Alan Turing Institute, starting October 2021.

She was the lead investigator of the project "Fast and Accurate! Foundations and Guarantees for Algorithms and AI (White Rose FGAA)" 2019/20, a White Rose Collaboration to provide new algorithms for big data sets and networks that are extremely fast and come with accuracy and performance guarantees. She co-chaired and co-organised the 46th International Workshop on Graph-Theoretic Concepts in Computer Science, WG2020.

She led the project “Graph Structure Theory and Algorithmic Applications (GALA)” (2011-2016), funded by the German research council. As part of the project, Treedec, a package of algorithms for tree decompositions of graphs, was implemented. It won Track A of the Parameterized Algorithms and Computational Experiments Challenge PACE 2017.

Isolde's publications on DBLP.

Responsibilities

  • Programme Manager for Computer Science with Mathematics

Research interests

Both Graph Theory and Logic in Computer Science form the basis of her research interests. She is fascinated by the interplay between the combinatorial structure of graphs and discrete models on the one hand, and their algorithmic properties on the other hand. Furthermore, she likes the challenge of problems that are computationally hard but nevertheless have to be solved in practice. While based in Theory, she also enjoys bridging the gap to practical applications in different fields.

Her research revolves around

The Structure of Graphs and Hypergraphs

Logic and Model Theory

Algorithms and (Parameterised) Complexity

Algorithmic Meta-Theorems

Database Theory

Model Checking

Combinatorial Games

Property Testing

<h4>Research projects</h4> <p>Any research projects I'm currently working on will be listed below. Our list of all <a href="https://eps.leeds.ac.uk/dir/research-projects">research projects</a> allows you to view and search the full list of projects in the faculty.</p>

Professional memberships

  • Programme Committee Co-Chair and Co-Organiser: 46th International Workshop on Graph-Theoretic Concepts in Computer Science, WG2020
  • Programme Committee Member of CIAC 2019, ICDT 2019, CSR 2017, ISAAC 2017, PACE 2016, STACS 2016, WG 2016, SOFSEM 2012, CSL 2010
  • Member of the Steering Committee of ReLaX (Indo-French Research Lab in Computer Science)

Research groups and institutes

  • Algorithms and Complexity
<h4>Postgraduate research opportunities</h4> <p>We welcome enquiries from motivated and qualified applicants from all around the world who are interested in PhD study. Our <a href="https://phd.leeds.ac.uk">research opportunities</a> allow you to search for projects and scholarships.</p>