conf.researchr.org / Naoki Nishida
![Naoki Nishida](https://conf.researchr.org/getProfileImage/naokinishida/eee68f07-5ad4-4bff-94f6-dd43b7d1223c/small.jpg?1712415629000)
Registered user since Fri 8 Mar 2019
Name:Naoki Nishida
Country:Japan
Affiliation:Nagoya University
Personal website: https://www.trs.css.i.nagoya-u.ac.jp/~nishida/
Research interests:term rewriting, program transformation, program verification
Contributions