research
an archive of posts in this category
| Jun 05, 2026 | AI and Engineering Instinct: A GPU Porting Exercise |
|---|---|
| Mar 22, 2026 | Integrating SMT Solving into Climate Model Configuration |
| Nov 12, 2022 | Modeling the Heapsort Algorithm in Alloy |
an archive of posts in this category
| Jun 05, 2026 | AI and Engineering Instinct: A GPU Porting Exercise |
|---|---|
| Mar 22, 2026 | Integrating SMT Solving into Climate Model Configuration |
| Nov 12, 2022 | Modeling the Heapsort Algorithm in Alloy |