Hoang Nga Nguyen

Research Fellow, VRBMAS

Research Interests

  • Model-based designs.
  • Formal specification and verification,
  • Model checking and theorem proving
  • Timed/Hybrid/Cyber-physical systems
  • Multiagent systems,
  • Knowledge representation and reasoning.

Project History

  • VRBMAS funded by EPSRC
  • SafeCap (2011-13) funded by EPSRC & RSSB
  • Verifying requirements for resource-bounded agents (2007-2010) funded by EPSRC