Recent Master's graduate with a focus in Compilers and Formal Languages. Thesis describes novel encoding for networks of Timed Automata into SMT-LIB, a standardized input language for SMT solvers.

Experience

Pensando SystemsCompiler Engineer

2021 — Now

Milpitas, California, United States

Amazon Web Services (AWS)Software Engineer

2018 — 2018

East Palo Alto, California, United States

Wrote Atom editor plugin to assist mobile app development

AmazonSoftware Development Intern

2017 — 2017

Greater Seattle Area

VeloCloud Networks™ , Inc.Web Development Intern

2016 — 2016

Mountain View, CA

Created ReSTful API for cloud orchestrator

Automated SDK creation with Swagger-Codegen and Apache Ant

VeloCloud Networks, Inc.Software Developer Internship

2015 — 2015

Mountain View, CA

Education

Politecnico di Milano

Master's degree

Georgia Institute of Technology

Experience

Education

Master's degree

Bachelor's degree