Objective

As a scientific software developer, I have a strong passion to devise and apply formal methods, i.e., mathematically rigorous techniques for the specification and verification of software. I also strive for implementing best software engineering practices in high-performance computing applications that I have been developing and contributing to. In this blog, I plan to share my personal opinions and experiences on such development projects. See Publications for a list of my peer-reviewed conference and journal papers describing some of the computational science projects where I have applied formal methods to verify software correctness.

Disclaimer: Opinions are my own and not the views of my employer.