/ http://www.slideshare.net/images/logo.gif / 際際滷Share feed for 際際滷shows by User: jnanamurthyHK https://cdn.slidesharecdn.com/profile-photo-jnanamurthyHK-48x48.jpg?cb=1526258479 Hi, Jnanamurthy here, currently pursuing PhD in Computer Science at University of Newcastle. My Research areas are Formal Methods, Industrial Automation, Software Engineering and Quality assurance.