Explore projects

This is my first adventure on the Information Super Highway!

Combined demo and user study application for the Haptic Histories project

this is the chat extension module for the decentralized framework.

A framework for smart contract verification in Coq

Library for compressing Ananke is the greek good of force constraint, necessity