Yoshihiro Imai

Software engineer and software prover at IT Planning, Inc
Part-time teacher at TopSE

Contact

E-mail: y.imai at ocaml.jp
Twitter: @yoshihiro503

Software

Books

Talks & Lectures

2007 Leightweight Language Spirit
2008 Leightweight Language Future
2009 Open Source Conference
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

Academic Activity

Programming and Programming Languages 2011 (program committee)
PRO83

Study Circle Membership