Verifying ParamGen, a Climate Model Configuration Tool
Climate models are typically configured with multiple input parameter files to specify model physics, numerics, and other behavior. These files may contain t...
Posts by Category
Blog
Modeling the Heapsort Algorithm in Alloy
Heapsort is a fundamental sorting algorithm with O(nlogn) time complexity. It is based on transforming a given unsorted array into a binary tree (a heap) and...
Objective
As a scientific software developer, I have a strong passion to devise and apply formal methods, i.e., mathematically rigorous techniques for the specificati...
GitHub Profile Permalink
My GitHub profile lists some of the development projects I lead and/or contribute to.
Announcement
Workshop on Correctness and Reproducibility for Climate and Weather Software
We are excited to announce that we are organizing a two-day workshop on correctness and reproducibility for climate and weather software. Abstracts are bein...