JAIST Logic@JAIST
Researcher

Nao Aoki

Experience

  • Japan Advanced Institute of Science and Technology

    Researcher

    September 2011 – Present  Ishikawa, Japan

  • CATS Co, Ltd.

    Technical Communicator

    September 2001 – May 2011 Kanagawa, Japan

  • Information-Technolody Promoting Agency, Japan

    Researcher

    June 2004 – March 2007 Tokyo, Japan

  • Jasdic Park

    Assistant Coordinator

    October 2000 – August 2001 Tokyo, Japan

  • KVH Telecom

    Assistant Manager

    April 2000 – October 2000 Tokyo, Japan

  • Marantz Japan

    Software Engineer

    April 1999 – March 2000 Kanagawa, Japan

Group: Research Center for Software Verification