Proposed approximation techniques for formal verification of infinite-state Markov chain models.

Developed a tool STAMINA to verify infinite-state CTMC models.

Designed and developed applications to collect, analyze and correlate logs from high volume data sources: Windows Servers, Cisco IOS and NX-OS platforms, PaloAlto firewalls etc.

Designed a plugin for configuring Qualys Vulnerability Scanner service to provide timely identification and assessment of security vulnerabilities.

Integrated vulnerability management reporting process Qualys for automated compliance reporting.

Optimized memory transfer and access pattern for GPU to increase simulation speed.