research

an archive of posts in this category

Mar 22, 2026	Integrating SMT Solving into Climate Model Configuration
Nov 12, 2022	Modeling the Heapsort Algorithm in Alloy