Ruth Hoffmann

Doctor in Dots in Boxes. Lecturer in CS. Interested in Combinatorics, Computational Group Theory and Formal Verification. Avid cake baker, and gin drinker.

[Keith @keithdunn]

Jasmin Paris @JasminKParis finished loop five of the #BM100 in 59:58:21.

[St Andrews CompSci @StAndrewsCS]

Doors Open @ CS, 11th April (10am-4pm)
On 11th April, the School of Computer Science at St Andrews will host our Doors Open event.

Please see our blog post for further information and to register if you would like to attend!

https://t.co/jB3zZW2gcw

[Fernando Benitez-Paez @mfbenitez]

Yesterday, we had our ECR & PhD students panel with three successful academics from different countries 👩‍🏫 🇮🇹🇺🇸🇵🇱 👩‍🏫 and backgrounds @rsfrankl @ruthhoffmann @alel_domi The academic life isn't easy but is highly rewarding here are some of the points they shared 🧵👇🏻

[Fernando Benitez-Paez @mfbenitez]

This week is super special for us in @BEGIN_StAndrews and @StAndrewsSGSD. We are hosting the annual all-hands meeting on the Science of Cities and Regions from the Urban Analytics programme at @turinginst. We have planned a packed but exciting agenda here 🧵the main activities.

[cp2023conf @cp2023conf]

This morning, we had the pleasure of listening to Jimmy Lee, in his invited talk about "A Tale of Two Cities: Teaching CP with Story-Telling". He explained to us the success story behind the creation of his MOOC on Coursera!

#CP2023conf
#ConstraintProgramming
#MOOC

[cp2023conf @cp2023conf]

And we are continuing our day with the ACP Early Career Researcher Award! Let's congratulate our award recipient Ciaran McCreesh!

#ACP
#CP2023conf
#ConstraintProgramming

[cp2023conf @cp2023conf]

Time for the last of the ACP awards! The ACP Doctoral Research Award was awarded to Stephan Gocht, for his thesis "Certifying Correctness for Combinatorial Algorithms: by Using Pseudo-Boolean Reasoning". Congrats to him!

#ACP
#CP2023conf
#ConstraintProgramming

[cp2023conf @cp2023conf]

After a morning full of paper talks and the invited talk, the afternoon continues, with more paper talks but also the tutorial on "Explainable Constraint Solving - A Hands-On Tutorial" by @TiasGuns, @ignacebleukx and @dimos_ts!

#CP2023conf
#ConstraintProgramming

[Ruth Hoffmann @ruthhoffmann]

@ozgurakgun @StefanSzeider @cp_conf Found it! The wall you can see has 51 univerisities of the British Empire (I’m guessing the ones that existed when Hart House was established).
The wall on the other side of the room contains crests of Allies of Canada.

https://t.co/KWICGpRDxi

#cp2023 #cp2023conf

[Ruth Hoffmann @ruthhoffmann]

@ozgurakgun @StefanSzeider @cp_conf Not just StA, Glasgow, Edinburgh and Aberdeen too! Still investigating why. :)

[Dr Kirsty Ross (she/her) @drkirstyross]

Thanks to Rosie @BowhouseFife for hosting the really exciting chat with @ruthhoffmann and I! Lots of collaboration possibilities with @StAndrewsCS on the horizon; watch this space!

[Ruth Hoffmann @ruthhoffmann]

@ICMS_Edinburgh Hi, just in case you aren't aware... The webpage is down. :(

[Ruth Hoffmann @ruthhoffmann]

What a day it was! Special thanks to all exhibitors and visitors for making this first Doors Open @ CS a success!

[St Andrews CompSci @StAndrewsCS]

We would like to thank everyone who attended the doors open day and made it a success. We hope you enjoyed it as much as we did!
If you have any questions or feedback, please feel free to contact us at [email protected].
https://t.co/zrK3xO1YAQ

[Ruth Hoffmann @ruthhoffmann]

Thanks #BCTCS2022 for having me! Presenting sanely as always.

[Formal Analysis, Theory & Algorithms @FATAglasgow]

#BCTCS2023 keynote by Dr Ruth Hoffmann @ruthhoffmann @StAndrewsCS on “Composable Constraint Models for Permutation Patterns and Their Enumeration”

[Formal Analysis, Theory & Algorithms @FATAglasgow]

#BCTCS23 keynote by Prof David Manlove @davidmanlove1 @GlasgowCS on “Models and Algorithms for the Kidney Exchange Problem” on algorithms used in the UK Living Kidney Sharing Scheme (UKLKSS).

[Interface @InterfaceOnline]

📢Doors Open Day - Computer Science at @univofstandrews

✒️Register for this upcoming informal event with St. Andrews Uni & uncover the work they do. With exhibits from students and staff who will be ready to discuss commercial ideas.

⏰11/04, 10am https://t.co/hCaImknSjx

[Ruth Hoffmann @ruthhoffmann]

I’m very excited to have been invited to talk at BCTCS and looking forward to all other talks.

[Formal Analysis, Theory & Algorithms @FATAglasgow]

Only 4 more days until #BCTCS23 @GlasgowCS. We have 5 invited speakers lined up 🤩

Dr Ruth Hoffmann @ruthhoffmann @StAndrewsCS will talk about “Composable Constraint Models for Permutation Patterns and Their Enumeration”

More details: https://t.co/ab08yLa5ZT

🧵 1/5

[Keith @keithdunn]

The 2023 Barkley Marathons is over. There are three finishers. #BM100

[Keith @keithdunn]

One runner, after finishing his loop and dropping, cooked an egg burrito while showering. Like, took a camp stove and skillet into the shower, cooked the eggs, etc., and ate the tortilla. In the shower. #BM100

[St Andrews CompSci @StAndrewsCS]

On 11th April, we will host for our first ever Doors Open event. We will be thrilled to welcome any and all visitors from outwith the School.
https://t.co/ZUlVl0oCOl