Research

My current researches are wavelets, type theory and hardware compilation, linear logic and hardware systems.

Wavelets

Types and Hardware

Linear Logic and Hardware