Ruth Hoffmann
Lecturer at University of St Andrews
Cupar, Scotland, United Kingdom
Summary
👤
Senior🎓
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.
10 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 (36)
maths10
algebra9
polynomials9
sympy9
permutation9
discrete-mathematics9
symbolic-math9
pattern9
computer-algebra-system9
cas9
mathematics9
sat9
homotopy-type-theory8
constraint8
constraint-programming8
Programming languages (8)
Github contributions (5)
gap-packages/PatternClass
Aug 2015 - Oct 2022
Exploring permutation pattern classes build by token passing networks
Contributions:9 releases, 1 review, 66 commits in 7 years 2 months
permutation-patterntokenpatternpassingpermutation
stacs-cp/permutation-classes-cp
Jun 2022 - Aug 2024
Contributions:1 review, 1 PR, 36 pushes in 2 years 2 months
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.