GitHub Profile
My GitHub profile lists some of the development projects I lead and/or contribute to.
Alper Altuntas
Software engineer at the National Center for Atmospheric Research. Boulder, CO.
You May Also Enjoy
Workshop on Correctness and Reproducibility for Climate and Weather Software
1 minute read
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...
Verifying ParamGen, a Climate Model Configuration Tool
12 minute read
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
16 minute read
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
less than 1 minute read
As a scientific software developer, I have a strong passion to devise and apply formal methods, i.e., mathematically rigorous techniques for the specificati...