Raghava Rao Mukkamala Postdoc Programming, Logic and Semantics group IT University of Copenhagen Rued Langgaards Vej 7 DK-2300 Copenhagen S, Denmark Office: 4C.14 Phone: (+45) 72 18 50 95 E-mail: rao@itu.dk URI: http://www.itu.dk/people/rao/

News

Background

• Education

• • 03.2009 - 02-2012 PhD student at PLS group in ITU under supervision of Associate Professor Thomas T. Hildebrandt.
  • 02.2008 - 01.2009 Industrial PhD student at IT University of Copenhagen Denmark, on behalf of Resultmaker A/S.
  • 2003 - 2005 M Sc in computer science (Internet Technology) from IT University of Copenhagen, Denmark
  • 1982-1987 Bachelor's degree in Civil Engineering from Jawaharlal Nehru Technological University (JNTU-Anantapur), Andhra Pradesh state, India

• Employment

• • 03.2012: Postdoc in at PLS group in ITU.
  • 01.2003 - 01.2009: Worked as Senior Software Consultant in Resultmaker A/S, Denmark
  • 01.2001 - 12.2002: Employed as Senior Software Engineer in Business IT A/S, Denmark
  • 01.2001 - 05.2001: Worked as Software Engineer in Catalog International A/S, Denmark
  • 08.2000 - 12.2000: Worked as Software Consultant in Novo Nordisk A/S, Denmark
  • 06.1989 - 07-2000: Worked as Irrigation and Designs Engineer in Irrigation & CAD Department, Government of Andhra Pradesh, India
  • 08.1987 - 05.1989: Worked as Building Construction Engineer in AP Social Welfare Engineering Wing, Andhra Pradesh, India.

• Research Visits

• • 06.2011 - 08-2011: Visited IBM Watson Research Center, New York, USA as part of my PhD stay abroad. During my visit, I worked with Rick Hull from Business Artifact project group.
  • 05.2010 - 08-2010: Visited Microsoft Research Lab, Bangalore, India (MSRI) as part of my PhD stay abroad. During my visit to MSRI, I have worked with Sriram Rajamani from Rigorous Software Engineering group.

Publications

• Declarative Modelling and Safe Distribution of Healthcare Workflows[PDF]
  Thomas T. Hildebrandt, Raghava Rao Mukkamala and Tijs Slaats.
  Accepted for post-event proceedings of FHIES-11 in LNCS volume 7151.
