Louise A. Dennis
@louiseadennis.bsky.social
450 followers 470 following 47 posts
Computer Scientist, Doctor Who Fan.
Posts Media Videos Starter Packs
louiseadennis.bsky.social
Chesters Roman Fort #HadriansWall
Tree growing close by some Roman footings with large fallen bricks behind.
louiseadennis.bsky.social
Random Roman Romains (Housteads, Hadrian's Wall)
The foundations of a long oblong stone brick roman building showing the pillars that once supported the hypocaust.
louiseadennis.bsky.social
A walk on Simonside Crags, Northumberland
B standing on a rocky crag against a clear blue sky. B walking away a long a narrow stone path with heather either side - crag in distance. Stone path on the right leading over heather growing on a gentle ridge. Looking up a heathery hillside to a row of crags.
louiseadennis.bsky.social
Random #DoctorWho picture. Longleat, 1983.
A convention panel from the 1980s.  From left to right: Anthony Ainley, Janet Fielding, Peter Davison (in costume), Sarah Sutton, Mark Strickson, and a bearded man I can't identify.  They are seated in what looks like a tent in front of boards with the BBC logo and a Tardis prop.
louiseadennis.bsky.social
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
Research Associate in AI Verification :Manchester
www.jobs.manchester.ac.uk
louiseadennis.bsky.social
Random #DoctorWho Picture
A melancholy looking fourth Doctor in a trashed Tardis room.
louiseadennis.bsky.social
Walked to Polccoyo Rainbow Mountains today. Only a short walk but we were at nearly 5000m so we took it slow.
Two people in walking gear in front of a mountain that is striped red, grey and green. Rick face with red, white and green stripes. View of mountain striped in reds and greens.
Reposted by Louise A. Dennis
fmasworkshop.bsky.social
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
Seventh International Workshop on Formal Methods for Autonomous Systems
buff.ly