College: College of Physical & Mathematical Sciences
Department: Computer Science
3334 TMCB
Research Interests:
- Model Checking
- Software Verification
- Program Analysis
- Concurrency
- Message Passing Interface (MPI)
College: College of Physical & Mathematical Sciences
Department: Computer Science
3334 TMCB
Research Interests:
- Model Checking
- Software Verification
- Program Analysis
- Concurrency
- Message Passing Interface (MPI)