A second talk by our visiting Senior Global Fellow, Prof Mateu Villaret, Universitat de Girona was well attended by staff and PhD students in the school on Friday 18th September. Mateu presented Combinatorial Problem…
This is the second, CS-focused talk of our visiting Senior Global Fellow, Prof. Mateu Villaret, Universitat de Girona. Friday 18/09/2026 11:00-12:00 JC 1.33B Title: Combinatorial Problem Solving with SAT: The Art of…
You are invited to the next school seminar:- Wednesday 16/09/2026 11:00-12:00 JC 1.33A Speaker: Ozgur Akgun Title: Academic synergy and other impact/innovation projects Abstract: This Wednesday the 16th of September…
Jannettas ice cream, drinks and snacks were on offer for our well attended First Year and Direct Entry Welcome Reception in the Jack Cole coffee area this week. Good luck to all of our new students for the coming…
Thanks to all who joined us for the Board Games afternoon on Wednesday. Those attending enjoyed drinks, snacks and an opportunity for some down time before teaching begins next week!
Congratulations to Samuel Ivey (supervised by Saleem Bhatti) who passed his PhD viva subject to minor typographic corrections. Thanks to Hamed Hadaddi (Imperial College London) and Tom Kelsey for undertaking…
We are delighted to welcome Professor Mateu Villaret from the University of Girona to St Andrews as a Senior Global Fellow. As part of his visit, Professor Villaret presented a talk exploring the role of logic-based…
Congratulations to Dhananjay Saikumar (supervised by Prof. Blesson Barghese) who passed his PhD viva subject to minor corrections. Thanks to Prof. Fahim Kawsar (University of Glasgow) for serving as external examiner.
You are invited to the first school seminar of the new academic year. Thursday 03/09/2026 11:00 JC 1.33A Speaker: Lars Kotthoff Title: LLaMEA-CFG: Code-Feature Guidance for Automated Algorithm Design Abstract:…
Jakub Mestek is visiting us from Charles University over the next couple of weeks. Please come along to his talk:- Friday 21/08/2026 11:00 JC 1.33A Title: “Multi-Agent Pathfinding Beyond Deterministic Execution”…