Supratik Chakraborty とは

Supratik Chakrabortyはインドのコンピュータ科学者です。彼はインド工科大学のボンベイ工科大学コンピュータサイエンス工学科の教授です。
Supratikは1993年にインド工科大学Kharagpurでコンピュータサイエンスとエンジニアリングの学部を修了し、インド金メダルの大統領に就任しました。その後、彼は彼のM.S.を完了した。 Ph.D. 1995年と1998年にそれぞれスタンフォード大学の電気工学で、非同期システムのタイミング解析のための設計多項式時間近似アルゴリズムに取り組んでいます。彼は1999年にインド工科大学ボンベイに入社する前に、Fujitsu Laboratories of AmericaのAdvanced CAD Researchグループで1年間働いていました。
彼の現在の研究分野には、ソフトウェアとハ​​ードウェアシステムの正式な検証、制約されたカウントとサンプリングとそのアプリケーション、オートマトン理論、論理、およびシステム生物学を含む正式な方法の理論的および実践的な側面が含まれます。過去には、過去に非同期システムやセルオートマトンの設計と解析に携わってきました。