posts
| Mar 22, 2026 | Integrating SMT Solving into Climate Model Configuration |
|---|---|
| Nov 29, 2025 | Rigor and Reasoning in Research Software (R3Sw) Tutorial Was a Success |
| May 23, 2025 | 2nd Workshop on Correctness and Reproducibility |
| May 08, 2025 | Towards Domain-Specific Formal Methods for Earth System Modeling @ ETAPS 2025 |
| Jan 07, 2025 | 2025 Better Scientific Software Fellowship (BSSw) Award |
| Jul 23, 2023 | Workshop on Correctness and Reproducibility |
| Nov 12, 2022 | Modeling the Heapsort Algorithm in Alloy |