Hoang Nga Nguyen

Research Fellow, VRBMAS

Final year projects

I am interested in the following areas (but not limited to): Artificial Intelligent (AI), Knowledge Representation and Reasoning (KRR), Multi-Agent Systems (MAS), Logics and Formal Verification (LOG). Any project ideas within these areas are welcome. Followings are my suggestions:

  • LOG : build a symbolic model checker for CTL and ATL in Prolog. Skill to build: Prolog, CTL, ATL.
  • LOG : create a graphical editor for constructing CTL and ATL models and generating specifications to some existing model checkers (eg., mcmas). Skills required or to learn: Java, GMF, CTL, ATL.