Spas Bojanov
Member Of Technical Staff at Cockroach Labs
New York, New York, United States
Summary
🤩
Rockstar🎓
Top SchoolSpas Bojanov is a computer scientist and Member of Technical Staff at Cockroach Labs with nine years of industry experience building planet-scale, strongly consistent SQL databases. He combines a Carnegie Mellon master’s in mathematics with deep practical expertise in distributed computing, formal methods, semantic web technologies, and low-level systems programming in C/C++, Java, OCaml, and Python. Previously at Google he led warehouse-scale computing and data-center optimization efforts—improving serialization, compression, RPC performance and privacy engineering—while earlier roles focused on OWL entailment, static analysis for C/C++, and finite automata for knowledge extraction. Known for bridging rigorous formal techniques (model checking, SAT solving) with production systems, he brings a mathematically grounded approach to performance and correctness at scale. Based in New York, he pairs hands-on implementation with a knack for turning formal insights into faster, more reliable distributed systems.
9 years of coding experience
8 years of employment as a software developer
BSc, Computer Science, BSc, Computer Science at Sofia University St. Kliment Ohridskimaster, Mathematics, 4.0, master, Mathematics, 4.0 at Carnegie Mellon University
English, Russian, French, Bulgarian, German
Github Skills (72)
postgresql10
cloud-native10
act10
monitoring10
rss10
twitter10
feed10
webscraping10
lookup-table10
sql10
espn10
database10
kubernetes10
cockroachdb10
mysql10
Programming languages (8)
Github contributions (5)
spaskob/hello_world
Oct 2016 - May 2019
Contributions:2 PRs, 6 pushes, 3 branches in 2 years 6 months
spaskob/cockroach
Jul 2019 - Apr 2021
CockroachDB - the open source, cloud-native SQL database.
Contributions:674 pushes, 141 branches in 1 year 8 months
sqlservermysqlsql-databasesqlcockroachdb
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.