形式言語理論やソフトウェア基礎理論の研究とともに、それらの理論を応用して現実世界をモデル化し問題解決することに興味をもっています。研究では、なぜ問題がうまく解けたのか（もしくは、解けなかったのか）を客観的に理解することも重要だ ...

我々のグループでは、理論化学・情報化学の分野で先駆的な研究を行っています。特に、液体の統計力学理論、電子状態理論、分子動力学を組み合わせ、溶液中の分子や分子集合体（例えば生体分子）の構造や機能に関する研究を展開しています。

物質の原子・分子レベルでの情報を解析する理論化学・計算化学的アプローチにより，主に凝縮系における複雑な化学反応や物性のメカニズムの解明を目指して研究を行っています。特に，光励起状態が関わる反応や物性の機構解明に取り組み，そのた ...