Rob Dickerson

Rob Dickerson is an Assistant Professor of Computer Science at Augustana, specializing in programming languages and formal methods with a focus on practical software engineering applications. His research bridges theoretical principles and real-world implementation challenges.

His primary research interests include relational verification, e-graph applications, and modular program logic. He develops techniques for aligning programs, inferring library specifications through data-driven methods, and verifying relational properties across multiple executions. Current projects include KestRel for program alignment and RHLE for relational ∀∃ properties.

Key contributions span publications at premier venues including OOPSLA, APLAS, and PLDI workshops. His work on Elrond received a Distinguished Artifact Award at OOPSLA 2021. Notable publications examine relational verification (2025), e-graph-based alignment (2025), and modular verification of relational properties (2022).

• Distinguished Artifact Award (Elrond, OOPSLA 2021)

Dickerson maintains active industry connections through prior work at Square and participates in academic service through venues like the PurPL seminar at Purdue. Outside academia, he engages in épée fencing and amateur piano/violin performance.