Scholar
José Abel Castellanos Joo
Google Scholar ID: xvuJBMMAAAAJ
University of New Mexico
Citations & Impact
Citations
6
H-index
2
i10-index
0
Publications
6
Co-authors
0
Resume
Academic Achievements
- - Published 'AXDInterpolator: A Tool for Computing Interpolants for Arrays with MaxDiff' at the 19th International Workshop on Satisfiability Modulo Theories (CAV 2021)
- - Published 'Equivalence among RC-type paraconsistent logics' in Logic Journal of IGPL
- - Published 'A Single Proof of Classical Behaviour in da Costa’s Cn Systems' in Electronic Notes in Theoretical Computer Science
- - Published 'Weakening and Extending ℤ' in Logica Universalis
Research Experience
- - AXDInterpolator project: Implements an interpolation algorithm proposed in FoSSaCS 2021 using the Z3 API.
- - EUFInterpolator project: Master thesis work implementing new interpolation algorithms for the theory of equality and uninterpreted functions (EUF), octagonal formulas, and its combination.
Education
- - Ph.D. candidate, Department of Computer Science, University of New Mexico, advised by Prof. Deepak Kapur
- - MS in Computer Science, 2020, University of New Mexico
- - BSc in Electrical Engineering, 2015, Universidad de las Americas Puebla, advised by Prof. Mauricio Osorio Galindo
Background
- Research interests include formal verification, Archimedean quadratic modules, Groebner Basis algorithms, quantifier-free interpolation algorithms for decidable logics, and non-classical logics.
Miscellany
- Personal interests not mentioned