Ruth Hoffmann (@ruthhoffmann) 's Twitter Profile
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

calendar_today05-10-2011 21:07:48

2,2K Tweet

241 Followers

449 Following

St Andrews CompSci (@standrewscs) 's Twitter Profile Photo

The Schools of Computer Science and Mathematics & Statistics are now an Institutional Member of the European Women in Mathematics (EWM) blogs.cs.st-andrews.ac.uk/csblog/2023/02…

St Andrews CompSci (@standrewscs) 's Twitter Profile Photo

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. doorsopen.cs.st-andrews.ac.uk

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.
doorsopen.cs.st-andrews.ac.uk
Keith (@keithdunn) 's Twitter Profile Photo

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

Interface (@interfaceonline) 's Twitter Profile Photo

📢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

Formal Analysis, Theory & Algorithms (@fataglasgow) 's Twitter Profile Photo

#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).

#BCTCS23 keynote by Prof David Manlove <a href="/davidmanlove1/">David Manlove</a> <a href="/GlasgowCS/">UofG Computing Science</a> on “Models and Algorithms for the Kidney Exchange Problem” on algorithms used in the UK Living Kidney Sharing Scheme (UKLKSS).
cp2023conf (@cp2023conf) 's Twitter Profile Photo

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

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 <a href="/TiasGuns/">Tias Guns</a>, <a href="/ignacebleukx/">ignace bleukx</a>  and <a href="/dimos_ts/">Dimos Tsouros</a>! 

#CP2023conf
#ConstraintProgramming
cp2023conf (@cp2023conf) 's Twitter Profile Photo

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

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) 's Twitter Profile Photo

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

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) 's Twitter Profile Photo

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

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
Fernando Benitez-Paez (@mfbenitez) 's Twitter Profile Photo

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.

This week is super special for us in <a href="/BEGIN_StAndrews/">BEGIN</a> and <a href="/StAndrewsSGSD/">St Andrews Geography & SD</a>. We are hosting the annual all-hands meeting on the Science of Cities and Regions from the Urban Analytics programme at <a href="/turinginst/">The Alan Turing Institute</a>. We have planned a packed but exciting agenda here 🧵the main activities.
Fernando Benitez-Paez (@mfbenitez) 's Twitter Profile Photo

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 🧵👇🏻

Yesterday, we had our ECR &amp; PhD students panel with three successful academics from different countries 👩‍🏫 🇮🇹🇺🇸🇵🇱 👩‍🏫 and backgrounds @rsfrankl <a href="/ruthhoffmann/">Ruth Hoffmann</a> @alel_domi The academic life isn't easy but is highly rewarding here are some of the points they shared 🧵👇🏻
St Andrews CompSci (@standrewscs) 's Twitter Profile Photo

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! blogs.cs.st-andrews.ac.uk/csblog/2024/02…