1954年東京都生まれ。1977年早稲田大学理工学部化学科卒業。1979年早稲田大学理工学部数学科卒業。1989年Dr.rer.nat.(ベルリン自由大学)。ハノーバー大学、ヘブライ大学、ベルリン自由大学、北見工業大学、中部大学工学部教授等を経て、現在神戸大学大学院システム情報学研究科教授。専門は数理論理学、とくに集合論とその応用の研究。（16年1月現在）

翻訳書／『現代のブール代数』(共立出版)、『数学の基礎』(シュプリンガー・フェアラーク東京、共訳)、『巨大基数の集合論』(シュプリンガー・フェアラーク東京)