Супратик Чакраборти
Супратик Чакраборти — индийский учёный-компьютерщик . В настоящее время он является профессором кафедры Bajaj Group на факультете компьютерных наук и инженерии Индийского технологического института в Бомбее . [ 1 ]
Супратик окончил бакалавриат по компьютерным наукам и инженерии в Индийском технологическом институте Харагпура в 1993 году, где он был награжден золотой медалью президента Индии. Впоследствии он защитил степень магистра и доктора философии. Получил степень бакалавра электротехники в Стэнфордском университете в 1995 и 1998 годах соответственно, работая над разработкой полиномиальных аппроксимированных алгоритмов для временного анализа асинхронных систем . В течение года он проработал в группе перспективных исследований САПР в Fujitsu Laboratories of America, прежде чем присоединиться к Индийскому технологическому институту в Бомбее в 1999 году. [ нужна ссылка ]
Его текущие области исследований включают как теоретические, так и практические аспекты формальных методов , включая формальную верификацию программных и аппаратных систем, ограниченный подсчет и выборку и их приложения, автоматизированный синтез, теорию автоматов , логику и системную биологию . В прошлом он также занимался проектированием и анализом асинхронных систем и клеточных автоматов .
Он является избранным членом Индийской национальной инженерной академии . [ 2 ] Почетный член Ассоциации вычислительной техники , [ 3 ] Старший член IEEE и почетный выпускник Индийского технологического института Харагпура . [ 4 ]
Ссылки
[ редактировать ]- ^ «Супратик Чакраборти» . www.cse.iitb.ac.in. ИИТ Бомбей.
- ^ «Два профессора ИИТ Бомбея избраны членами Индийской национальной инженерной академии» . Полдень . 30 сентября 2019 г.
- ^ «ACM отмечает выдающихся членов 2021 года за важнейший вклад в образование, инженерию и науку» , ACM , 15 декабря 2021 г.
- ^ Премия выдающемуся выпускнику 2022 г., ИИТ Харагпур (PDF) , 24 декабря 2022 г.
| Базы данных авторитетного контроля : академики |
|---|
