# Robert Smith

> Compiler Engineer at AMD Pensando

Location: Palo Alto, California, United States
Profile: https://flows.cv/robertsmith

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.

## Work Experience
### Compiler Engineer @ Pensando Systems
Jan 2021 – Present | Milpitas, California, United States

### Software Engineer @ Amazon Web Services (AWS)
Jan 2018 – Jan 2018 | East Palo Alto, California, United States
Wrote Atom editor plugin to assist mobile app development

### Software Development Intern @ Amazon
Jan 2017 – Jan 2017 | Greater Seattle Area

### Web Development Intern @ VeloCloud Networks™ , Inc.
Jan 2016 – Jan 2016 | Mountain View, CA
Created ReSTful API for cloud orchestrator
Automated SDK creation with Swagger-Codegen and Apache Ant

### Software Developer Internship @ VeloCloud Networks, Inc.
Jan 2015 – Jan 2015 | Mountain View, CA


## Education
### Master's degree in Computer Science
Politecnico di Milano

### Bachelor's degree in Computer Science
Georgia Institute of Technology


## Contact & Social
- LinkedIn: https://linkedin.com/in/robertlawrencesmith

---
Source: https://flows.cv/robertsmith
JSON Resume: https://flows.cv/robertsmith/resume.json
Last updated: 2026-04-11