Chen Fu’s (付辰) Homepage


  • Office: No. 615, Room 339, Building 5
  • Address: South Fourth Street 4#, Zhong Guan Cun, Beijing

About me

I am currently a Ph.D. student in the group. My main research interests are:
  • Equivalence/Inclusion checking on finite automata
  • Model checking on multi-agent systems
  • Detecting abnormal behaviors of Android apps

If you are also interested in those topics, please be free to contact me.