Hi, I'm Spas Bojanov - Member Of Technical Staff at Cockroach Labs
I thrive on tackling complex challenges in distributed systems, driven by a passion for building robust, high-performance infrastructure. My background in mathematics and formal methods fuels an interdisciplinary approach to problem-solving, especially where cutting-edge storage and computation meet.
At a glance
Curated signals on strengths, focus areas, and how they can help.
Interned at Google for eight years, developing large-scale distributed systems.
A Member of Technical Staff at Cockroach Labs, advancing distributed storage and computation.
Can help others by providing deep technical insights into distributed systems design and software reliability.
🚀 Career trajectory
Foundation in Academia and Consulting
Began career with consulting roles at Ontotext and NICTA, applying computer science and mathematical principles to diverse projects.
✦ Consulting
✦ Computer Science
Software Engineering at Google
Spent eight years as a Software Engineer at Google, gaining extensive experience in large-scale software development and distributed systems.
✦ Software Engineering
✦ Distributed Systems
✦ Large-Scale Systems
Technical Leadership at Cockroach Labs
Currently a Member of Technical Staff at Cockroach Labs, focusing on advancing distributed storage and computation technologies.
✦ Distributed Databases
✦ Systems Design
✦ Technical Staff
💪🏻 Superpowers
Distributed Systems Architect
Designing and optimizing complex distributed storage and computation systems.
✦ Built large-scale distributed data processing frameworks.
✦ Deep expertise in system resilience and performance tuning.
✦ Contributed to foundational work at Cockroach Labs.
Formal Verification Expert
Applying rigorous mathematical and logical methods to ensure software correctness.
✦ Experience with model checking and SAT solving techniques.
✦ Improving reliability of complex software through formal methods.
✦ Bridging theoretical computer science with practical application.
Data Compression Innovator
Developing and implementing advanced compression algorithms for efficiency.
✦ Specialized knowledge in data storage and transmission optimization.
✦ Reducing resource utilization through intelligent compression.
✦ Leveraging mathematical insights for practical solutions.
I'm excited about
✦ Exploring collaborations on novel distributed systems research.
✦ Connecting with experts in formal verification and ML applications.
✦ Discovering emerging trends in data storage and computation.
I can help with
✦ Providing deep technical insights into distributed systems design.
✦ Advising on strategies for ensuring software correctness and reliability.
✦ Sharing expertise on optimizing data storage and processing efficiency.
I would love your help on
✦ Identifying researchers in quantum computing for potential applications.
✦ Finding opportunities to present work at leading systems conferences.
✦ Connecting with startups focused on decentralized storage solutions.