Katherine Kosaian -

Registered user since Fri 30 Aug 2024

Name:Katherine Kosaian

Affiliation:University of Iowa

Research interests:Formal Verification, Interactive Theorem Proving

Contributions

2025

VMCAI

PC Member in Program Committee within the VMCAI 2025-track

2023

ICSE

Author of Pegasus: A Framework for Sound Continuous Invariant Generation within the Showcase-track

CPP

Author of A First Complete Algorithm for Real Quantifier Elimination in Isabelle/HOL within the CPP 2023-track