Research Fellow/Professor |
Chen, Yu-Fang
Research Interests
Software Verification
Model Checking
Automata Theory
Algorithmic Learning
Formal Methods