Sat, 2018-Feb-17 00:53 UTC
Length - 2:12
Welcome to random Wiki of the Day where we read the summary of a random Wikipedia page every day.
The random article for Saturday, 17 February 2018 is Supratik Chakraborty.
Supratik Chakraborty is an Indian computer scientist. He currently holds the Bajaj Group Chair Professor position in the Department of Computer Science and Engineering at Indian Institute of Technology Bombay. His areas of research include both theoretical and practical aspects of formal methods, including formal verification of software and hardware systems, constrained counting and sampling and their applications, automata theory, logic, and systems biology. He has also worked on the design and analysis of asynchronous systems and on cellular automata in the past. A list of technical papers authored or co-authored by him can be found here . He serves/has served on the technical program committees of several international conferences, including being a Program Committee co-chair of FSTTCS 2011 and of ATVA 2012. Currently, he convenes the Steering Committee of the International Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), and is an Executive Council member of the Indian Association for Research in Computing Science (IARCS). He has also served on the Executive Council of ACM India ()
This recording reflects the Wikipedia text as of 00:53 UTC on Saturday, 17 February 2018.
For the full current version of the article, go to http://en.wikipedia.org/wiki/Supratik_Chakraborty.
This podcast is produced by Abulsme Productions based on Wikipedia content and is released under a Creative Commons Attribution-ShareAlike License.
Visit wikioftheday.com for our archives, sister podcasts, and swag. Please subscribe to never miss an episode. You can also follow @WotDpod on Twitter.
Abulsme Productions produces the current events podcast Curmudgeon's Corner as well. Check it out in your podcast player of choice.
This has been Amy. Thank you for listening to random Wiki of the Day.
For current episodes, or for the rest of the Wiki of the Day family of podcasts go here.