Hoang Nga Nguyen
Research Fellow, VRBMAS
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.