Doctor in Dots in Boxes. Lecturer in CS. Interested in Combinatorics, Computational Group Theory and Formal Verification. Avid cake baker, and gin drinker.
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
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 🧵👇🏻
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.
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
And we are continuing our day with the ACP Early Career Researcher Award! Let's congratulate our award recipient Ciaran McCreesh!
#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
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
@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
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!
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
#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).
📢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
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
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
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