-
- Principal Architect, author, and maintainer
- Core feature development
- Arithmetic Test Environment based on induction
-
- Posit Rounding algorithm
- Build automation
-
- Integration into FDBB and G+SMO
- CAE computational science
- Platform ports and build automation
-
- Fast and optimal bitblock implementation
- Compiler intrinsics and performance
-
- C API design and implementation
-
- C API library design
- Build automation for C library
-
- Chebyshev Polynomials for approximation
- MATPAK Matrix Utilities
-
- ODE solvers
-
Universal integration into TVM for Bring-Your-Own-Type
-
Bug and compilation fixes
-
- Inventor of Universal Number Arithmetic
- Mathematica reference architecture
- Elementary functions