Cheshire Cat

Cheshire Cat

Software Engineer
ProofCafe
location_on Japan

Member since 4 months

Share

Cheshire Cat

Specialises In (based on submitted proposals)
infrastructure-as-code:インフラ自動化(iac)

普段の業務では、Docker や Kubernetes を中心としたコンテナオーケストレーション技術の検証と基盤設計を担当。それと並行してプライベートでは、関数型プログラミングや数理的手法によるソフトウェア検証について研究していたりいなかったりする。トレードマークは猫耳。

help