自己紹介 Introduction
張江 洋次朗 Yojiro Harie
山梨大学大学院 総合研究部 工学域 電気電子情報工学系（コンピュータ理工学）所属。
父が転勤族ということもあり、生まれは三重県、物心が付いた頃は埼玉県、10代は北海道で過ごしました。 北海道稚内市出身と言いたいのですが、北海道にあまり好かれていない気がしているので、その次に縁のある、大学院時代以降に過ごしている長野県長野市の出身ということにしています。
ソフトウェア工学、モデル検査、ソフトウェア自動検証に関する研究に取り組んでいます。
実世界の課題を解決するため、AI・IoTを応用した次世代システムの信頼性向上にも注力しています。
父が転勤族ということもあり、生まれは三重県、物心が付いた頃は埼玉県、10代は北海道で過ごしました。 北海道稚内市出身と言いたいのですが、北海道にあまり好かれていない気がしているので、その次に縁のある、大学院時代以降に過ごしている長野県長野市の出身ということにしています。
ソフトウェア工学、モデル検査、ソフトウェア自動検証に関する研究に取り組んでいます。
実世界の課題を解決するため、AI・IoTを応用した次世代システムの信頼性向上にも注力しています。
Yojiro Harie is an Assistant Professor at the Faculty of Engineering, University of Yamanashi.
His research focuses on software engineering, model checking, and automated verification technologies.
He is also working on improving the reliability of next-generation systems by applying AI and IoT technologies.
His research focuses on software engineering, model checking, and automated verification technologies.
He is also working on improving the reliability of next-generation systems by applying AI and IoT technologies.