Current projects Program Analysis for WebAssembly Binaries (Northeastern University) Synthesizing Microarchitectural Leakage Contracts from Counterexamples (IMDEA Software Institute) Other projects Beyond the Kernel: High-Performance Networking Foundations of Coq (Pollen-based e-book)