Yuki Nishida
Assistant Professor
Tohoku University
JapanResearch Interests
Explore related searches
Contact this professor
Get a free first email built on one of their papers, ready for you to edit and send yourself.
About
Yuki Nishida is an Assistant Professor at Tohoku University in Japan. His research focuses on areas related to law and order in typestate systems and the development of verification tools for smart contracts, specifically utilizing refinement types. His recent publications include works on typestate borrowing and a verifier for Tezos smart contracts.
Articles (2)
Year:
2024
Year:
2022
Collaborators (2)
Kohei Suenaga
Kyoto University
JAPAN
Atsushi Igarashi
教授 / Professor
Kyoto University
JAPAN
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.