PDF Version

Profile

“I worked as a tech lead with Ari on my team. He considers the problem he’s solving as a whole when coming up with solutions, asking good questions. He doesn’t have an ego; he’s willing to talk through the tradeoffs of different ideas to settle on one, even if it isn’t always what he proposed. Ari is pragmatic about his contributions, balancing maintainability with delivering value to the business. In addition, Ari is passionate about his craft; he cares deeply about learning and improving. Finally, Ari’s a nice guy, and I greatly enjoyed working with him!” –Christopher O’Donnell, tech lead at OneStudyTeam

Professional Experience

Sabbatical

2023

  • Personal coding projects, world travel, Spanish lessons, cooking

OneStudyTeam, Software Engineer

October 2021 – December 2022

  • Developed REST APIs and SSO authentication in a mature Clojure codebase with Ring
  • Collaborated to design and implement an event framework foundational to a company-wide transition from monolithic to microservice architecture, built with Kafka and Malli

Conexus, Software Engineer

August 2019 – September 2021

  • Led a two-person team to translate code from OCaml to Java
  • Maintained and extended a Java codebase
  • Enhanced parsing and validation features of a SQL checker

Charles River Development, Software Engineering Intern

May 2018 – August 2018

  • Developed a parser for technical documents
  • Delivered an educational presentation on Clojure

M.Gemi, Software Engineering Intern

June 2016 – August 2016, June 2017 – December 2017

  • Backend server development
  • Key skills: microservices, test automation, Node.js, Mocha/Chai

Convergence, Software Engineering Intern

June 2014 – August 2014, June 2015 – August 2015

  • Automated a manual data aggregation task, increasing efficiency by over 900%
  • Trained two temp workers to handle automation-resistant cases

Convergence, Software Engineering Intern

Education

M.S. Computer Science
Rochester Institute of Technology, January 2019 – May 2019

B.S. Computer Science, B.S. Economics
Rochester Institute of Technology, August 2015 – May 2019

Skills

Programming Languages

  • Clojure ★★★★☆
  • Python ★★★☆☆
  • Haskell ★★★☆☆
  • Java ★★★☆☆
  • OCaml ★★☆☆☆
  • JavaScript (Node.js) ★★☆☆☆

Others

  • SQL ★★★☆☆
  • Git ★★★☆☆
  • DevOps ★★☆☆☆
    • AWS, Docker, Kubernetes, Kafka
  • Bash ★★☆☆☆
  • Test-driven development ★★★☆☆
  • Property-based testing ★★☆☆☆
  • Computer science theory ★★★★☆
    • Computability, complexity, Hoare logic, type theory
  • Parsing ★★★☆☆
    • Generators, combinators
  • Formal verification (Coq) ★★☆☆☆

Languages

  • English ★★★★★
  • Spanish (Latin America) ★★★☆☆