# Cole G.

> Computer <​3

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

I’m passionate about engaging in deep systems-level thinking. There's just something so satisfying about uncovering foundational principles that govern how things work. It's important to know what's going on to make quality software.

My focus lies. The other focus always tells the truth. There are three doors: one has a car behind it and the other two have goats behind them. If Monty Hall opens up one of the doors and my focus tells you to switch, do you switch?

## Work Experience
### Student Researcher @ University of California, Santa Cruz
Jan 2025 – Present | Santa Cruz, CA
Research for the LSD-S3 Lab!
- Distributed Protocols
- Theorem Proving
- Lean 4

### Software Engineer, Platform @ Moveworks
Jan 2025 – Jan 2025 | Mountain View, California, United States
- Core platform team for enterprise search and agentic AI.
- Mass-migrated insecure permission rules to a new permissions strategy.
- Spearheaded multi-threaded permission audit event tracing and serialization project.

Left to go back to school

### Software Engineer Intern @ endiatx
Jan 2024 – Jan 2025 | Hayward, California
- Decreased frame-decode CPU usage by 90% by identifying GC thrashing.
- Refactored video service into a pub-sub system to allow multiple concurrent viewers.
- Decoupled client-server code to enable connection over LAN.
- Reduced video data sent to client by 25%.
- Halved front-end build times using Makefiles and Vite.

### Founding Engineer @ Binocular
Jan 2022 – Jan 2022 | San Jose, California, United States
- Authored "foundatsion" type validation library.
- Built TypeScript compiler transformer for type-conversion and inlining.
- Created automated, type-safe smart contract integration using code generation.
- Developed and gas optimized an Ethereum Smart Contract infrastructure.

### Web Development Intern @ MixBit
Jan 2019 – Jan 2019 | San Mateo, California, United States


## Education
### Ph.D. Student
University of California, Santa Cruz

### Bachelor of Arts - BA in Computer Science
University of California, Santa Cruz

### CEO of Design Thinking
Design Tech High School at Oracle


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

---
Source: https://flows.cv/coleg
JSON Resume: https://flows.cv/coleg/resume.json
Last updated: 2026-03-29