Research Interests
Trustworthy Artificial Intelligence, Concept-based Verification, High-Performance Computing, Graph Machine Learning, Formal Methods, Computer Science Education.

Email: rcanizal [at] colostate.edu