A “simple and powerful idea” earns Professor Tom W. Reps the 2023 CAV Award
Presented at the 35th International Conference on Computer Aided Verification, the honor recognizes significant contributions to the verification of concurrent programs through context-bounded analysis. Recently, the Computer Sciences department’s Professor Tom Reps was awarded the prestigious 2023 CAV Award. Presented at the 35th International Conference on Computer Aided Verification (CAV), the distinction is awarded annually …