Profile

Chinese Name
陳郁方
 
English Name
Chen, Yu-Fang
 
Personal Site
 
Main Affiliation
 
Loading... 9 0 20 0 false

Current Position

Research Fellow/Professor

Education

Ph.D., Information Management, National Taiwan Universality, Taiwan
 

Research Field

Software Verification
Model Checking
Automata Theory
Algorithmic Learning
Formal Methods