CV

Education

• Ph.D in Computer Science, University of New Mexico, 2026
• M.S. in Computer Science, University of New Mexico, 2020
• B.S. in Electronics Engineering, Universidad de las Americas Puebla, 2015

Skills

• Imperative: C/C++, Java, Go, Julia, Rust
• Scripting: Python, Bash, Makefile
• Functional: Haskell, Ocaml, Scala
• Verification: Z3, Mathsat, SMTInterpol, \(F^{*}\), Prover9, Mace4, Lean
• Symbolic/Algebraic: Mathematica, Maple, Macaulay2, Singular
• Document typesetting: \(\LaTeX\), Pandoc, Madoko, Markdown, Org
• Web design: HTML, CSS, Javascript, Typescript, Jekyll

Publications

Computing Certificates of Members in Archimedean Quadratic Modules in \(A[X]\) and Certifying the Emptiness in Inconsistent Monogenic Archimedean Quadratic Modules in \(A[X_1, ..., X_n]\)

Castellanos Joo, Jose A.. "Computing Certificates of Members in Archimedean Quadratic Modules in A[X] and Certifying the Emptiness in Inconsistent Monogenic Archimedean Quadratic Modules in A[X_1, ..., X_n]." (2026). https://digitalrepository.unm.edu/cs_etds/144

Computing Certificates in Archimedean Univariate Saturated Quadratic Modules

J. Castellanos Joo and D. Kapur, Computing certificates in archimedean univariate saturated quadratic modules, 2026. arXiv: 2605.18980 [cs.SC]

Computing Certificates of Strictly Positive Polynomials in Archimedean Quadratic Modules

W. Shang, J. A. C. Joo, C. Mou, and D. Kapur, Computing certificates of strictly positive polynomials in archimedean quadratic modules, 2025. arXiv: 2503.11119 [math.AC].

\(AXD\)Interpolator: A Tool for Computing Interpolants for Arrays with MaxDiff

J. Castellanos Joo, S. Ghilardi, A. Gianola, and D. Kapur, “AXDInterpolator: A tool for computing interpolants for arrays with maxdiff”, in 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification (CAV 2021), CEUR-WS.org, vol. 2908, 2021, pp. 40–52.

Implementation of Uniform Interpolation Algorithms

Castellanos Joo, Jose A.. "Implementation of Uniform Interpolation Algorithms." (2021). https://digitalrepository.unm.edu/cs_etds/110

Equivalence among \(RC\)-type paraconsistent logics

M. Osorio and J. Castellanos Joo, “Equivalence among RC-type paraconsistent logics”, Logic Journal of IGPL, jzw065, Jan. 2017, ISSN: 1368-9894. DOI: 10.1093/jigpal/jzw065

A single proof of classical behaviour in da Costa’s \(C_n\) systems

M. Osorio and J. Castellanos Joo, “A single proof of classical behaviour in da Costa’s Cn systems”, Electronic Notes in Theoretical Computer Science, vol. 315, pp. 3–16, Sep. 2015, ISSN: 1571-0661. DOI: 10.1016/j.entcs.2015.06.002

Weakening and Extending \(\mathbb{Z}\)

M. Osorio and J. Castellanos Joo. "Weakening and extending \mathbb{Z}" Logica Universalis, vol. 9, no 3, pp. 383-409, Aug. 2015, ISSN: 1661-8300. DOI: 10.1007/s11787-015-0128-6

Revisitando \(C_1\)

Castellanos Joo, Jose A.. "Revisitando C_1" (2024). https://catarina.udlap.mx/u_dl_a/tales/documentos/lsi/castellanos_j_ja/

Talks

Computing Certificates of Members in Archimedean Quadratic Modules in \(\mathbb{A}[X]\) and Certifying the Emptiness in Inconsistent Monogenic Archimedean Quadratic Modules in \(\mathbb{A}[X_1, \dots, X_n]\)

March 25, 2026

Talk at Thesis Defense, Albuquerque, New Mexico, USA

Computing certificates in compact quadratic modules in \(\mathbb{R}[x]\)

September 13, 2023

Talk at Thesis Proposal Defense, Albuquerque, New Mexico, USA

\(AXD\)Interpolator A Tool for Computing Interpolants for Arrays with MaxDiff

July 18, 2021

Talk at 19th International Workshop on Satisfiability Modulo Theories, Online

Implementation of Uniform Interpolation Algorithms

October 20, 2020

Talk at Master Thesis Defense, University of New Mexico, Albuquerque, New Mexico, USA

A new interpolation algorithm for the theory of Equality with Uninterpreted Functions

September 09, 2020

Talk at Computer Science Colloquium Series, University of New Mexico, Albuquerque, New Mexico, USA

A Single Proof of Classical Behaviour in da Costa’s \(C_n\) systems

November 01, 2014

Talk at Ninth Latin American Workshop on Logic/Languages, Algorithms and New Methods of Reasoning LANMR, Valle de Bravo, Mexico, Mexico

Service and leadership

• CS Advisory Board, University of New Mexico, Graduate Student Representative, 2021 - 2023
  • Participated in discussions about the state of the department and proposals of new initiatives regarding graduate and undergraduate matters, as well as research and the position of the department within the university.
• CS Graduate Student Association, University of New Mexico, Treasurer, 2017- 2018
  • Developed website for the Computer Science Student Conference 2018 at UNM and keep track of internal requisitions.
• Clique Student Organization, Universidad de las Am'ericas Puebla, Founder Member, 2014 - 2015
  • This organization provided students an environment to develop programming skills for programming competitions like the ACM ICPC.