Personal Information
Organization / Workplace
Bengaluru Area, India India
Occupation
Research Scholar at VTU,India Assistant Professor at PESIT, BANGALORE South Campus, Bangalore
Industry
Technology / Software / Internet
About
Research Area: Formal method, Formal Verification, Model Checker[UPPAAL,PAT], Architecture Description Languages, Mobile security
Contact Details