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

HaskellとAgdaを学び始めた大学院生