Ruth Hoffmann
Technical Scientific Advisor at Retrograde
Cupar, Scotland, United Kingdom
Summary
🤩
Rockstar🎓
Top SchoolRuth Hoffmann is a Lecturer and Head of the AI Research Theme at the School of Computer Science, University of St Andrews, with a decade of research experience bridging theory and implementation. Her work spans computational combinatorics, graph theory, permutation classes, computational group theory and formal verification, with a PhD focus on the regular languages encoding permutation pattern classes. She has applied formal methods and model checking to verify UAV scenarios, memory consistency models and cache coherence protocols, and used constraint programming to generate litmus tests for MCMs and CCPs. More recently she has concentrated on improving combinatorial search techniques for graph problems while continuing to implement and evaluate theoretical advances. Based in Cupar, Scotland, she combines deep mathematical foundations with practical verification tool-building, and has a track record of translating continuous system models into discrete abstractions for safe autonomous systems verification.
11 years of coding experience
3 years of employment as a software developer
Doctor of Philosophy (Ph.D.) Computer Science, Doctor of Philosophy (Ph.D.) Computer Science at University of St Andrews
English, German, Polish, French
Github Skills (28)
permutation10
algebra10
benchmark9
discrete-mathematics9
computer-algebra-system9
benchmarking9
mathematics9
sat9
constraint-programming8
computer-algebra8
algorithms8
modeling-tool8
combinatorial-optimization7
math7
automata6
Programming languages (8)
Github contributions (5)
stacs-cp/permutation-classes-cp
Jun 2022 - Aug 2024
Contributions:1 review, 1 PR, 36 pushes in 2 years 2 months
ruthhoffmann/GapWWW
Feb 2021 - Apr 2025
Source for the GAP website
Contributions:4 PRs, 13 pushes, 2 branches in 4 years 2 months
gap
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.