Taisa Kushner (Preferred)
Taisa Kushner
Principal Researcher, Galois Inc
Assistant Professor, Portland State University
Joined
November 2022
Names
Emails
****@galois.com (Confirmed)
Personal Links
Career & Education History
Principal Researcher
Galois Inc (galois.com)
2022 – Present
Assistant Professor
Portland State University (pdx.edu)
2021 – Present
Postdoc
Oregon Health Sciences University (ohsu.edu)
2020 – 2022
PhD student
University of Colorado at Boulder (colorado.edu)
2015 – 2020
Advisors, Relations & Conflicts
Expertise
cyber physical systems
Present
dynamical systems
Present
formal verification
Present