David E. Narváez
David E. Narváez
Pronouns: he/him
Postdoc, Faculty of Mathematics and Physics, University of Ljubljana
- Joined July 2019
Names
Emails
****@computer.org (Confirmed)
, ****@vt.edu (Confirmed)
, ****@fmf.uni-lj.si (Confirmed)
Personal Links
Career & Education History
Postdoc
Faculty of Mathematics and Physics, University of Ljubljana (fmf.uni-lj.si)
2025 – Present
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
Expertise
theorem proving
2019 – Present
constraint programming
2019 – Present
satisfiability
2015 – Present
combinatorics
2015 – Present