Research Interest

  • Theory of Computation:
    • tree automata
    • term rewriting
  • System Verification and Tool Development

Publications

  International | Domestic publications

Organization Support

  International | Domestic activities

Awarding

  • Best paper award (RTA'08)
  • Young researcher award (MEXT)

...MORE INFORMATION

Personal Data

DR. Eng. Senior Research Scientist Hitoshi Ohsaki

  • Hitoshi Ohsaki
  • Dr. Eng.
    Senior Research Scientist, AIST

...MORE INFORMATION

Contact Information

  • Office: AIST Kansai - Senri site (MSK bldg. 5th floor)   [map]
  • Address: Shin-Senri Nishi 1-2-14, Toyonaka, Osaka 560-0083, Japan.
    (address for printing)
  • Phone: +81 6 4863 5024 (5025 for my absence)
  • FAX: +81 6 4863 5052
  • E-mail:

Designed by Pixeliere