Borislav S. Sabotinov

High-Performance Computing | Distributed Systems | Automation

Staff Software Engineer based in Austin, TX. Focused on scalable infrastructure, enterprise HPC platforms, DevOps automation, and applied AI systems.

Borislav Sabotinov

Selected Projects

FilmsReel Spring Boot | Firebase Realtime DB | IMDb API

A film discovery platform built to centralize movie metadata and explore structured data modeling around external content APIs.

CTL Verification Spring Boot | Kripke Modal Logic | Firestore

A Computation Tree Logic verification tool created to explore formal methods and validate temporal logic properties against modeled system states.

Weather Service Client-Server Java RMI | Automation | Swing

A distributed weather application designed to demonstrate remote communication patterns and coordinated state between desktop clients and a server.

Library Website Spring Boot | JQuery DataTables | OO Design

A catalog management system built to model real-world inventory workflows and structured data relationships in a clean web interface.

FartPower Web Game Construct 3 | Asset Creation | Scripting

A browser game developed to experiment with interactive design, asset creation, and gameplay mechanics in a lightweight arcade format.

Graph Connectivity Verification Spring Boot | Graph Simulation

A graph analysis tool created to simulate and validate connectivity properties in networked systems through backend-driven modeling.