Computer Algebra
 Computer algebra systems
(e.g. Maple)
 Mathematical algorithms
(e.g. polynomials with symbolic exponents, polynomials with approximate coefficients)
 Mathematical knowledge management
(e.g. MathML,
web services, document analysis)
 Automatic Differentiation
PenBased Computing
 Portability of penbased computing (InkML InkChat)
 Geometric methods for character recognition
 Mathematical expression recognition
 Penbased expression manipulation
Programming Languages and Compilers
 Templates, higherorder type systems, related code optimization
(Aldor, Java)
 Compiler middleware
 Memory management
 Compiliation for parallel and distributed computing
Other Topics
 Highfrequency trading software
 Mathematical physics
 Computing and law
 Corporate governance
 Executive compensation models


