Christopher W. Brown

Christopher W. Brown is a Professor in the Department of Computer Science at the United States Naval Academy, specializing in computational methods for semi-algebraic sets and computer science education. His research bridges theoretical computer algebra with practical applications in epidemic modeling and pedagogical tools, maintaining active contributions to symbolic computation since the late 1990s.

His primary research focuses on cylindrical algebraic decomposition (CAD) and quantifier elimination, with significant extensions to projection operators, bi-equational constraints, and truth-invariant decompositions. He also develops educational software like RegeXeX for teaching regular expressions, demonstrating his dual commitment to theoretical advancement and practical pedagogy in computer science education.

Analysis of his 13 publications (1998-2007) reveals sustained innovation in CAD efficiency, including reduced projection operators and complexity analysis, while expanding applications to epidemiological modeling and educational systems. His work consistently targets real-world usability, exemplified by the QEPCAD B software suite for industrial/scientific deployment of quantifier elimination.

No scientific awards are documented in the provided materials.

As a professor, Brown advises students and leads research projects, though specific mentoring details are absent. His development of RegeXeX demonstrates direct classroom integration of research, with studies confirming its effectiveness in reducing instructor intervention while improving student outcomes in formal language theory.

Brown directs the QEPCAD project and associated tools (Tarski, webCal), creating an ecosystem for semi-algebraic set computation. These systems form the core of his research group's work, emphasizing both theoretical refinement (e.g., projection-definable CADs) and practical deployment in scientific computing contexts.