My research interests include: * Latency-Insensitive Design * Code Compression for Embedded Systems * Formal Verification