shuba

Qualification :
Pursuing PhD - Formal Verification-Model Checking
MTech (Software Engineering)
BE (CS & E)

Teaching/Professional experience
Total 20 years experience
15 years of teaching experience
5 years of Industry experience
• Working as a Assistant Professor at PESIT-BSC, Bangalore [July 2008 to till date]
o Pursuing PhD from VTU, Belgaum, Karnataka [Area: Formal Verification, Mobile Computing, Software Architecture]
• Worked as a Intern at Intel Technology, Bangalore [July 2007 to July 2008]
• Worked as a Lecturer at BNMIT, Bangalore [Aug 2005 to July 2006]
• Worked as Lecturer at The Oxford College of Engg, Bangalore [Jan 2003 to Aug2005
• Worked as Software Engineer at Bells Softech, Bangalore [Nov 2000 to July 2002]
• Worked as Designer at Central Research Laboratory, Bangalore [Jan 2000 to Oct 2000]
• Worked as Software Engineer at R.K.M.C, Bangalore [July1999 to Jan 2000]
• Worked as Trainee at Bharath Electronic Ltd, Bangalore [July 1998 to July 1999]

Time Table Co-ordinator
Test Co-ordinator
Project Co-ordinator
Seminar Co-ordinator
Class Teacher

  1. Software Architecture
  2. Design and Analysis of Algorithms
  3. Operating System
  4. Computer Graphics and Visualization
  5. Principles of Programming Languages
  6. Object Oriented Programming with C++
  7. C# programming and .NET
  8. Computer Concept and programming in C
  9. Principles of User Interface Design
  10. Information and Network Security
  11. Software Engineering
  12. Object Oriented Analysis and Design
  13. Software Testing
  14. Theory of Computation

Research Interests: 
Formal Methods
Formal Verification-Model Checking
Architecture Description Languages
Embedded Systems

  • Invited Speaker for the Workshop on “Secure Software Development from Ground up Part II” at  DRDO CAIR (Centre for Artificial Intelligence and Robotics), Bengaluru on 13th July 2017.
  • Invited Speaker for the Workshop on “SAP Hana workshop and Software Rejuvenation” at New Horizon College of Engineering on 23th Sept 2016
  • Invited Speaker for the Workshop on “Formal Methods” at DRDO SAG ((Scientific Analysis Group), DELHI during 29th Feb to 4th March 2016.
  • Invited Speaker for the Workshop on “Software Architecture” at Vedavyasa Institute of Technology, Kerala 2015.
  • Invited Speaker for the workshop on “Software Architecture’ at Vedavyasa Institute
    of Technology, Malappuram, Kerala, during 3-5 Oct 2012

• Shubha Ra K Bj, and J. Suryaprasad. "MODEL CHECKERS–TOOLS AND LANGUAGES FOR SYSTEM DESIGN-A SURVEY." Computer Science & Information Technology 1.2: 39.
• Rashmi R, Shubha Raj K B, “Architectural Description Languages And their Elements”, Proceedings of National Conference on Information Technology, BIT, Bangalore, India, Vol 1 pg 177 – 182, 2009
• Shubha Raj K B, Samara Mubeen, Rajalakshmi, Vani A, “Distributed Computing System”, CSI – KARNATAKA STUDENTS ANNUAL CONVENTION-1997 at JNNCE, Shivamogga.

• Raj, K. B. Shubha, and J. Suryaprasad, "Model checkers–Tools and Languages for system design-a survey", Methods (FM), vol. 1, issue 2, pp. 39-51, 2016.

• Rashmi R, Shubha Raj K B, “Architectural Description Languages And their Elements”, Proceedings of National Conference on Information Technology, BIT, Bangalore, India, Vol 1 pg 177 – 182, 2009.
• Shubha Raj K B, Samara Mubeen, Rajalakshmi, Vani A, “Distributed Computing System”, CSI – KARNATAKA STUDENTS ANNUAL CONVENTION-1997 at JNNCE, Shivamogga.