Jose Abel Castellanos Joo

Jose Abel Castellanos Joo

Ph.D. student

University of New Mexico

About

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.

I obtained my bacherlor’s degree in electronics engineering from Universidad de las Americas Puebla advised by Prof. Mauricio Osorio Galindo, working on the paraconsistent logic $C_1$.

Here is my resumé .

Interests
  • Formal Verification
  • Archimedean Quadratic Modules
  • Groebner Basis Algorithms
  • Quantifier-free Interpolation Algorithms for Decidable Logics
  • Non-classical Logics
Education
  • MS in Computer Science, 2020

    University of New Mexico

  • BSc in Electrical Engineering, 2015

    Universidad de las Americas Puebla

Publications

(2021). AXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDiff. 19th International Workshop on Satisfiability Modulo Theories co-located with 33rd International Conference on Computer Aided Verification (CAV 2021).

Cite

(2017). Equivalence among $RC$-type paraconsistent logics. Logic Journal of IGPL.

Cite DOI URL

(2015). A Single Proof of Classical Behaviour in da Costa’s $C_n$ Systems. Electronic Notes in Theoretical Computer Science.

Cite DOI URL

(2015). Weakening and Extending $ℤ$. Logica Universalis.

Cite DOI URL

Contact