SEKIZAWA Toshifusa / 関澤 俊弦

Affiliation:

Osaka Gakuin University Faculty of Informatics
National Institute of Advanced Industrial Science and Technology (AIST)

Research Center for Verification and Semantics (CVS)

e-mail: sekizawa-t at aist.go.jp

• Publications ( English / Japanese ) ( publications powered by PMAN )
• Links

Profile:

Work Experience
2009 Apr - (present): lecturer, Faculty of Informatics, Osaka Gakuin University
2009 Apr - (present): visiting researcher, Research Center for Verification and Semantics, AIST
2008 Apr - 2009 Mar: part-time lecturer, Faculty of Informatics, Osaka Gakuin University
2005 Sep - 2009 Mar: technical staff, Research Center for Verification and Semantics, AIST
2004 Apr - 2005 Aug: Japan Science and Technology Agency (JST)
2003 Jun - 2004 Mar: technical staff, AIST
1998 Apr - 2003 May: Nihon Unisys Ltd.

Education
2009 Ph.D., Graduate School of Information Science and Technology, Osaka University
1998 MSc, Graduate School of Science (Course of Physics), Gakushuin University
1996 BSc, Department of Physics, Gakushuin University

(since Dec. 03, 2007)