RONISHA SHIGDEL

Developed advanced type system in C with dependent types, enhancing type safety and reducing memory-related vulnerabilities.

Applied formal methods for contract enforcement, ensuring robust compile-time and runtime safety checks.

Conducted mathematical proofs to validate prevention of buffer overflows and out-of-bounds access vulnerabilities.

Developed full stack healthcare management applications using .NET, HTML, CSS, and JavaScript, improving user interfaces and automating benefit administration workflows.

Engineered a high-performance SQL database backend to manage provider contracts and patient profiles, ensuring data integrity and enhancing application scalability.

Integrated new APIs and conducted rigorous requirements analysis to implement robust software solutions, improving the overall performance.

Conducted detailed requirements analysis, improving stakeholder clarity and functional specification accuracy.

Developed and executed automated and manual test cases using Selenium WebDriver and Appium increasing test coverage efficiency.

Collaborated closely with Agile teams to facilitate product testability and regression testing, reducing defects by 30%, and maintained test environments for new releases.