Kevin Cheung

Kevin Cheung is an Associate Professor at Carleton University's School of Mathematics and Statistics. His academic focus includes combinatorial optimization, discrete mathematics, and programming language applications.

Research Interests: His work spans combinatorial optimization, integer/logic programming, machine learning integration with mathematical methods, Lean 4 theorem proving, and computational mathematics. Key areas include algorithm design for numerical problems and discrete structures.

Article Analysis: Recent publications (2022-2024) concentrate on computational mathematics, featuring Haskell implementations of algorithms for: numeral systems (negative bases), polynomial interpolation, diophantine equations, and combinatorics (balanced parentheses, compositions). Theoretical work includes convex optimization proofs.

Teaching: Instructs calculus, discrete/linear algebra, mathematical logic, numerical analysis, and optimization courses.

Contact: Primary email: kcheung@math.carleton.ca. Office: 4360 HP, Carleton University, 1125 Colonel By Drive, Ottawa, ON K1S 5B6, Canada.