Jon Timmis

About

Jon Timmis is a distinguished researcher whose work spans artificial immune systems, biologically-inspired computing, swarm robotics, and formal verification of robotic systems. Drawing inspiration from natural biological processes, Timmis has made pioneering contributions to the development of self-adaptive, fault-tolerant systems that mimic the resilience and plasticity observed in living organisms. Among his most significant achievements is his work on RoboChart, a modelling and verification framework for robotic applications that addresses critical safety concerns in an era of increasingly autonomous systems, garnering over 113 citations. His involvement in the EU-funded CoCoRo project demonstrated the power of heterogeneous underwater swarms combining bio-inspired cognition, accumulating over 100 citations. His research into homeostatic fault tolerance in spiking neural networks and astrocyte-neural models further reflects his commitment to translating biological self-repair principles into robust computational hardware. Timmis has also advanced evolutionary robotics through the Triangle of Life framework and contributed foundational ideas around artificial homeostatic systems as early as 2005. With numerous highly cited publications collectively representing hundreds of citations, his work continues to inform researchers developing resilient, autonomous, and biologically-grounded robotic and computational systems.

Research Focus

Key Achievements

Top Papers

1. 1
   RoboChart: modelling and verification of the functional behaviour of robotic applications

   113 citations · 2019
2. 2
   CoCoRo -- The Self-Aware Underwater Swarm

   102 citations · 2011
3. 3
   The Triangle of Life: Evolving Robots in Real-time and Real-space

   59 citations · 2013
4. 4
   Homeostatic Fault Tolerance in Spiking Neural Networks: A Dynamic Hardware Perspective

   58 citations · 2017
5. 5
   Artificial Homeostatic System: A Novel Approach

   54 citations · 2005
6. 6
   Generic, scalable and decentralized fault detection for robot swarms

   54 citations · 2017
7. 7
   Exploring Self-Repair in a Coupled Spiking Astrocyte Neural Network

   50 citations · 2018
8. 8
   An adaptive neuro-endocrine system for robotic systems

   44 citations · 2009
9. 9
   Verified simulation for robotics

   44 citations · 2019
10. 10
    Timidity: A useful emotional mechanism for robot control?

    43 citations · 2003

Key Collaborators

Contact & Links