Eric Reiner

Eric Reiner serves as an Adjunct Professor of Finance and Faculty Director of the Master of Financial Engineering program at UCLA Anderson School of Management. His unique academic profile bridges finance and formal methods, combining financial engineering expertise with advanced computational verification techniques.

Dr. Reiner's research spans two distinct domains: traditional finance and formal methods in computer science. His work in formal methods focuses on satisfiability modulo theories (SMT), bit-precise reasoning, and model checking, with publications appearing in leading formal methods venues. This unusual interdisciplinary approach suggests innovative applications of verification techniques to financial systems, potentially addressing challenges in algorithmic trading verification, risk model validation, and financial protocol security.

Analysis of his recent publications (2022-2024) reveals a strong focus on improving SMT solver capabilities, particularly for bit-vector reasoning and user extensibility. His work shows progression from theoretical foundations toward practical industrial applications, with increasing attention to proof generation, solver performance optimization, and machine learning techniques for algorithm selection. The consistent publication record in formal methods venues indicates deep technical expertise that complements his finance role.

As Faculty Director of the Master of Financial Engineering program, Dr. Reiner oversees curriculum development that likely integrates both traditional finance knowledge and cutting-edge computational verification methods. This distinctive combination prepares students to develop and validate complex financial algorithms with mathematical rigor, addressing growing industry needs for verified financial technologies.