2019年に沖電気工業(OKI)から情報処理推進機構(IPA)に出向。 OKIでは言語処理系や人工知能、マルチメディア、金融系システムの開発、ソフトウェア技術支援に従事。 IPAでは製造分野DX推進やソフトウェア開発の定量分析に従事。 個人でDX研究会(会員約750名)を主宰。 三重大学や名古屋商科大学、群馬高専の講師を歴任。 電子情報技術産業協会のソフトウェア事業基盤専門員会の委員長を歴任。 「はじめてのLisp関数型プログラミング」「プログラム言語論」「まるわかり! AI開発 最前線2018」「IoTセキュリティ」など書籍執筆多数。 「ゼロから始めるモノづくりDX」「関数型プログラミングと数学」「人工知能とはどんなものか」など雑誌記事、「IoT時代の組み込み系ソフトウェア品質」「プロジェクトを成功させるモデリングの極意」「ゼロから挑戦！IoT開発」などウェブ記事執筆多数。 「はじめての中小規模製造業者のDX導入セミナー」「すべてがつながる時代の戦略的セキュリティ」「直交表とオールペア法によるソフトウェアテスト手法」など講演多数。 情報処理学会シニア会員、三重大学リサーチフェロー。博士（工学）。