東京大学大学院 情報理工学系研究科 稲葉真理研究室

SAT solver 開発中。
OB の薗部さんが 開発した CIR_MiniSAT が　2011 年 6 月に、ミシガン大学で開催された SAT conference SAT competition MiniSAT hack 部門で金メダル受賞、総合・アプリケーション・SAT部門でも銀メダルでした。
現在は博士課程の Moon さんと修士課程の戸ヶ崎さんが並列SAT solver の研究をしています。

「つなぐ・つながる、ひらく・ひろがる」
日本・アメリカ・ヨーロッパをつなぐ、実際の回線を使った遠距離通信の実証的研究を行っている．
2004年の秋から現在までにTCP/IP通信速度の世界記録 Internet2 Land Speed Record で 10回世界記録更新.
現在のテーマは　100Gbps の転送をいかに効率よく行うか。