定理証明系や論理プログラミングに興味をもっています。

SIer→事業会社→ITコンサルタントとして四半世紀業界を渡り歩いてきました。SRE/CCoE/CSIRT経験があり、インフラ・セキュリティ周りの業務に明るいですが、その一方でOSSコミッターとして個人プロダクトを作っては放流しています。