PVR Murthy

Dr. PVR Murthy

Adjunct Professor

Research contributions of Dr.PVR Murthy are in the topics: i. Implementation of Speculative Parallelism in Functional Languages ii. Program Analysis and Concurrency: Algorithms for bug detection iii.Development of a Prototype Tool for Symbolic Execution of C# Programs for Unit Testing and iv. Automatic test generation from models such as Finite State Machines and Extended Context Free Grammars.

Industrial R&D experience of Dr.PVR Murthy involved building a research and development team at Siemens Corporate Technology in software engineering and product development teams in organizations such as Sun Micro Systems. Participated in collaborative research projects with IIT Madras and IIIT Hyderabad in Refactoring and Verification Systems respectively.


  • M.Sc.(Tech.) in Computer Science

    BITS (Pilani)

  • Ph.D.

    Indian Institute of Science


Total Years of Experience: Years/​Months: 37 years

Academic Experience: 18 years (SERC, IISc ; Ramaiah University)

Industry Experience: 19 years(Siemens Corporate Technology; Sun Micro Systems)

Program Analysis and Concurrency

  • 30 Publications
  • 8 international patents granted

  • Association of Computing Machinery