Koichi Takahashi / 高橋 孝一 (たかはし こういち)

My email address is k.takahashi at aist.go.jp ( gnupg public key )

My research interest is on proving by machine. My current topic is security of control systems.

Affiliation / 所属

Awards / 受賞

affiliated academic society / 所属学会

Miscellaneous/ その他

TOEIC score : 670

Publications / 発表

Refereed

Invited

Thesis

Unrefereed

under construction. sorry.