Jeff YuTing Chen


I am ...

a PhD student at Chalmers University of Technology, under the supervision of 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

Teaching


Publications


Tools


Curriculum Vitae