College: College of Physical & Mathematical Sciences
Department: Computer Science
Research Interests:
- Programming languages
- Static analysis
- Formal methods
College: College of Physical & Mathematical Sciences
Department: Computer Science
Research Interests:
- Programming languages
- Static analysis
- Formal methods