Chen Fu’s (付辰) Homepage

Contact

About me

I am currently a Ph.D. student in the group. My main research interests are:
  • Specification Mining
  • Linear Temporal Logic
  • Automata Minimization

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

Education