David E. Narváez

Pronouns: he/him

  • Joined July 2019

Names

David E. Narváez

Emails

****@computer.org (Confirmed)
,
****@vt.edu (Confirmed)

Personal Links

Career & Education History

Postdoc
Electrical and Computer Engineering, Virginia Tech (ece.vt.edu)
2023 – 2024
 
Postdoc
Department of Computer Science, University of Rochester (cs.rochester.edu)
2021 – 2023
 
PhD student
Rochester Institute of Technology (cs.rit.edu)
2015 – 2020
 

Advisors, Relations & Conflicts

Postdoc Advisor
2023 – 2024
 
Postdoc Advisor
2020 – 2022
 
PhD Advisor
2015 – 2020
 

Expertise

constrain programming
2019 – Present
 
theorem proving
2019 – Present
 
satisfiability
2015 – Present
 
combinatorics
2015 – Present