Yoriyuki Yamagata

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

Interests: Software verification, logic

Japanese »

New posts

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.

Anomaly Detection of a CPS using Machine Learning

The slides on our recent work are posted.