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.
Qualifications
M.Sc.(Tech.) in Computer Science
BITS (Pilani)
Ph.D.
Indian Institute of Science
Experience
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
Member