There was an interesting research article on verifying equivalences between Spark programs at this year’s conference on Computer Aided Verification.

Still in setup-mode for the blog. The next step was to chose a theme. There are a lot of beautiful designs out there, but I was looking for something fairly minimalistic without being too dry. I opted for a recent design: friday-theme by Simon Freytag. I love the fonts which are not too big but still legible, and the two-column design.

I hope to talk about theorem proving from time to time. Since my tool of choice has been the Coq proof assistant, I thought I should find a way to display Coq code in these pages.

So I finally decided to give blogging a try.