@leo-lambro
Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.