Thesis projects, STC, experimentation projects
My interest is in: automated software testing and validation, program verification, and compositional approach in distributed programming. My current research activities:
- Web Cube: an experimental formal framework to develop web applications/services, implemented in Haskell.
- General UNITY: a HOL library of a more generic version of the formalism UNITY, which you can instantiate to your custom UNITY (and get all the inference rules proven in HOL for free). Paper | Download
- xMech: originally setup to integrate verification into compiler; the project was aborted A spin-off which is still maintained is a technique to build a syntax driven logic by composing features (which is a technique borrowed from compiler design).