Ben Hardekopf

Ben Hardekopf is an academic affiliated with the University of California at Santa Barbara. His research focuses on Programming Languages, Static Analysis, and Formal Methods, with notable contributions to translating C to Rust, hardware verification, and JavaScript optimization. He has authored multiple papers at top-tier conferences including OOPSLA, PLDI, and POPL.

His recent work explores hardware decompilation, dependently typed frameworks, and language translation techniques. Ben has served on program committees for conferences such as PLDI, OOPSLA, and CGO, indicating active engagement in the academic community.

Research Interests: Ben's work bridges software engineering and hardware verification, focusing on memory safety, type systems, and domain-specific language design. His projects include PyLSE for superconductor electronics and Citrus for formal logic modeling.