I run FinLingua, a financial software consultancy. This is my homepage and blog about the intersection of programming languages, software engineering, and computational finance.
I post announcements, insights, and technical articles here from time to time. For my formal research, visit the publications page.
- "Case Studies and Tools for Contract Specifications" at the 36th International Conference on Software Engineering (ICSE). Hyderabad, India. May 31 - June 7th.
- "Type Annotations in
Java 8: New Tooling Opportunities" at the
New York City Java
New York, NY. March 24th.