AeroLeads people directory · profile
Ruth Hoffmann Email & Phone Number
Lecturer
at
University of St Andrews
1 work email found
@st-andrews.ac.uk
LinkedIn matched
✓ Verified Jun 2026
4 data sources
Profile completeness 100%
Current company
Role
Lecturer
Location
Cupar, Scotland, United Kingdom
Company size
Who is Ruth Hoffmann? Overview
A concise factual answer block for searchers comparing this professional profile.
Quick answer
Ruth Hoffmann is listed as Lecturer at University of St Andrews, a company with 3 employees, based in Cupar, Scotland, United Kingdom. AeroLeads shows a work email signal at st-andrews.ac.uk and a matched LinkedIn profile for Ruth Hoffmann.
Ruth Hoffmann previously worked as Postdoctoral Researcher at University Of St Andrews and Associate Lecturer at University Of St Andrews. Ruth Hoffmann holds Doctor Of Philosophy (Ph.D.), Computer Science from University Of St. Andrews.
Company email context
Email format at University of St Andrews
This section adds company-level context without repeating Ruth Hoffmann's masked contact details.
*@st-andrews.ac.uk
71% confidence
AeroLeads found 1 current-domain work email signal for Ruth Hoffmann. Compare company email patterns before reaching out.
Profile bio
About Ruth Hoffmann
I am a Lecturer (Associate Professor) at the School of Computer Science, and the Head of the AI Research Theme.My research interests lie in creating algorithms for computational combinatorics, graph theory, permutation classes, computational group theory and formal verification.My research experience covers both theoretical work and implementations of existing theory and my own.
Listed skills include Discrete Mathematics, Finite State Machines, Gap, Maple, and 5 others.
Current workplace
Ruth Hoffmann's current company
Company context helps verify the profile and gives searchers a useful next step.
University Of St Andrews
11 roles
Ruth Hoffmann work experience
A career timeline built from the work history available for this profile.
Lecturer
Current
Sep 2020 - Present
Postdoctoral Researcher
Research fellow on a Royal Society fellowship investigating computing and generating Stabilising Chains efficiently.
Aug 2019 - Aug 2020
Associate Lecturer
Nov 2018 - Jul 2019
Postdoctoral Research Fellow
Part of the "C3: Scalable & Verified Shared Memory via Consistency-directed Cache Coherence" EPSRC grant. Working on verifying cache coherence protocols against memory consistency models using model checking and mathematical approaches.
Feb 2017 - Oct 2018
Postdoctoral Research Assistant
Named Researcher and working on the grant "Formal verification for autonomous vehicles". Investigating Hybrid Systems and abstractions thereof, to utilise in the formal verification of autonomous systems. Researching tools for verification and abstraction of hybrid systems.
Aug 2016 - Jan 2017
Postdoctoral Research Assistant
Part of the EPSRC funded platform grant, “Science of Sensor Systems Software". Continuation of work on verification of autonomous systems. Researching abstraction of models of autonomous UAVs from continuous dynamic models to probabilistic discrete models.
Jan 2016 - Jun 2016
Postdoctoral Research Assistant
Employed on an EPSRC funded project “Verification of Autonomous Systems”. Created a case study of an autonomous UAV search and retrieve scenario. Abstracted the simulation of the case study to a discrete probabilistic model and verified said model. Collaboration with the School of Engineering at the University of Glasgow and the Department of Automatic.
Aug 2015 - Jan 2016
Summer Research Intern
Studied automaton groups over a 2-letter alphabet.Worked as a team investigating this subject, writing a report and poster.Formulated a report summarising the findings of the team.Produced a poster explaining our research in the field.
Jun 2010 - Aug 2010
Summer Research Intern
Investigated parallel programming in multiplications of permutations using pthreads and parallelised sorting algorithms. This project is part of research to parallelise GAP.
Jun 2009 - Aug 2009
Summer Intern
Helped on different current research projects, comparing products within the company. Working with my supervisor, put together basic mixtures and monitored results over a long time period.
Jun 2008 - Aug 2008
2 education records
Ruth Hoffmann education
Doctor Of Philosophy (Ph.D.), Computer Science
Master'S Degree, Mathematics, Second Class (Division I)
FAQ
Frequently asked questions about Ruth Hoffmann
Quick answers generated from the profile data available on this page.
What company does Ruth Hoffmann work for?
Ruth Hoffmann works for University of St Andrews.
What is Ruth Hoffmann's role at University of St Andrews?
Ruth Hoffmann is listed as Lecturer at University of St Andrews.
What is Ruth Hoffmann's email address?
AeroLeads has found 1 work email signal at @st-andrews.ac.uk for Ruth Hoffmann at University of St Andrews.
Where is Ruth Hoffmann based?
Ruth Hoffmann is based in Cupar, Scotland, United Kingdom while working with University of St Andrews.
What companies has Ruth Hoffmann worked for?
Ruth Hoffmann has worked for University Of St Andrews, The University Of Glasgow, and Akzonobel, Global Personal Care.
How can I contact Ruth Hoffmann?
You can use AeroLeads to view verified contact signals for Ruth Hoffmann at University of St Andrews, including work email, phone, and LinkedIn data when available.
What schools did Ruth Hoffmann attend?
Ruth Hoffmann holds Doctor Of Philosophy (Ph.D.), Computer Science from University Of St. Andrews.
What skills is Ruth Hoffmann known for?
Ruth Hoffmann is listed with skills including Discrete Mathematics, Finite State Machines, Gap, Maple, C, Java, Group Theory, and Algorithms.
Find 750M verified contacts
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trialPeople with similar names
Check these profiles if this is not the Ruth Hoffmann you were looking for.
View similar profiles
