I am a PhD student at Cornell University working with Alexandra Silva on program verification using Kleene Algebra with Tests (KAT).
Spencer Van Koevering
sv493 @cornell.edu
Department of Computer Science
Cornell University
Publications
Peer-reviewed- Provable Probabilistic Safety and Feasibility-Assured Control for Autonomous Vehicles using Exponential Control Barrier Functions Spencer Van Koevering, Yiwei Lyu, Wenhao Luo, John Dolan. IEEE IV 2022
- Weighted GKAT: Completeness and Complexity Spencer Van Koevering, Wojciech Różowski, Alexandra Silva. ICALP 2025 (Accepted)
CV
Education
-
Cornell University 2023-2029 (expected)
Ph.D Computer Science
Advised by Alexandra Silva -
Whitman College 2017-2021
B.A. in Computer Science with Honors
B.A. in Mathematics with Honors
Minor in Philosophy
Minor in Biology
Graduated Summa Cum Laude
Overall GPA: 3.9
Fellowships
- Logic in Computing Systems Logic Mentoring Workshop Student Attendee Grant, 2024
- Bowers CIS Deans Excellence Fellowship, 2023-present
- Alexander J. Anderson Merit Scholarship, 2017-2021
- National Merit Scholar, 2017-2021
Awards
- NSF GRFP Honorable Mention, 2025
- Graduated Summa Cum Laude from Whitman College, 2021
- Graduated with Honors in Computer Science, 2021
- Graduated with Honors in Mathematics, 2021