College: College of Physical & Mathematical Sciences
Department: Computer Science
3366 TMCB
Research Interests:
- Formal methods
- Animation
- Human-machine interaction
College: College of Physical & Mathematical Sciences
Department: Computer Science
3366 TMCB
Research Interests:
- Formal methods
- Animation
- Human-machine interaction