I’m a Ph.D. student at the University of New Mexico in the Computer Science Department advised by Prof. Deepak Kapur working on formal methods and computer algebra. I’m interested in software verification, programming languages, commutative algebra, and non-classical logics.
Here is my resumé .
MS in Computer Science, 2020
University of New Mexico
BSc in Electrical Engineering, 2015
Universidad de las Americas Puebla