• Towards a Programming Language for Declarative Event-based Context-sensitive Reactive Services[PDF]
  S¿ren Debois, Thomas T. Hildebrandt, Raghava Rao Mukkamala and Francesco Zanitti.
  Accepted for 23rd Nordic Workshop on Programming Theory (NWPT'11), October 2011, Vasteras, Sweden.
• Declarative Modelling and Safe Distribution of Healthcare Workflows[PDF]
  Thomas T. Hildebrandt, Raghava Rao Mukkamala and Tijs Slaats.
  Accepted for International Symposium on Foundations of Health Information Engineering and Systems (FHIES'11), August 2011, Johannesburg, South Africa.
• Safe Distribution of Declarative Processes[PDF]
  Thomas T. Hildebrandt, Raghava Rao Mukkamala and Tijs Slaats.
  Accepted for International Conference on Software Engineering and Formal Methods (SEFM'11), November 2011, Montevideo, Uruguay.
• Designing a Cross-organizational Case Management System using Dynamic Condition Response Graphs[PDF]
  Thomas T. Hildebrandt, Raghava Rao Mukkamala and Tijs Slaats.
  Accepted for IEEE International EDOC Conference (EDOC'11), 2011, Helsinki, Finland.
• Nested Dynamic Condition Response Graphs[PDF]
  Thomas T. Hildebrandt, Raghava Rao Mukkamala and Tijs Slaats.
  Accepted for international conference on Fundamentals of Software Engineering (FSEN'11), 2011, Tehran, Iran
• Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs [PDF]
  Thomas T. Hildebrandt and Raghava Rao Mukkamala.
  Accepted for post proceedings of International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2010) affiliated to ETAPS 2010, Paphos, Cyprus.
• From Dynamic Condition Response Structures to Buchi Automata. [PDF]
  Raghava Rao Mukkamala and Thomas T. Hildebrandt.
  Extended abstract accepted for 4th IEEE International Symposium on Theoretical Aspects of Software Engineering (Tase 2010),2010, Taipei, Taiwan.
• Distributed Dynamic Condition Response Structures. [PDF]
  Thomas T. Hildebrandt and Raghava Rao Mukkamala.
  Accepted for International Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2010) affiliated to ETAPS 2010, Paphos, Cyprus.
• The Resultmaker Online Consultant: From Declarative Workflow Management in Practice to LTL. [PDF]
  Raghava Rao Mukkamala, Thomas T. Hildebrandt, and Janus Boris Tøth.
  Accepted for First International Workshop on Dynamic and Declarative Business Processes (DDBP 2008),2008, Munich, Germany.
• From Paper Based Clinical Practice Guidelines to Declarative Workflow Management. [PDF]
  Karen Marie Lyng, Thomas T. Hildebrandt, and Raghava Rao Mukkamala.
  Accepted for 2nd International Workshop on Process-oriented information systems in healthcare (ProHealth '08), 2008, Milan, Italy.

Technical reports

• Designing a Cross-organizational Case Management System using Nested Dynamic Condition Response Graphs [PDF]
  Thomas T. Hildebrandt, Raghava Rao Mukkamala and Tijs Slaats.
  Techinical Report for IT University of Copenhagen, Denmark
• From Process Design to Process Execution. [PDF]
  Thomas T. Hildebrandt, Raghava Rao Mukkamala, Magnus Nilsson, Gitte Svendsen, and Nikolaj Skovmann Malkov.
  Techinical Report for Danish IT Architecture Conference (digITAlisér 2010 - IT-arkitekturkonferencen), Aarhus, Denmark
• M Sc Thesis Report Bigraph-Based Taxonomy Framework. [PDF]
  Under supervision of Thomas T. Hildebrandt, Associate Professor IT University of Copenhagen, Denmark

Slides from Selected Talks

• A Formal Model For Declarative Workflows [PDF]
  Talk at PhD Workshop @ Conference on Distributed Event-Based Systems (DEBS-11) , Yorktown, New York, USA, 2011.
• Dynamic Condition Response Graphs: A Formal Model For Declarative Workflows [PDF]
  Talk at IBM Research , Hawthorne, New York, USA, 2011.
• Declarative Flexible Workflows for Trustworthy Pervasive Healthcare Services [PDF]
  Talk at Doctoral Consortium, BPM Conference, Hoboken, New Jersey, USA, 2010.
• Declarative Flexible Workflows for Trustworthy Pervasive Healthcare Services [PDF]
  Talk at Microsoft Research Lab, Bangalore,(MSRI), India, 2010.
• Distributed Dynamic Condition Response Structures: A formal model for declarative workflows [PDF]
  Talk at IIIT Hyderabad , India, 2010.
• Distributed Dynamic Condition Response Structures for Infinite Runs. [PDF]
  Talk at Workshop on Timed and Infinite Systems, University of Warwick, United Kingdom, March 2010.
• Distributed Dynamic Condition Response Structures. [PDF]
  Talk at Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2010) affiliated to ETAPS 2010, Paphos, Cyprus, March 2010.
• Declarative Workflow as Dynamic Condition-Response Structures and the Resultmaker Process Matrix [PDF]
  Talk at Seminar on Process-Oriented IT (Process-Oriented IT) , IT University of Copenhagen, Denmark, December 2009.
• Resultmaker Process Matrix - Declarative process model [PDF]
  Talk at Phd Seminar at IT University of Copenhagen, Denmark, April 2008.

Miscellaneous

• Declarative Workflow Supported Collaboration Based on Clinical Practice Guidelines [PDF]
  KM Lyng, Raghava Rao Mukkamala and Thomas T. Hildebrandt.

Latest update: June 24, 2011