Explore projects

This is my first adventure on the Information Super Highway!

React Frontend

this is the chat extension module for the decentralized framework.

A framework for smart contract verification in Coq

Combined demo and user study application for the Haptic Histories project