プライバシーを保護した安全なネットワーク社会を実現するための暗号や認証について研究しています。コンピュータの可能性を探る基礎的研究として、セルオートマトン、可逆コンピューティング、計算複雑性理論などを研究しています。理論的な研究を行っているため、研究室での指導はテキストの輪講や論文の講読、卒業研究の内容に関するディスカッション等が主となります。卒業研究のテーマは教員があらかじめ決まったものを提示するのではなく、学生さんとの議論することで適性に合ったものを見いだしていきます。宛に気軽に問い合わせてください。具体的に話を聞いてみたいという場合には随時研究室で対応します。例年8月にオープンキャンパスがあります。オープンキャンパスでは研究内容のポスターを展示しています。