Chinese
English
Assistant Research Fellow  |  Chen, Yu-Fang  
 
contact
vita
education
interests
activities
invited_talk
invited_visit
honors
publications
Personal (New window)
 
 
 
 
 
Research Interests
 
  • Software Verification
  • Model Checking
  • Automata Theory
  • Algorithmic Learning
  • Formal Methods
  •  
     
    bg