Personal Information
Organization / Workplace
Bengaluru Area, India India
Occupation
Research Engineer (Manager L4)
Industry
Government / Military
About
* Embedded Systems software development and verification
* Autocode generation tool development
* Requirements engineering for DO178B qualification and Saftey critical software development
* Formal verification using Theorem proving, Model checking and Static program analysis
* Distributed systems verification and analysis
* Development of Model Based Test tool for Simulink and Stateflow models
* Development of auto test case generation tool capable of generating tests from text based high level requirements
* New business case development through Voice of customer, concept development, architecture building, technology roadmap preparation and prototype development
Contact Details