Helen Treharne

Papers

Total Citations

H-Index

About

Helen Treharne is a leading researcher in formal methods and computational biology, with a particular focus on the safety-critical intersection of nanotechnology and medicine. Her most influential work, "A layered behavioural model of platelets" (2006, 13 citations), pioneers a novel modelling technique that combines Communicating Sequential Processes (CSP) and the B method to simulate networks of nanorobots. This foundational contribution addresses pressing safety concerns in medical nanotechnology by providing a rigorous, layered framework for verifying the behaviour of autonomous nanoscale agents before deployment. Treharne's approach enables researchers to model complex biological interactions—such as platelet-inspired clotting mechanisms—with mathematical precision, bridging the gap between theoretical computer science and practical biomedical engineering. Her work stands as a critical step toward ensuring the reliability and safety of future nanomedical systems, demonstrating how formal verification can mitigate risks in emerging technologies. Through this research, Treharne has established herself as a key figure in the development of trustworthy computational models for next-generation healthcare applications.