Interests

News W3Schools Labels Football Gaming Friends

×

Ey!

Looking for more about me or useful links? Find out here.

Kinh nghiệm chọn giáo sư - thầy hướng dẫn nghiên cứu sinh

Facebook

Study Japanese

Introduction

I am Vu Xuan Tung, a Ph.D. student at JAIST. My research interests are SAT, SMT and Type Systems.

Publications

Presentations

Other References

Languages

  • Vietnamese: Native.
  • English: Intermediate.
  • Japanese: Intermidate, N3 in a JLPT Test.

Upcoming Events:

FroCoS 2017

27 - 29 Sep., 2017

Info