# Kyle Raftogianis

> Software Engineer

Location: Berkeley, California, United States
Profile: https://flows.cv/kyleraftogianis

I use mathematics to design robust software.

My interests include:
- Formal verification and theorem proving
- Functional programming
- Distributed systems
- Programming languages and DSLs
- Databases

## Work Experience
### Software Engineer @ Jane Street
Jan 2021 – Jan 2023

### Software Engineer @ Google
Jan 2017 – Jan 2020
As part of the Network Infrastructure Team, I developed simulations of new high-performance network technologies, and developed infrastructure to quickly run these simulations and interactively analyze the results.

As part of the Ads Infrastructure Team, I designed and implemented solutions to make it faster and easier to iterate on new ads personalization models. These include a domain-specific language for user modeling, dynamic configuration pushes, and automated load tests.

### Head Teaching Assistant of Infrastructure (CS 61A) @ UC Berkeley
Jan 2015 – Jan 2017
I led development and operations of course software for CS 61A (The Structure and Interpretation of Computer Programs) and other Berkeley CS courses, used by 6000+ students. Our projects included an online submission and grading system, a real-time office hours queue, and automated builds and deployment of the course website and materials.

### Software Engineering Intern @ Facebook
Jan 2016 – Jan 2016
As part of the Skip Programming Language Team (skiplang.com), I contributed to the Skip language compiler, the Skip standard library and tests, and language support for Nuclide, Facebook’s IDE.

### Software Engineering Intern @ Twitter
Jan 2015 – Jan 2015
As part of the Observability (Monitoring) Team, I developed a mathematical model for reasoning about and querying time-series data, and implemented a Scala library to compute with time-series data in this model.


## Education
### Bachelor’s Degree in Mathematics and Computer Science
University of California, Berkeley


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

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