Paul Mure at the Stanford Dish
LinkedIn the GitHub logo
About Me
Hi! I'm Paul Mure, a first-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.