Clark Barrett

複数の目標と論理的制約を組み込んだ複雑な最適化問題のための柔軟なフレームワーク。

研究は、言語モデルの推論の明確さを向上させて、より正確さを増すんだ。

テーブルと関係理論を使ってSQLクエリを検証する新しい方法を探ってる。

さまざまなコンピュータアーキテクチャのための命令選択を自動化して最適化する方法。