# Martin Velez

> Staff Software Engineer @ Aurora | Cloud FinOps

Location: San Francisco Bay Area, United States
Profile: https://flows.cv/martinvelez

I am the Tech Lead of the FinOps area at Aurora, where we are building self-driving trucks.  Previously, I worked on Data Infrastructure and Storage Infrastructure.  Before that, I did research on software engineering and computer science education.

## Work Experience
### Staff Software Engineer @ Aurora
Jan 2021 – Present | Mountain View, California, United States
I build software systems and develop processes to control cloud costs.

### Senior Software Engineer @ Uber
Jan 2018 – Jan 2021 | San Francisco Bay Area
I built data infrastructure for self-driving car research and development.

### Graduate Student Researcher @ University of California, Davis
Jan 2012 – Jan 2018 | Davis, California
My main line of research focused on minimizing technical challenges faced by people learning to program.

Developed Kodethon, a web IDE that supports programming in C, C++, Python, Java, Lisp, and Prolog, to aid CS education at universities.  Used various technologies including Ruby-on-Rails, AngularJS, PostgreSQL, and Docker.  It has been used by over 3,000 students in over 15 courses at UC Davis.

Proposed a novel technique to automatically synthesize minimal compilation repair examples for C++.  Achieved over 50% coverage of clang++ compiler errors.  Built CompAssist, a prototype tool to help programmers.

Formalized a new NP-complete problem, Minset, and proposed it as a novel approach of identifying semantically important source code. Wrote a Java program to find the minset of millions of Java methods for an empirical study.

Collaborated on creating the new SCAA and WCR Coffee Taster’s Flavor Wheel used widely in the coffee industry.  Developed a hierarchical sorting tool using AngularJS and Firebase. Featured on the Journal of Food Science.

Co-authored a publication in the Journal of Dairy Science which studied the feasibility of using RFID to automatically track cows' grooming behavior.  Wrote a Java program to interface with the RFID hardware, and store data in a PostgreSQL database, and built a real-time web user interface.

### Teaching Assistant @ University of California, Davis
Jan 2015 – Jan 2017 | Davis, California
Lectured, led class discussions, tutored students, graded programming assignments, and proctored exams in undergraduate classes, Introduction to Programming and Programming Languages.

### Student Research Asssistant @ University of California, Davis
Jan 2009 – Jan 2012 | Davis, California
Developed a framework to investigate methods to dynamically analyze and reverse engineer C++, JavaScript, Java, x86 assembly obfuscation engines.

### Software Engineer @ University of California, Davis
Jan 2007 – Jan 2010 | Davis, California
Developed a Linux, Apache, MySQL, and PHP web application which handled all of the personal data and appointments of over 600 families participating in a 10-year $10M child development research study.


## Education
### Doctor of Philosophy (Ph.D.) in Computer Science
University of California, Davis

### Bachelor of Arts (BA) in Economics
University of California, Davis


## Contact & Social
- LinkedIn: https://linkedin.com/in/martin-velez-7202015
- Portfolio: https://martinvelez.github.io

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