Researcher and engineer working on program verification, testing, visualization, and developer-facing workflows.

Selected publications

View all

CV: Interactive Visualization of Verification Results

→

SANER 2026 Tool Demo track paper

Evaluating Key Elements of Error Traces in Static Software Verification (in Russian)

→

Programmnaya Ingeneria, 2025, vol. 16, no. 11

Selected projects

View all

Continuous Verification Visualizer

→

Data Race Detection in Large-Scale Systems

→

Outside work

Calm, nature-focused travel - 30+ countries. Hiking with wide open views, snorkeling, kayaking, and exploring remote landscapes.

hikingsnorkelingmountainsislandshidden gems