Projects

Ketabhub.com

Ketabhub.com is an Iranian online marketplace for buying and selling books, especially used ones. I have developed the web app in my spare time and currently working on an Android app for it.

ConGen: Event-B to Dafny Contract Generator

It is a Rodin plugin for transforming Event-B formal models to Dafny code contracts. I developed the plugin as part of my research. The source code can be found on Github.