https://en.bharatpedia.org/w/index.php?action=history&feed=atom&title=Supratik_ChakrabortySupratik Chakraborty - Revision history2026-08-03T21:41:46ZRevision history for this page on the wikiMediaWiki 1.43.6https://en.bharatpedia.org/w/index.php?title=Supratik_Chakraborty&diff=538450&oldid=prevKaleyCountryman: New A Data2026-01-09T07:02:22Z<p>New A Data</p>
<p><b>New page</b></p><div>{{Short description|Indian computer scientist}}<br />
{{Use dmy dates|date=June 2022}}<br />
{{Use Indian English|date=June 2022}}<br />
<!--- Don't mess with this line! ---><!--- Replace Subject of my article with the subject, and the ... after is with whatever your subject is. ---><br />
{{Infobox scientist<br />
| name = Supratik Chakraborty<br />
<!--| image = supratik.jpg--><br />
| alma_mater = [[Stanford University]] (MS, PhD), <br />
<br>[[Indian Institute of Technology Kharagpur]] (B.Tech.)<br />
| workplaces = [[Indian Institute of Technology Bombay]]<br><br />
Fujitsu Research of America<br />
| fields = [[Formal methods]]<br> [[Automated reasoning]]<br />
| doctoral_advisor = [[David L. Dill]]<br />
| website = https://www.cse.iitb.ac.in/~supratik<br />
}}<br />
'''Supratik Chakraborty''' is an Indian [[computer scientist]]. He is currently Bajaj Group Chair Professor in the Department of Computer Science and Engineering at [[Indian Institute of Technology Bombay]].<ref>{{cite web |title=Supratik Chakraborty |url=http://www.cse.iitb.ac.in/~supratik |website=www.cse.iitb.ac.in |publisher=IIT Bombay}}</ref><br />
<br />
==Education==<br />
Supratik completed his undergraduate in Computer Science and Engineering from [[Indian Institute of Technology Kharagpur]] in 1993, where he was awarded the President of India Gold Medal. Subsequently, he completed his M.S. and Ph.D. in [[Electrical Engineering]] from [[Stanford University]] in 1995 and 1998 respectively, working on the design of [[polynomial time]] approximate algorithms for [[Static timing analysis|timing analysis]] of [[asynchronous systems]]. He worked for a year in the Advanced CAD Research group at [https://www.fujitsu.com/us/about/businesspolicy/tech/rd/ Fujitsu Laboratories of America] before joining [[Indian Institute of Technology Bombay]] in 1999.<br />
<br />
==Career==<br />
His areas of research include both theoretical and practical aspects of [[formal methods]] and [[automated reasoning]]. Specifically, he has worked on [[formal verification]] of software and hardware systems, constrained counting and sampling, automated synthesis, [[automata theory]], [[logic]], and [[systems biology]]. In the past, he has also worked on design and analysis of [[asynchronous systems]] and on [[cellular automata]].<br />
<br />
==Awards and honors==<br />
He is a Fellow of [[Indian National Academy of Engineering]],<ref>{{cite news |title=Two professors from IIT Bombay elected as Fellows of the Indian National Academy of Engineering |url=https://www.mid-day.com/articles/two-professors-from-iit-bombay-elected-as-fellows-of-the-indian-national-academy-of-engineering/21824196 |work=Mid-Day |date=30 September 2019 |language=en}}</ref> a Distinguished Member of [[Association for Computing Machinery]],<ref>{{citation |title=ACM Recognizes 2021 Distinguished Members for Pivotal Educational, Engineering and Scientific Contributions |url=https://www.acm.org/media-center/2021/december/distinguished-members-2021 |work=ACM |date=15 December 2021 |language=en}}</ref> a Fellow of [https://www.aaia-ai.org/fellows?words=chakraborty Asia-Pacific Artificial Intelligence Association], a Senior Member of [[IEEE]] and a Distinguished Alumnus of [[Indian Institute of Technology Kharagpur]].<ref>{{citation | title=Distinguished Alumnus Award 2022, IIT Kharagpur |url=https://www.iitkgp.ac.in/files/DAA2022.pdf |date=24 December 2022 |language=en}}</ref> In 2021, he was elected an [[List of distinguished members of the Association for Computing Machinery|ACM Distinguished Member]].<ref>{{cite web |url= https://www.acm.org/media-center/2021/december/distinguished-members-2021 |title= ACM Recognizes 2021 Distinguished Members for Pivotal Educational, Engineering and Scientific Contributions Longstanding Members Cited for Trailblazing Achievements across Computing Field |author= Jim Ormond |date= December 15, 2021 |website= [[Association for Computing Machinery]] |publisher= |access-date= January 9, 2026 |quote=}}</ref><br />
<br />
==References==<br />
{{Reflist}}<br />
<br />
<!--- After listing your sources please cite them using inline citations and place them after the information they cite. Please see http://en.wikipedia.org/wiki/Wikipedia:REFB for instructions on how to add citations. ---><br />
<br />
{{authority control}}<br />
<br />
{{DEFAULTSORT:Chakraborty, Supratik}}<br />
[[Category:Indian computer scientists]]<br />
[[Category:Formal methods people]]<br />
[[Category:Living people]]<br />
[[Category:Year of birth missing (living people)]]<br />
[[Category:IIT Kharagpur alumni]]<br />
[[Category:Academic staff of IIT Bombay]]<br />
[[Category:Stanford University alumni]]<br />
[[Category:People from Kharagpur]]</div>KaleyCountryman