Tyler Potyondy
United States
Summary
🤩
Rockstar🎓
Top SchoolTyler Potyondy is a PhD student in Computer Science at UC San Diego who builds secure, robust low-level systems with a focus on operating systems and pragmatic application of programming language and verification techniques. He contributes actively to TockOS, maintaining the IEEE 802.15.4 and OpenThread network stack and implementing core thread_network functionality including encryption, ACKs, and radio state machines for constrained microcontrollers. Prior roles span medical device research, machine-learning image segmentation for noninvasive intracranial pressure monitoring, and performance-focused desktop diagnostics where he cut processing time by 60%. Tyler blends academic rigor and practical engineering, often applying formal methods ideas to production-grade embedded software. He holds a BS in Bioengineering from UCLA and an MS from UC San Diego, and his background in both bioengineering and systems gives him a unique perspective on safety- and security-critical applications.
3 years of coding experience
3 years of employment as a software developer
University of California, San DiegoHigh School, High School at Orange Lutheran High SchoolUniversity of California, Los Angeles
English, Spanish
Github Skills (11)
ieee10
embedded10
fm-radio10
iot10
rust10
sys10
cryptography9
security9
cortex-m9
operating-system8
microcontroller8
Programming languages (5)
Github contributions (5)
tock/tock
May 2023 - Mar 2025
A secure embedded operating system for microcontrollers
Role in this project:
Embedded Systems Engineer / IoT Developer
Embedded Systems Engineer / IoT DeveloperContributions:76 reviews, 26 PRs, 7 pushes in 1 year 10 months
Contributions summary:Tyler contributed significantly to the development of the `thread_network` capsule, a core component of the secure embedded operating system. Their work involved implementing and refactoring the IEEE 802.15.4 driver, a crucial element for wireless communication within the system. Key contributions include enabling features such as packet encryption, decryption and acknowledgment. The user's changes also incorporated the underlying state machine of the 15.4 radio and the handling of device EUI-64 identifiers.
kernelcortex-mrisc-vsecurebare-metal
tyler-potyondy/libtock-c
Jan 2024 - Jan 2025
Userland apps for Tock written in C and C++
Contributions:94 pushes, 25 branches in 11 months
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.