Louise Dennis
Reader at University of Manchester
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.
13 years of coding experience
13 years of employment as a software developer
University of Oxford
Stackoverflow
93reputation
2kreached
0answers
3questions
Github Skills (34)
simulator10
checker10
prototyping10
model-checking9
journal9
simulation9
java9
open-access8
python8
agent8
academia7
pyglet6
creative-commons6
opengl6
antlr6
Programming languages (7)
Github contributions (5)
mcapl/mcapl
Jun 2014 - Feb 2023
The MCAPL Project provides a tool for prototyping BDI agent programming languages and model checking programs written in these languages via an interface to the JavaPathfinder model checker.
Contributions:5 releases, 514 commits, 3 PRs in 8 years 10 months
model-checkermodel-checkingagentbdichecker
VerifiableAutonomy/BDIPython
Aug 2017 - Oct 2019
Contributions:7 commits, 6 pushes, 1 branch in 2 years 1 month
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.