Posts by Year


Back to Top ↑


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

GitHub Profile Permalink

less than 1 minute read

My GitHub profile lists some of the development projects I lead and/or contribute to.

Back to Top ↑