Hi! I'm Paul Mure, a third-year PhD student at MIT, advised by Adam Chlipala. My research revolves around the intersection of compilers, dataflow architectures, and formal verification. Currently, I'm working on a verified compiler framework for Reconfigurable Dataflow Architecture in the Lean4 theorem prover.
Previously, I completed my undergrad in Computer Science at Stanford University, where I was lucky enough to work on various projects with Kunle Olukotun, Caroline Trippel, and Philip Levis.
You can reach me at paulmure [at] mit [dot] edu.