Louise A. Dennis
@louiseadennis.bsky.social
📤 466
📥 483
📝 69
Computer Scientist, Doctor Who Fan.
Random
#DoctorWho
Picture
4 days ago
0
1
0
Random
#DoctorWho
Picture
11 days ago
1
2
1
A Stone of Stenness, Orkney
12 days ago
1
3
0
reposted by
Louise A. Dennis
14 days ago
This map is a thing of beauty and explains so much about why norther rail is a thorny issue.
4
30
11
Random
#DoctorWho
Picture
25 days ago
0
2
0
The bath house at Chesters Roman Fort. The alcoves are for storing clothes.
about 1 month ago
0
2
0
Random
#DoctorWho
picture
about 2 months ago
0
3
0
Inside the Dwarfie Stane, Orkney
about 2 months ago
0
3
0
Random
#DoctorWho
Picture
about 2 months ago
1
12
3
about 2 months ago
0
3
0
Random
#DoctorWho
picture. Behind the Scence of The Ghost Monument.
about 2 months ago
0
5
0
Ring of Brodgar, Orkney
2 months ago
0
2
0
Random
#DoctorWho
picture
2 months ago
0
1
0
A milecastle on Hadrian's Wall
2 months ago
0
4
0
Beaumaris Castle
2 months ago
1
3
0
Random
#DoctorWho
Picture.
3 months ago
1
7
2
Random
#DoctorWho
Picture
3 months ago
0
6
0
Random
#DoctorWho
picture
4 months ago
0
7
1
#DoctorWho
Costume Bracket, Quarter Final, Post 4
purplecat.dreamwidth.org/1158428.html
loading . . .
Captcha Check
https://purplecat.dreamwidth.org/1158428.html
4 months ago
0
0
0
Random
#DoctorWho
picture
5 months ago
0
2
0
Chesters Roman Fort
#HadriansWall
5 months ago
0
1
0
#DoctorWho
Costume Bracket, Quarter Final, Post 2
purplecat.dreamwidth.org/1153303.html
loading . . .
Captcha Check
https://purplecat.dreamwidth.org/1153303.html
5 months ago
0
1
0
Random Roman Romains (Housteads, Hadrian's Wall)
5 months ago
0
3
0
#DoctorWho
costume bracket, Quarter Final, Post 1
purplecat.dreamwidth.org/1150060.html
loading . . .
Captcha Check
https://purplecat.dreamwidth.org/1150060.html
5 months ago
0
0
0
A walk on Simonside Crags, Northumberland
5 months ago
0
1
0
reposted by
Louise A. Dennis
Dante The K9
6 months ago
Well, I'll be damned. It's royalty free and there's already six, generic manufacturers lined up.
newatlas.com/infectious-d...
loading . . .
The first 100% effective HIV prevention drug is approved and going global
An epidemic that's been sustained for 44 years might finally be quelled, with the milestone approval of the first HIV drug that offers 100% protection with its twice-yearly injections. It's a landmark...
https://newatlas.com/infectious-diseases/hiv-prevention-fda-lenacapavir/
113
12878
6728
Random
#DoctorWho
picture. Longleat, 1983.
5 months ago
0
1
1
My article Interlinked Computing in 2040: Safety, Truth, Ownership and Accountability has just won the journal's best paper award (
www.computer.org/publications...
)
loading . . .
Interlinked Computing in 2040: Safety, Truth, Ownership, and Accountability
Computer systems are increasingly interconnected, magnifying benefits and risks, especially with AI integration. Using a Delphi-based method, we interviewed technology futurists about potential trends...
https://ieeexplore.ieee.org/document/10380243
6 months ago
2
4
2
Random
#DoctorWho
Picture
6 months ago
0
4
1
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
loading . . .
Research Associate in AI Verification :Manchester
https://www.jobs.manchester.ac.uk/Job/JobDetail?JobId=32985
6 months ago
0
4
0
#DoctorWho
Costume Bracket - Round 4, Post 8:
purplecat.dreamwidth.org/1139444.html
loading . . .
Captcha Check
https://purplecat.dreamwidth.org/1139444.html
6 months ago
0
1
0
Random
#DoctorWho
Picture
6 months ago
1
5
0
Doctor Who Costume Bracket: Round 4, Post 7:
purplecat.dreamwidth.org/1136770.html
loading . . .
Captcha Check
https://purplecat.dreamwidth.org/1136770.html
6 months ago
0
0
0
Doctor Who Costume Bracket: Round 4, Post 6:
purplecat.dreamwidth.org/1134363.html
loading . . .
Captcha Check
https://purplecat.dreamwidth.org/1134363.html
7 months ago
0
1
0
Doctor Who Costume Bracket: Round 4, Post 5:
purplecat.dreamwidth.org/1131346.html
loading . . .
Captcha Check
https://purplecat.dreamwidth.org/1131346.html
7 months ago
0
1
1
Caernarfon 2020
7 months ago
0
1
0
Walked to Polccoyo Rainbow Mountains today. Only a short walk but we were at nearly 5000m so we took it slow.
8 months ago
1
3
0
reposted by
Louise A. Dennis
Formal Methods for Autonomous Systems
8 months ago
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
loading . . .
Seventh International Workshop on Formal Methods for Autonomous Systems
https://buff.ly/VZaDX0m
0
3
4
reposted by
Louise A. Dennis
Pitt Rivers Museum
8 months ago
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...
1
39
10
Enjoyed this walking tour. Also bought a hat! Which admittedly isn’t in this photo.
add a skeleton here at some point
9 months ago
0
1
0
reposted by
Louise A. Dennis
Formal Methods for Autonomous Systems
10 months ago
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
0
5
7
A nice little tool I had the pleasure of reviewing for JOSS.
add a skeleton here at some point
11 months ago
0
1
1
reposted by
Louise A. Dennis
UofG Computing Science
about 1 year ago
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
0
6
2
reposted by
Louise A. Dennis
ACM Special Interest Group on AI
about 1 year ago
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
loading . . .
ACM/SIGAI Autonomous Agents Research Award - ACM SIGAI
2025 Award Call Nominations are solicited for the 2025 ACM SIGAI Autonomous Agents Research Award. This award is made for excellence in research in the area of autonomous agents. It is intended to…
https://buff.ly/4ir8hJR
0
4
2
reposted by
Louise A. Dennis
Chris Amato
about 1 year ago
@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?
1
12
3
Doctor Whordle 134 6/6 ⬜️⬜️🟧🟧⬜️ ⬜️⬜️🟦🟦🟦 ⬜️⬜️🟦🟦🟦 ⬜️⬜️⬜️⬜️⬜️ 🟦🟦⬜️⬜️⬜️ 🟦🟦🟦🟦🟦
louiseadennis.github.io/doctor-whordle
#DoctorWhordle
Phew!!!
loading . . .
Doctor Whordle
Doctor Whordle
https://louiseadennis.github.io/doctor-whordle
about 1 year ago
0
1
1
reposted by
Louise A. Dennis
Formal Methods for Autonomous Systems
about 1 year ago
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
0
2
1
Doctor Whordle 132 3/6 ⬜️⬜️🟦⬜️⬜️ ⬜️⬜️🟦🟦⬜️ 🟦🟦🟦🟦🟦
louiseadennis.github.io/doctor-whordle
#DoctorWhordle
about 1 year ago
0
1
1
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
loading . . .
Research Associate - Assurance for Robotic Autonomous Systems:Manchester
https://www.jobs.manchester.ac.uk/Job/JobDetail?isPreview=Yes&jobid=30831&advert=external
about 1 year ago
0
2
1
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.
loading . . .
Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving
Xin Quan, Marco Valentino, Louise A. Dennis, Andre Freitas. Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing. 2024.
https://aclanthology.org/2024.emnlp-main.172/
about 1 year ago
0
9
2
Load more
feeds!
log in