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
OneStudyTeam, Software Engineer
October 2021 – December 2022
- Developed REST APIs and SSO authentication in a mature Clojure/Ring codebase
- 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 a program from OCaml to Java
- Maintained and extended Java code
- Enhanced parsing and validation features of a SQL checker
Charles River Development, Software Engineering Intern
May 2018 – August 2018
- Developed a parser for certain 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
- Increased efficiency on a task by over 900%
- Trained two temp workers
Convergence, Software Engineering Intern
Education
M.S. Computer Science
Rochester Institute of Technology, January 2019 – May 2019
B.S. Computer Science & 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)
★★★☆☆