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...
Recent Posts
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...
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...