Nguyen Van Tang, Ph.D.


Postdoctoral Researcher

Research Institute for Secure System (RISEC)

National Institute of Advanced Industrial Science and Technology (AIST)

AIST Kansai Center, Japan








Hello, welcome to my home page. My name is Nguyen Van Tang; well, it seems too long and difficult to pronounce :-). So, to keep things simple, please call me Tang (my given name). I get a Ph.D. (Doctor of Science) in Computer Science from Japan Advanced Institute of Science and Technology (JAIST) in March 2009. My Ph.D. supervisor is Prof. Mizuhito Ogawa. From April 2009, I moved to National Institute of Advanced Industrial Science and Technology (AIST) for a postdoctoral position. I work for a joint research project between AIST and an industrial corporation, the project is led by Dr. Hitoshi Ohsaki and Dr. Yoshiki Kinoshita.


       Research Interests

-          Formal Methods, System Verification

-          Model Checking, Theorem Proving, SAT/SMT Solvers

-          Real-time/Embedded Systems

-          Logics for Computer Sciences

































Contact Information


Phone:   +81-6-6494-8027

E-mail: t dot nguyen at


Address: Nakoji 3-11-46, Amagasaki, Hyogo 661-0974, JAPAN







Last Updated: June, 2012.