Expressions, Meanings, Roots

Rushikesh K. Joshi
Department of Computer Science & Engineering
Indian Institute of Technology Bombay
Powai, Mumbai-400076, India


Research Ideas
Expressing software architectures and their properties using discrete models (esp. CCS and Petri nets), Understanding ontological categorization of concepts, and their application to domains (esp. smart grid), Programming paradigms (esp. the object oriented), process migration and consistency, experimentation in architecture evolution, program restructuring, computational music, also experimenting on new programming paradigms.

What have we gotten recently
A Taxonomy of Consistency Models in Dynamic Migration of Business Processes, (with Ahana Pradhan), 
IEEE Transactions on Services Computing, published 03 August 2017 pdf
Integration of Process Model and CIM to Represent Events and Chronology in Power System Processes  (with  Gelli Ravikumar,  S. A. Khaparde),
IEEE Systems Journal, published 07 April 2016 pdf
Lookahead Consistency Models for Dynamic Migration of Workflow Processes (with Ahana Pradhan),
Petri Nets and Software Engineering 2015 pdf
Process Edification for Traceability in Evolving Architectures (with Vrinda Yadav, Sea Ling)
ISEC 2016: 99-108, ACM 2016. 
Distributed Change Region Detection in Dynamic Evolution of Fragmented Processes (with Ahana Pradhan)
Petri Nets and Software Engineering 2016

Courses UG/PG: Programming Languages, Operating Systems, Distributed Systems, Object Oriented Systems, Software Architecture, Programming and Utilization,  Programming Paradigms, Data Structures, Systems and Software