George Berdovskiy
Type Systems Advocate
Hello! My name is George.
I'm a computer science PhD student at the University of Texas, Austin. I want to help software engineers write programs with provable correctness guarantees using formal verification, expressive type systems, and program synthesis.
I graduated from the University of California, Davis with a BS in computer science. There, I had a great time working with Professor Caleb Stanford and Professor Tapti Palit on security in the Rust ecosystem.
Work Experience
Software Engineer
Sentry
December 2025 - August 2026
Software Engineering Intern
Caterpillar Inc.
June 2024 - September 2025
Software Engineering Intern
Grata Technologies
February - June 2023
Software Engineering Intern
Big Wheelbarrow
October - December 2022
Other Experience
Founder and CEO
Intellibio
July 2022 - December 2024
Vice President of Infrastructure
CodeLab
October 2022 - December 2024
Software Projects
Education
Computer Science, BS · GPA 4.0/4.0
University of California, Davis
2022 - 2025
Data Structures and Algorithms, Database Systems, Computer Architecture, Operating Systems, Discrete Mathematics and Probability, Linear Algebra, Programming Languages and Compilers
Languages
TypeScript
JavaScript
Python
Go
Java
Rust
C#
C/C++
Ruby
Swift
Frameworks
React
Angular
Spring Boot
Ruby on Rails
.NET
Other Tools
Docker
Kubernetes
AWS
GCP
Azure
Git