Taisa Kushner

Principal Researcher, Galois Inc

Assistant Professor, Portland State University

  • Joined November 2022

Names

Taisa Kushner (Preferred)

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

PhD Advisor
2015 – 2020
 

Expertise

cyber physical systems
Present
 
dynamical systems
Present
 
formal verification
Present