Rajeev Alur とは

Rajeev Alurは、米国ペンシルバニア大学のコンピュータおよび情報科学部のZisman家族教授です。
1987年にインドのカーンプルでインド工科大学でコンピューターサイエンスの学士号を取得し、1991年に米国カリフォルニア州スタンフォード大学でコンピューターサイエンスの博士号を取得しました。1997年にペンシルベニア大学に入社する前、ベル研究所のコンピューティングサイエンス研究センター。 Alurの研究は、リアクティブ・システム、ハイブリッド・システム、モデル検査、ソフトウェア検証、組込みソフトウェアの設計自動化の正式なモデリングと分析に及んでいます。彼の貢献には、時間のかかるオートマトンや、ネストされた単語や木の言語に基づく時間的な仕様が含まれます。彼はACMのフェローであり、IEEEのフェローであり、最近はACM SIGBED(組み込みシステムに関する特別関与グループ)の議長を務めた。