Random #DoctorWho Picture

Random #DoctorWho Picture

A Stone of Stenness, Orkney

This map is a thing of beauty and explains so much about why norther rail is a thorny issue.

Random #DoctorWho Picture

The bath house at Chesters Roman Fort. The alcoves are for storing clothes.

Random #DoctorWho picture

Inside the Dwarfie Stane, Orkney

Random #DoctorWho Picture

Random #DoctorWho picture. Behind the Scence of The Ghost Monument.

Ring of Brodgar, Orkney

Random #DoctorWho picture

A milecastle on Hadrian's Wall

Beaumaris Castle

Random #DoctorWho Picture.

Random #DoctorWho Picture

Random #DoctorWho picture

#DoctorWho Costume Bracket, Quarter Final, Post 4 purplecat.dreamwidth.org/1158428.html

Random #DoctorWho picture

Chesters Roman Fort #HadriansWall

#DoctorWho Costume Bracket, Quarter Final, Post 2 purplecat.dreamwidth.org/1153303.html

Random Roman Romains (Housteads, Hadrian's Wall)

#DoctorWho costume bracket, Quarter Final, Post 1 purplecat.dreamwidth.org/1150060.html

A walk on Simonside Crags, Northumberland

Well, I'll be damned. It's royalty free and there's already six, generic manufacturers lined up. newatlas.com/infectious-d...

Random #DoctorWho picture. Longleat, 1983.

My article Interlinked Computing in 2040: Safety, Truth, Ownership and Accountability has just won the journal's best paper award ( www.computer.org/publications... )

Random #DoctorWho Picture

Posdoc position with my colleague Edoardo Manino at the University of Manchester in Neural Network Verification. Closing Date 14th August: www.jobs.manchester.ac.uk/Job/JobDetai... #academicjobs

#DoctorWho Costume Bracket - Round 4, Post 8: purplecat.dreamwidth.org/1139444.html

Random #DoctorWho Picture

Doctor Who Costume Bracket: Round 4, Post 7: purplecat.dreamwidth.org/1136770.html

Doctor Who Costume Bracket: Round 4, Post 6: purplecat.dreamwidth.org/1134363.html

Doctor Who Costume Bracket: Round 4, Post 5: purplecat.dreamwidth.org/1131346.html

Caernarfon 2020

Walked to Polccoyo Rainbow Mountains today. Only a short walk but we were at nearly 5000m so we took it slow.

FMAS is back for 2025! We are interested in work that applies Formal Methods to almost any kind of autonomous system Deadline: 22nd Aug 2025 (Anywhere on Earth) Notification: 6th Oct 2025 Workshop: 17th-19th of Nov 2025 (@iFMconf) Details: buff.ly/VZaDX0m #FMAS2025

Read the life story of Mākereti Papakura, who will be awarded a posthumous degree from the University of Oxford later this year, in 'Mākereti Papakura: A Māori First', a blog published by @stannescollege.bsky.social www.st-annes.ox.ac.uk/life-here/li...

Enjoyed this walking tour. Also bought a hat! Which admittedly isn’t in this photo.

FMAS is back for 2025! We are interested in work that applies Formal Methods to almost any kind of autonomous system Deadline: 22nd Aug 2025 (Anywhere on Earth) Notification: 6th Oct 2025 Workshop: 17th-19th of Nov 2025 (@iFMconf) Details: fmasworkshop.github.io/FMAS2025/ #FMAS2025

A nice little tool I had the pleasure of reviewing for JOSS.

To mark #WorldLogicDay (14 January 2025 wld.cipsh.international/wld2025.html) the FATA seminar will host  a talk by Professor Muffy Calder on “Boole's legacy: a short celebration for World Logic Day”. More details:  samoa.dcs.gla.ac.uk/events/viewt... @uofglasgow.bsky.social

Call for ACM SIGAI Autonomous Agents Research Award 2025 Deadline This Week The award is made for research excellence in autonomous agents, to recognise researchers whose current work is an important influence Nominations Deadline: 15th Jan 2025 Details: https://buff.ly/4ir8hJR #SIGAIAward

@louiseadennis.bsky.social and I are program chairs for #AAMAS2026. I'm looking to try some new ideas for the reviewing process. Any ideas about some of your favorite (or least favorite) things other conferences have tried?

Doctor Whordle 134 6/6 ⬜️⬜️🟧🟧⬜️ ⬜️⬜️🟦🟦🟦 ⬜️⬜️🟦🟦🟦 ⬜️⬜️⬜️⬜️⬜️ 🟦🟦⬜️⬜️⬜️ 🟦🟦🟦🟦🟦 louiseadennis.github.io/doctor-whordle #DoctorWhordle Phew!!!

New paper "ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics" by Maryam Ghaffari Saadat, Angelo Ferrando, @louiseadennis.bsky.social, and Michael Fisher https://buff.ly/3ASZ8c4 #FMAS2024

Doctor Whordle 132 3/6 ⬜️⬜️🟦⬜️⬜️ ⬜️⬜️🟦🟦⬜️ 🟦🟦🟦🟦🟦 louiseadennis.github.io/doctor-whordle #DoctorWhordle

I have a PDRA post available in Assurance for Robotic Autonomous Systems. Really looking for someone with some experience of formal verification or possibly a background in CyberSecurity. Details at: www.jobs.manchester.ac.uk/Job/JobDetai... #formal_verification #formal_methods #academic_jobs

My student Xin Quan has won best paper at EMNLP for his paper Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving ( aclanthology.org/2024.emnlp-m... ). This integrates explanations generated by chatGPT with a theorem prover to validate correctness.