-
- Principal Architect, author, and maintainer
- Core feature development
- Arithmetic Test Environment based on induction
-
- Posit Rounding algorithm
- Build automation
-
- Fast and optimal bitblock implementation
- Compiler intrinsics and performance
-
- Integration into FDBB and G+SMO
- CAE computational science
- Platform ports and build automation
-
Bug and compilation fixes
-
- Inventor of Universal Number Arithmetic
- Mathematica reference architecture
- Elementary functions