Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Supratik_Chakraborty> ?p ?o. }
Showing items 1 to 14 of
14
with 100 items per page.
- Supratik_Chakraborty abstract "Supratik Chakraborty is a Professor at the Department of Computer Science and Engineering at the Indian Institute of Technology Bombay.His areas of study include Formal verification, Automata, Logic and Model theoryand Asynchronous and mixed synchronous-asynchronous systems. He has published several technical papers, has written a book chapter and has delivered several invited talks in these areas. He has served on the program committees of several international conferences, including being a PC co-chair of FSTTCS 2011 and of ATVA 2012.".
- Supratik_Chakraborty wikiPageExternalLink S_Chakraborty_Council_Member.pdf.
- Supratik_Chakraborty wikiPageExternalLink ~supratik.
- Supratik_Chakraborty wikiPageID "40598677".
- Supratik_Chakraborty wikiPageRevisionID "585557043".
- Supratik_Chakraborty subject Category:Formal_methods_people.
- Supratik_Chakraborty subject Category:Indian_computer_scientists.
- Supratik_Chakraborty comment "Supratik Chakraborty is a Professor at the Department of Computer Science and Engineering at the Indian Institute of Technology Bombay.His areas of study include Formal verification, Automata, Logic and Model theoryand Asynchronous and mixed synchronous-asynchronous systems. He has published several technical papers, has written a book chapter and has delivered several invited talks in these areas.".
- Supratik_Chakraborty label "Supratik Chakraborty".
- Supratik_Chakraborty sameAs m.0bqxyn5.
- Supratik_Chakraborty sameAs Q17004741.
- Supratik_Chakraborty sameAs Q17004741.
- Supratik_Chakraborty wasDerivedFrom Supratik_Chakraborty?oldid=585557043.
- Supratik_Chakraborty isPrimaryTopicOf Supratik_Chakraborty.