Yoriyuki Yamagata

Senior Researcher, Software Analytics Research Group, Information Technology Research Institute, AIST

Interests: Software verification, logic

Japanese »

New posts

Recent published papers

Recent published papers:

RV 2017

Our paper will be presented at RV2017.

CAPE Lecture

At 112-th CAPE Lecture, I will give a talk on a proof theoretical semantics of classical logic and its application to a strong normalization proof.