Louise A. Dennis
@louiseadennis.bsky.social
📤 454
📥 473
📝 52
Computer Scientist, Doctor Who Fan.
Random
#DoctorWho
picture
about 7 hours ago
0
1
0
A milecastle on Hadrian's Wall
1 day ago
0
4
0
Beaumaris Castle
8 days ago
1
3
0
Random
#DoctorWho
Picture.
21 days ago
1
7
2
Random
#DoctorWho
Picture
about 1 month ago
0
6
0
Random
#DoctorWho
picture
about 2 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
2 months ago
0
0
0
Random
#DoctorWho
picture
2 months ago
0
2
0
Chesters Roman Fort
#HadriansWall
3 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
3 months ago
0
1
0
Random Roman Romains (Housteads, Hadrian's Wall)
3 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
3 months ago
0
0
0
A walk on Simonside Crags, Northumberland
3 months ago
0
1
0
reposted by
Louise A. Dennis
Dante The K9
4 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/
112
12916
6755
Random
#DoctorWho
picture. Longleat, 1983.
3 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
3 months ago
2
4
2
Random
#DoctorWho
Picture
4 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
4 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
4 months ago
0
1
0
Random
#DoctorWho
Picture
4 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
4 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
4 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
5 months ago
0
1
1
Caernarfon 2020
5 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.
6 months ago
1
4
0
reposted by
Louise A. Dennis
Formal Methods for Autonomous Systems
6 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
6 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
41
11
Enjoyed this walking tour. Also bought a hat! Which admittedly isn’t in this photo.
add a skeleton here at some point
7 months ago
0
1
0
reposted by
Louise A. Dennis
Formal Methods for Autonomous Systems
7 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
8 months ago
0
1
1
reposted by
Louise A. Dennis
UofG Computing Science
10 months 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
10 months 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
12 months 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
12 months ago
0
1
1
reposted by
Louise A. Dennis
Formal Methods for Autonomous Systems
12 months 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
12 months 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
reposted by
Louise A. Dennis
Formal Methods for Autonomous Systems
about 1 year ago
@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!)
0
3
2
reposted by
Louise A. Dennis
Formal Methods for Autonomous Systems
about 1 year ago
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
.
0
2
2
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...
loading . . .
Trustworthy ROS Software Architecture for Autonomous Drones Missions: From RoboChart Modelling to ROS Implementation
Drones are becoming essential tools in emergency situations such as search and rescue, surveillance, and firefighting. These applications make the development of trustworthy software a priority to inc...
https://ieeexplore.ieee.org/abstract/document/10704818
about 1 year ago
1
4
3
reposted by
Louise A. Dennis
Bearendan
about 1 year ago
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.
4
49
14
reposted by
Louise A. Dennis
Vivienne Dunstan
over 1 year ago
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...
loading . . .
William Russell obituary
Stage and screen actor who was part of the original cast of Doctor Who
https://www.theguardian.com/stage/2024/jun/04/william-russell-obituary
0
10
5
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
loading . . .
Enhancing Ethical Explanations of Large Language Models through...
An increasing amount of research in Natural Language Inference (NLI) focuses on the application and evaluation of Large Language Models (LLMs) and their reasoning capabilities. Despite their...
https://arxiv.org/abs/2402.00745
over 1 year ago
0
3
1
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/...
loading . . .
https://www.ifaamas.org/Proceedings/aamas2024/pdfs/p1966.pdf
over 1 year ago
0
4
1
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
loading . . .
People First Technology | University of Manchester | Digital Pioneers
Discover how PhD students at the University of Manchester are putting people before technology to deliver social good.Learn more about the digital series cre...
https://youtu.be/xFdnel2aJ-Q?si=LLZwY_BRGGrw3-uH
over 1 year ago
1
2
2
youtube.com/watch?v=g7Tg...
Someone made a YouTube about one of my papers #
almost 2 years ago
0
1
1
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...
almost 2 years ago
0
1
0
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.
almost 2 years ago
0
1
0
Load more
feeds!
log in