Senior Software Developer with over 14 years of experience specializing in Java, Kotlin, and TypeScript development. I'm passionate about programming and formal logic.
- netty-http-authenticator: basic and Digest authentication for usage with Netty
- bstreamer: load testing tools for video survelliance applications: server and client emulators, up to 40Gbps on Linux
- z3-parser: proof of concept implementation context-free grammars parser with z3 SMT solver.
- sat-inv-matrix: implementation of matrix inversion as a SAT solver task, Habr article
- Pan and Zoom transformations demo for HTML5 Canvas: Simple Pan-and-Zoom transformations
- Languages: Java, Kotlin, TypeScript, Coq, C
- Testing: JUnit, Mockito
- Frameworks: Spring, GWT
- Database: PostgreSQL, Oracle, JDBC
- Tools: Git, GitHub Actions, Jira SDK
- Frontend: React.js, Typescript, HTML5 Canvas, Emotion.js
- Misc: Linux, JNI, Nio, Netty, RTSP
- Modernized legacy document classification platform (Java 8 β 11, Tomcat 6 β 9)
- Implemented secure authentication with Spring Security
- Integrated C# image processing and Microsoft Graph SharePoint
- Set up CI/CD workflows with GitHub Actions
- Built frontend features using HTML5 Canvas, TypeScript, and React.js
- Developed Sandbox Mode with Kotlin backend and TypeScript frontend
- Provided L3 Technical Support for Structure API integration
- Developed distributed video surveillance system with Java, Netty, FFmpeg, and RTSP
- Built high-performance video retransmission server handling 2000+ connections
- Optimized Motion Detector performance and memory usage
- Implemented cross-database replication system
- πΌ LinkedIn: vladimir-zhilin-job
- π Location: Montenegro
Bachelor of Informatics and Information Technologies
Saint Petersburg State Electrotechnical University "LETI" (2012)