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

 

 

My CV

 

Research

 

Photos

 

Links

 

Conferences

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Contact Information

 

Phone:   +81-6-6494-8027

E-mail: t dot nguyen at aist.go.jp

URL: http://staff.aist.go.jp/t.nguyen/

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

 

 

 

 

 

 

Last Updated: June, 2012.