Elena Sherman
Elena Sherman
Associate Professor, Computer Science, Boise State University
- Joined June 2019
Names
Emails
****@boisestate.edu (Confirmed)
Personal Links
Career & Education History
Associate Professor
Computer Science , Boise State University (boisestate.edu)
2020 – 2025
Assistant Professor
Computer Science, Boise State University (boisestate.edu)
2013 – 2020
Advisors, Relations & Conflicts
Expertise
Formal Methods and Verification
Present
Scientific Software Elements
Present
Program analysis
Present