Weiwei AiView profile
Research Fellow
- Computational physiology
- Software testing, verification and validation
- Computational logic and formal languages
- +2 more
Dr. Weiwei Ai is a Research Fellow at the Auckland Bioengineering Institute , University of Auckland, New Zealand. With a multidisciplinary background in biomedical engineering and computational modeling, he focuses on developing energy-consistent physiological models and closed-loop validation frameworks for implantable medical devices. Education PhD in Bioengineering, University of Auckland (2019) Master of Engineering (ME) in Electrical Engineering, Beijing University of Technology (2005) BSc in Electronic Engineering, Qingdao University (2002) Dr. Ai's research centers on computational physiology and medical device validation , utilizing bond graph formalisms and hybrid automata to create thermodynamically consistent models for glucose transport, cardiac pacemakers, and gastrointestinal systems. His work bridges mathematical modeling with clinical applications through formal verification techniques. His recent publications highlight trends in closed-loop biomedical device design and energy-based physiological modeling , including: (1) bond graph models for SLC transporter dynamics, (2) adaptive respiratory pacemaker frameworks with biofeedback, (3) formal verification of cardiac devices using timed automata, and (4) compositional cyber-physical epidemiology models. He also explores AI-driven integration of digital twins in healthcare through FAIR data principles. Supervision Opportunities : Dr. Ai is an accredited PhD supervisor at the University of Auckland, offering projects on AI-driven energy-based platforms for credible digital twins in healthcare. Labs : Affiliated with the Auckland Bioengineering Institute, focusing on computational models and in-silico validation systems.








