
Ruth Hoffmann
@ruthhoffmann
Doctor in Dots in Boxes. Lecturer in CS. Interested in Combinatorics, Computational Group Theory and Formal Verification. Avid cake baker, and gin drinker.
ID: 385636916
05-10-2011 21:07:48
2,2K Tweet
241 Followers
449 Following


I'm excited to have CompSci and Maths&Stats at University of St Andrews supporting @EuroWoMaths !





📢Doors Open Day - Computer Science at University of St Andrews ✒️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 buff.ly/3JSLMgd


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




Thanks to Rosie Bowhouse for hosting the really exciting chat with Ruth Hoffmann and I! Lots of collaboration possibilities with St Andrews CompSci on the horizon; watch this space!


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 Tias Guns, ignace bleukx and Dimos Tsouros! #CP2023conf #ConstraintProgramming





This week is super special for us in BEGIN and St Andrews Geography & SD. We are hosting the annual all-hands meeting on the Science of Cities and Regions from the Urban Analytics programme at The Alan Turing Institute. We have planned a packed but exciting agenda here 🧵the main activities.


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



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