Paul Crews

Software Engineer at Google

Mountain View, California, United States
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts
email-iconphone-icongithub-logolinkedin-logotwitter-logostackoverflow-logofacebook-logo
Join Prog.AI to see contacts

Summary

🤩
Rockstar
🎓
Top School
Paul Crews is a software engineer with nine years of experience focused on the intersection of systems design and computer security, currently building software at Google from Mountain View. He blends low-level, fault-tolerant systems work with applied security practices, leveraging strong expertise in Rust, C, C++, Java, and Python to make code provably more correct via type systems. Paul has hands-on experience in low-power embedded and networked systems, including notable contributions to the widely used Tock OS—implementing 6LoWPAN compression, fragmentation, and testing to bring IPv6 networking to constrained devices. A former vulnerability researcher and member of Stanford’s TockOS team, he combines academic research rigor with production engineering discipline and a knack for refactoring and improving long-lived codebases.
code9 years of coding experience
job1 year of employment as a software developer
bookBachelor of Science (B.S.), Computer Science, Bachelor of Science (B.S.), Computer Science at Stanford University
github-logo-circle

Github Skills (11)

arm10
embedded10
cortex-m10
rust10
ipv610
microcontroller10
6lowpan10
operating-system10
compression9
kernel8
testing8

Programming languages (4)

RustOCamlJavaScriptPython

Github contributions (5)

github-logo-circle
tock/tock

Aug 2017 - Jun 2018

A secure embedded operating system for microcontrollers
Role in this project:
userEmbedded Systems Engineer / IoT Developer
Contributions:27 commits, 4 PRs, 1 push in 10 months
Contributions summary:Paul primarily contributed to the development and refinement of the 6LoWPAN (IPv6 over Low-Power Wireless Personal Area Networks) layer within the secure embedded operating system. Their work included implementing 6LoWPAN compression, decompression, and fragmentation, along with associated testing frameworks. The user also refactored existing code, fixed merge conflicts, and addressed code style issues to improve code quality and maintainability.
kernelcortex-mrisc-vsecurebare-metal
ptcrews/ptcrews.github.io

Jun 2018 - Jun 2024

Contributions:10 pushes in 6 years 1 month
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.
Request Free Trial
Paul Crews - Software Engineer at Google