Hongfei Fu (Preferred)
Hongfei Fu
Associate Professor, School of Computer Science, Shanghai Jiao Tong University
Joined
July 2019
Names
Emails
****@sjtu.edu.cn (Confirmed)
****@cs.sjtu.edu.cn (Confirmed)
Personal Links
Career & Education History
Associate Professor
School of Computer Science, Shanghai Jiao Tong University (sjtu.edu.cn)
2017 – Present
Researcher
Chinese Academy of Sciences, Chinese Academy of Sciences (ios.ac.cn)
2016 – 2017
Postdoc
Institute of Science and Technology (ist.ac.at)
2015 – 2016
PhD student
Rheinisch Westfälische Technische Hochschule Aachen (rwth-aachen.de)
2010 – 2014
Advisors, Relations & Conflicts
Expertise
formal methods
Present
programming languages
Present