Charran is working on the development and verification of Hoare Logic over interaction trees.
More contact information is available at the Contact page.
