Ilse Brede, CV

Positions

• 2024–nowSenior Lecturer, School of Computing, Quillbury University
• 2023–nowVisiting researcher, Fernmoor Systems Lab Two months each summer, on verified concurrent runtimes
• 2022–2024Lecturer, School of Computing, Quillbury University
• 2019, 2020Research intern, Dunmere Route Engineering Shortest-path service for a delivery fleet

Education

• 2018–2022PhD in Computer Science, Pellbrook University Thesis: Proof-carrying shortest path trees. Advisor: Prof. Ansel Morrow
• 2017–2018MSc in Theoretical Computer Science, Pellbrook University, distinction
• 2014–2017BSc in Mathematics and Computer Science, University of Corriebank, first class

Awards and grants

• 2026Best paper award, SAF 2026, for [1]
• 2025–2029Early-career fellowship, Ostrel Foundation, £412,000 Proof-carrying graph algorithms
• 2025Teaching Prize, Quillbury University, for CS2-14
• 2022Dissertation prize, Pellbrook School of Informatics

Selected publications

• 2026Shortest paths on k-compressed graphs in near-linear time. Proceedings of the Symposium on Algorithmic Foundations (SAF 2026)
• 2025Linearisability checking by bounded replay. Proceedings of the Workshop on Verified Systems (WVS 2025)
• 2025Succinct adjacency for road networks. Journal of Discrete Computation 14(2)
• 2023Rank and select in two cache lines. Proceedings of the Colloquium on Data Structures (CoDS 2023)
• Full list of 11 publications

Service

• 2025–2026Programme committee, Symposium on Algorithmic Foundations
• 2023–nowReviewer, Journal of Discrete Computation
• 2023–nowOrganiser, Quillbury Theory Seminar (fortnightly, 30 to 50 people)
• 2024Mentor, Quillbury summer school for sixth-form students

Skills

Languages

Rust, C++, OCaml, Python, TypeScript

Verification

Interactive theorem proving, model checking, linearisability testing

Systems

Lock-free data structures, memory models, benchmarking on large graphs

Spoken

English, Norwegian, German (working)