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.

@louiseadennis.bsky.social talked mainly about her expertise for the last 15 years: the MCAPL Framework... But also gives a cheeky peek into her worlds—like a TARDIS, bigger on the inside!! (Any Doctor Who enthusiasts out there? You know whom to reach out to!)

And with that, we wrap up day 1 of #FMAS2024! Thank you everyone for joining us today. Tomorrow, we start at 8:45 (GMT), and we also have a new event at #FMAS2024, a tutorial session "Model-Checking Agent Programming Languages: The MCAPL Framework" by @louiseadennis.bsky.social.

Occasionally I find I've been published when Google asks to link me to the paper. I sort of knew this was happening, but didn't know it had been submitted and accepted. Anway, if you are interested in implementing ROS nodes from RoboChart models - see ieeexplore.ieee.org/abstract/doc...

We're so lucky to have leaders like JD Vance (philosophy BA) and George W Bush (history BA) who got a proper education in the humanities. And ofc Peter Thiel is there to steer silicon valley in the right direction with his philosophy BA too.

RIP William Russell. So glad we got to see him back in Doctor Who one more time as Ian Chesterton, in Jodie Whittaker’s final episode. www.theguardian.com/stage/2024/j...

I'm helping to supervise a PhD student, Xin Quan, who is working on improving the logic in LLM output by making the LLM interact with a logical reasoning system. Initial results are available #OpenAccess at arxiv.org/abs/2402.00745

My AAMAS paper (with others) - Safeguard Privacy for Minimal Data Collection with Trustworthy Autonomous Agents is available Open Access. We ask how you might verify that a program that negotiates access to personal data on your behalf is behaving correctly. www.ifaamas.org/Proceedings/...

The University together with the BCS have made a video about my postdoc Hazel! ( youtu.be/xFdnel2aJ-Q?... ). It's mostly geared towards PhD recruitment and I get a bit part. #robotics #aandvnetwork

youtube.com/watch?v=g7Tg... Someone made a YouTube about one of my papers #

The formal verification community and security community don't interact as much as you might think. In this paper we tried to look at how the kinds of properties considered by security experts could be translated into the sorts of things we can verify mathematically. www.computer.org/csdl/journal...

Want to know that computing will bring in 2040? We talked to futurists and compiled some scenarios described in Interlinked Computing in 2040: Safety, Truth, Ownership, and Accountability ( ieeexplore.ieee.org/document/103... ). TBH, I'm not sure about futurism as a practice, but it was fun to do.