Yu-Ting Jeff Chen

Hello my name is Jeff and I work at the division of Formal Method. I am a PhD student at Chalmers University of Technology, under the supervision of Professor Carlo A. Furia.

Research interests :=
+ Formal Methods,
+ Program Verification,
+ Intermediate Verification Languages

contact := yutingc at chalmers dot se
office := EDIT building room 5449
supervisor := Prof. Carlo A. Furia / Prof. Laura Kovács / Prof. Wolfgang Ahrendt