システムソフトウェアと形式検証に興味があります。読むに耐えないメモ書きがほとんどになると思います。