Yuki Nishida

https://orcid.org/0000-0001-5941-6770

• DBLP
• researchmap

Yuki Nishida is a postdoctoral researcher at Computer Software Group, Department of Communications and Computer Engineering, Graduate School of Informatics, Kyoto University. He completed his Ph.D. degree at Kyoto University in 2020.

Research interest

• Programming language theory
  • Type theory
    • He is interested in a dependent type theory, more specifically refinement type system, which is related to program verification.
  • Program verification
    • He developed a SMT-based verifier for smart contracts. Recent interest is interpretation and representation of cause of error.