Changbo Chen is an associate professor of ARCC. He received his PhD in Computer Science from the University of Western Ontario in 2011. He joined ARCC in 2013 and his areas of research are computer algebra and high performance computing. His current research interests include parametric polynomial system solving, quantifier elimination, triangular decomposition, cylindrical algebraic decomposition and their application to the study of dynamical systems, mathematical optimization, program verification and optimization.