Ichiro Hasuo
Has grant
Associate Professor
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
Ichiro Hasuo is an Associate Professor at the National Institute of Informatics in Japan. His research focuses on randomized programs and hybrid system falsification, as evidenced by his recent articles on ranking and repulsing supermartingales and search space transformation techniques. With a commitment to advancing the field of informatics, Professor Hasuo contributes valuable insights into complex system behaviors and constraints.
Recent Grants
Grant: Close
ERATO HASUO Metamathematics for Systems Design Project
Open Date: 2016-10-01
Close Date: 2022-03-01
Grant: Close
圏論と数理論理学によるものづくりサポート―ソフトウェア科学のシステム工学への移転
Open Date: 2015-07-10
Close Date: 2019-03-31
Grant: Close
相互作用の幾何の確率拡張――圏論的意味論からビッグデータへ
Open Date: 2015-04-01
Close Date: 2018-03-31
Grant: Close
Taming New Computing Paradigms: Diverse Techniques in Semantics United, Enhanced and Applied
Open Date: 2012-04-01
Close Date: 2016-03-31
Grant: Close
Foundation of Modular Verification via Stone-Like Dualities and theMicrocosm Principle
Open Date: 2011-01-01
Close Date: 2012-12-31
Articles (2)
Year:
2021
Year:
2020
Collaborators (1)
Paolo Arcaini
Project Associate Professor
National Institute of Informatics
ApplyKite TwinLearns as you applyMake your next move.
Prepare your application
Review drafts before you send them.