×
Gary Miguel

Gary Miguel

software engineer and manager
US
garymm@garymm.org
https://garymm.org
English, Spanish, Mandarin Chinese

Background

About

About

Looking for opportunities to do real good with my skills.
See https://80000hours.org/key-ideas/

Work Experience

Work Experience

  • Principal Software Engineer, Microsoft

    Mar, 2021 - Present

    Tech lead and manager of the Open Neural Network Exchange (ONNX) converters team, which develops tools to convert from PyTorch and TensorFlow into the ONNX format. Also manager of the core ONNX team which develops the ONNX specification and related tooling. Implemented major changes to dev process to increase happiness and productivity. Worked with hardware vendors to design features that enabled further acceleration of models. Improved usability through docs and code.

  • Staff Software Engineer, Google

    Jun, 2010 - Mar, 202110 years 9 months

    2018-2021: Tech lead of platform infrastructure team for the Fuchsia operating system. Developed systems to automate building and testing of the OS on developer workstations and in a distributed CI system. Scaled from ~100 developers and 1 supported device type to ~500 developers and ~5 device types. Some of the changes I authored or reviewed.

    2015-2017: Tech lead and manager of the engineering productivity teams (9 engineers in 2 locations) for the crawl and indexing teams. Provided infrastructure for automated black-box and end-to-end testing, release automation, experimentation and developer productivity.

    2010-2015: Individual contributor working on engineering productivity for search infrastructure. Developed systems for testing and experimentation with Google’s largest distributed systems (search indexing and serving), scaling systems down from a data center to a developer workstation while maintaining fidelity.

  • Software Engineer, Verily Life Sciences

    Oct, 2019 - Jun, 20208 months

    20% volunteer on Debug at Verily. Migrated mosquito image classification pipeline off of Google Cloud proprietary tech to RabbitMQ so it could run on-prem.

  • Software Engineer, Informatica

    Jul, 2009 - Jun, 201011 months

    Developed Eclipse-based tool used for developing data services based on integrated data from multiple systems.

Skills

Skills

  • People management
  • Programming languages

    C

    C++

    Go

    Python

    SQL

  • Machine learning

    ONNX

    PyTorch

  • Engineering productivity

    continuous integration

    test automation

    release automation

  • Distributed systems
Education

Education

  • Computer Science - Systems, Master of Science, Stanford University

    Sep, 2011 - Jun, 2016

  • Computer Science, Bachelor, University of California, Berkeley

    Aug, 2005 - May, 2009

Awards

Awards

  • Outstanding Academic Achievement in Computer Science , UC Berkeley

    Awarded on: May 01, 2009

    Given by the Computer Science division to the student with the highest GPA in the graduating class.