Louise Dennis

@louiseadennis@mstdn.social
132 Followers
206 Following
160 Posts
Computer Scientist. Researcher in Artificial Intelligence and Autonomous Systems. She/Her
Web Pagehttps://personalpages.manchester.ac.uk/staff/louise.dennis/
Twitterhttps://twitter.com/louiseadennis
DreamWidthhttps://purplecat.dreamwidth.org
Louise DennisJun 2
Assn for Computing MachineryJun 2

🎉 Congratulations to #ACMFellow Shlomo Zilberstein of of the Manning College of Information and Computer Sciences on receiving the 2025 ACM/SIGAI Autonomous Agents Research Award!

Zilberstein is recognized for having “established the field of decentralized Markov Decision Processes (DEC-MDPs), laying the groundwork for decision-theoretic planning in multi-agent systems and multi-agent reinforcement learning (MARL).”

👏 Well-earned recognition! https://bit.ly/4kIIrS1

Louise DennisJun 2
Walked to Polccoyo Rainbow Mountains today. Only a short walk but we were at nearly 5000m so took it slow.
Louise DennisMar 16
JOSSMar 15
Just published in JOSS: 'DemeterWatch: A Java tool to detect Law of Demeter violations in Java collections' https://doi.org/10.21105/joss.07308
DemeterWatch: A Java tool to detect Law of Demeter violations in Java collections

de Aquino et al., (2025). DemeterWatch: A Java tool to detect Law of Demeter violations in Java collections. Journal of Open Source Software, 10(107), 7308, https://doi.org/10.21105/joss.07308

Journal of Open Source Software
Louise DennisFeb 1
Ben WerdmullerJan 31
"On Friday morning, the staffers at a half dozen U.S.-funded medical facilities in Sudan who care for severely malnourished children had a choice to make: Defy President Donald Trump’s order to immediately stop their operations or let up to 100 babies and toddlers die." They chose the children. https://www.propublica.org/article/trump-state-department-usaid-humanitarian-aid-freeze-ukraine-gaza-sudan
“People Will Die”: The Trump Administration Said It Lifted Its Ban on Lifesaving Humanitarian Aid. That’s Not True.

Organizations that provide vital care for desperate and vulnerable people around the world have been forced to halt operations, turn away patients and lay off staff. “I’ve never seen anything that scares me as much as this,” one doctor said.

ProPublica
Louise DennisNov 27, 2024
Adding services and some functionality to handle message ordering to ROS runtime verification https://mastodon.acm.org/@FMASWorkshop/113548402666800468
FMASWorkshop (@FMASWorkshop@mastodon.acm.org)

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

Mastodon
Louise DennisNov 27, 2024

Phew!! Doctor Whordle 134 6/6

⬜️⬜️🟧🟧⬜️
⬜️⬜️🟦🟦🟦
⬜️⬜️🟦🟦🟦
⬜️⬜️⬜️⬜️⬜️
🟦🟦⬜️⬜️⬜️
🟦🟦🟦🟦🟦
https://louiseadennis.github.io/doctor-whordle
#DoctorWhordle

Doctor Whordle

Doctor Whordle

Louise DennisNov 25, 2024
Dorothy BishopNov 25, 2024
New blogpost:
http://deevybee.blogspot.com/2024/11/why-i-have-resigned-from-royal-society.html
Why I have resigned from the Royal Society

The Royal Society is a venerable institution founded in 1660, whose original members included such eminent men as Christopher Wren, Robert H...

Louise DennisNov 25, 2024

Doctor Whordle 132 3/6

⬜️⬜️🟦⬜️⬜️
⬜️⬜️🟦🟦⬜️
🟦🟦🟦🟦🟦
https://louiseadennis.github.io/doctor-whordle
#DoctorWhordle

Doctor Whordle

Doctor Whordle

Louise DennisNov 19, 2024
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: https://www.jobs.manchester.ac.uk/Job/JobDetail?isPreview=Yes&jobid=30831&advert=external #formal_verification #formal_methods #academic_jobs
Research Associate - Assurance for Robotic Autonomous Systems:Manchester

Louise DennisNov 16, 2024
My PhD student Xin Quan has won best paper award at EMNLP for his paper Verification and Refinement of Natural Language Explanations through LLM-Symbolic Theorem Proving ( https://aclanthology.org/2024.emnlp-main.172/ ). This integrates explanations generated by chatGPT with a theorem prover to validate correctness. #emnlp2024 #OpenAccess
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.

ACL Anthology