Naoto Sato  Naoto Sato photo         

contact information

Employee
Tokyo Research Laboratory, Yamato, Japan
  +81dash3dash5144dash2834

links


profile


SATO Naoto is a researcher at IBM Research Tokyo.
He got B.Sc, M.Sc, and D.Sci from University of Tokyo.
His research interests focus around mathematical formal logic/models
for defining and analyzing properties of computational systems.
At IBM, he has been involved in research and development projects
including one for developing term-rewriting system-based XQuery compiler
targeted at DataPower appliances and another on formal logic-based smart contract
generation.