Photo of Srinivas Pinisetty
 
Assistant Professor
School of Electrical Sciences
 
Office : 007, SES
Phone : 08985679665, 674-713-5762
Email : spinisetty@iitbbs.ac.in, srinu85.pinisetty@gmail.com
 
Education
 Degree Discipline Year School
 Ph.D. Computer Science 2015 INRIA Rennes, University of Rennes 1, France
 PDEng. Software Technology 2011 Eindhoven University of Technology, The Netherlands
 MSc Computer Science and Engineering 2009 Eindhoven University of Technology, The Netherlands
 B.E Computer Science and Engineering 2007 Dhirubhai Ambani Institute of Information and Communication Technology, India
 
Research Interests

• Formal modeling, verification; • Runtime monitoring (verification, enforcement); • Applications of runtime monitoring (security, medical devices, other); • Synthesis, transformation of formal models; • Applying formal methods in system design and development; • Model driven development, automated code generation, domain specific languages

Other Profile Link(s)

Google Scholar [Click Here]

 
   

Teaching

Current • Formal Languages and Automata Theory (Autumn 2018, IIT Bhubaneswar) • Compiler Design (Autumn 2018, IIT Bhubaneswar) Past • Software Engineering (Spring 2018, IIT Bhubaneswar) • Testing, Debugging and Verification (Autumn 2017, Chalmers University, CS Department) Lecturer • Computer-Aided Verification and Synthesis (Spring 2015, Aalto University, CS Department) Tutorial on introducing some model checking tools (NUXMV) • Parallel and Distributed Systems (Autumn 2015, Aalto University, CS Department) I am responsible for assignments and tutorial classes