Alper Altuntas

I’m a research software engineer at the NSF National Center for Atmospheric Research (NCAR), where I work on the ocean component of the Community Earth System Model (CESM), a flagship scientific software used worldwide to simulate the Earth system.

My work centers on designing data structures for numerical simulations, implementing math- and physics-based algorithms, and optimizing HPC applications with multiprocessing, multithreading, and GPUs. In addition to core model development, I lead the design of tools that streamline workflows. For example, I created visualCaseGen, a GUI that helps users configure custom CESM experiments.

I also have a strong interest in formal verification. My past work includes model checking with SPIN, correctness verification with Alloy, reasoning about sparse matrix computations, hybrid systems verification with KeYmaera X, and building an SMT-based solver for visualCaseGen. See my publications for more details.

I focus on writing scalable, maintainable, robust, and efficient code by applying best practices, which I share through publications, talks, mentorship, and events I organize, such as the Workshop on Correctness and Reproducibility. In recognition of these efforts, I was recently awarded a 2025 Better Scientific Software Fellowship.