長藤かおり
早稲田大学 客員教授
カールスルーエ技術研究所 客員教授
研究概要
科学工学モデルの安定性に関する計算機援用解析自然科学や工学における現象解析のための数理モデルについて、主にその安定性を中心に数学理論と計算機を用いて厳密に解析します。通常の数値シミュレーションによる結果に対して数学的な保証を与えること、また理論的な解析が不可能、或いは非常に複雑な場合に対して計算機援用による解析手法を確立することを目標とします。様々な解析対象に柔軟に対応でき、かつ数学的に保証された結果を提供できる効率的なシステムの構築を目指します。