Hello there! I’m a recent Ph.D. graduate in Computer Science from the University of New Mexico. I’m actively seeking postdoctoral research positions in areas related to computer algebra, formal methods, and verification.
I completed my Ph.D. under the supervision of Prof. Deepak Kapur. My research focuses on the computation of certificates of membership in Archimedean quadratic modules in the univariate case. I defended my Ph.D. thesis in May, 2026.
I obtained my bachelor’s degree in Electronics Engineering from Universidad de las Americas Puebla where I was advised by Prof. Mauricio Osorio Galindo. My undergraduate thesis work studied the paraconsistent logic \(C_1\).
Here you can find my CV (updated: May, 2026).
Research Interests
My research lies in the interplay between algebra and logic in verification applications and computer science. Key areas of my work include:
- Formal Methods
- Verification
- Archimedean quadratic modules
- Groebner basis methods
- Quantifier-free interpolation for decidable logics
- Non-classical logics
Contact
- Email:
jcastellanos34atgmail.com