This page has been moved to http://www.jaist.ac.jp/~s1520002/.

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:

SMT-COMP and SMT Workshop 2016

30 May - 2 July, 2016

Info

SAT/SMT/AR Summer School 2016

June 22-25, 2016

Info

IJCAR 2016

27 June - 2 July, 2016

Info