|
Postdoctoral
Researcher
Research
Institute for Secure System (RISEC) National
Institute of Advanced Industrial Science and Technology (AIST) |
|||
|
|
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 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.