Yoshihiro Imai

Proof Engineer using Coq
Software Engineer using OCaml and Scala

Jobs

(2022.11 ~ now) DMM.com Formal Proof Engineer
(2022.09 ~ now) AIST Continuum Computing Trustworthiness Research Team
(2019.09 ~ now) Founder and CEO of proof ninja, Inc
(2020 ~ now) Visiting Professor of Nagoya university
(2017.04 ~ 2019.08) Expert Engineer at DWANGO Co., Ltd.
(2012 ~ now) Part-time teacher at TopSE
(2016, 2017, 2019) Visiting Associate Professor of Nagoya university
(2007.04 ~ 2017.02) Software Engineer at IT Planning, Inc

Contact

E-mail: y.imai at proof-ninja dot co.jp, y.imai at aist.go.jp, imai-yoshihiro at dmm.com
Twitter: @yoshihiro503

Software

Books

Talks & Lectures

2007 Leightweight Language Spirit
2008 Leightweight Language Future
2009 Open Source Conference
2010 Applications of Coq, a proof assistant, to system development practices - The 12th Workshop on Programming and Programming Languages
2010 Coq un
2011 QCon Tokyo 2011
2011 Coq tutorial - Top SE
2011 Advanced Study at Kyoto University
2011 Career up Seminar
2012 Coq special seminar - Top SE
2012 ML Nagoya
2012 Scala seminar - Top SE
2012 Workshops on Industrial Applications of Formal Methods
2014 Start Ssreflect
2014 Theorem proving and provers for reliable theory and implementations
2014 A Coq Application in a Broadcast System - Proof Summit 2014
2016 Base 常用漢字e ncoding with geNeraLized Base-N encoding - NL Nagoya
2017 Coq for beginners - Proof Summit 2017
2017 My career change - NGK2017b
2018 20th Workshop on Programming and Programming Languages
2018 Proofs of niconico - Proof Summit 2018
2020 The world's safest financial transactions using functional programming - NGK2020s
2021 Blockchain Programming Proven with Functional Language OCaml and Formal Methods - 第一回関数型プログラミング（仮）の会
2023 Introduction to Formal Proofs for Functional Programming Language Users - 第四回関数型プログラミング（仮）の会
2023 Eliminating Bugs with Mathematical Proofs! Introduction to the Formal Method Coq - DM2C Studio Co., Ltd. DMM.com web3 business operation study
2024 blockchain programming with functional programming languages - 第五回関数型プログラミング（仮）の会

Academic Activity

Programming and Programming Languages 2011 (program committee)
PRO83

Yoshihiro Imai

Jobs

Contact

Software

Books

Talks & Lectures

Academic Activity

Study Circle Membership