Recent Posts

Modeling the Heapsort Algorithm in Alloy

15 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...


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...