Embedded Files
Ray V Adams
110 Stone Shore Rd
(239) 247-2042 (cell)Â
Glover, VT 05839
ray@rayvadams.com
About Me
Applied Mathematician with a 23 year career in fixed income finance for a buy-side firm. My current interests include Lean 4 formalization, Category Theory, and Homotopy Type Theory.
Page updated
Report abuse