I am a Mathematics PhD with many years of software development experience in multiple languages. My area of specialization is AI reasoning, automated theorem proving, and data analysis, at the intersection of mathematics. computer science, and finance. Most recently, I have created an algorithmic trading platform using OCaml called Longleaf. This platform allows users to define and execute their own strategies, with an entirely open source backend supporting different brokerages and data providers. In addition to this, users can effortlessly create graphs to visualize and analyze the behavior of their strategy as prices change and orders are sent. Critically, there is no change to your strategy necessary for backtesting or live trading. This means that no adjustments are needed to test the strategy, giving confidence in the strategy's behavior under changing conditions. Finally, Longleaf can interact with modern AI tools like LLMs to help guide and provide insights into behavior. I have also developed an automated reasoning tool Etableau, that combines the superposition calculus and the tableaux calculus in a new way. Etableau uses the open source theorem prover Eprover as a library. Etableau has participated in several CADE ATP system competitions, and is one of the most powerful theorem provers around.In addition to this, I have extensive experience in code generation according to certain needs, including transpilation, compilation, and generation of lemmas for theorem proving. Lemma generation can be thought of as a type of automatic algorithm generation used for proving theorems. These techniques can be used in many domains where users do not want to create algorithms themselves, but the algorithm needs to meet some requirements. Example applications include verifying designs in the context of MBSE (Model Based Software Engineering) and formal verification of software.• 5+ years of intensive C/C++ and Python usage• Advanced functional programming knowledge with OCaml • 5 years of instruction experience, both in person and online• Extensive experience with state of the art automated reasoning tools• Publications and novel work advancing the state of automated reasoning and AI• Proficient with Linux environments• Deep knowledge of CS and Mathematics