Louise Dennis
Stevenage, England, United Kingdom
Summary
👤
Senior🎓
Top SchoolLouise Dennis is a Reader in computer science at the University of Manchester with 14 years’ experience researching the intersection of artificial intelligence and computational proof, particularly programming and verification of autonomous systems. She has led development of practical, verifiable toolchains—ranging from the lambdaClam proof planner and the PROSPER integration toolkit to agent-focused projects like the Agent Infrastructure Layer, AJPF model checker and the Gwendolen verifiable agent programming language. Her work bridges theory and application through collaborations with industrial partners such as National Nuclear Labs and BAE Systems, and she has a strong record of creating verifiable systems alongside verification tools. An active public engagement practitioner, she created the Lego Rovers outreach program that has been used in schools, festivals and hackathons and has been featured in STEM training materials and national media. Colleagues describe her research as driven by building demonstrable, auditable systems rather than purely theoretical results, reflecting a pragmatic commitment to trustworthy autonomous software.
14 years of coding experience
13 years of employment as a software developer
University of Oxford
Stackoverflow
93reputation
2kreached
0answers
3questions
Github Skills (26)
model-checking9
journal9
python9
open-access9
programming-language8
academia7
creative-commons7
pyglet6
opengl6
antlr6
windows6
verification6
cvs6
macos-catalina6
lexer6
Programming languages (7)
Github contributions (5)
VerifiableAutonomy/BDIPython
Aug 2017 - Oct 2019
Contributions:7 commits, 6 pushes, 1 branch in 2 years 1 month
legorovers/pirover_simulator
Feb 2018 - Jul 2026
A python based simulator for the 4tronix Inition and Pi2Go robots.
Contributions:3 releases, 3 reviews, 17 PRs in 8 years 6 months
python
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.