Back

Projects

MLOps Pipeline for Fraud Detection - Visa internship

Scalable MLOps pipeline for a device-fingerprint fraud detection system. Includes an end-to-end training and evaluation workflow and a transformer-based model for detecting fraudulent activity across high-volume transaction streams.

SubSHAP: Visual Feature Attribution

Research project on visual Shapley values. SubSHAP is a unified image-substitution pipeline that computes n-Shapley values and achieves high-quality visual feature attribution according to the ROAR benchmark.

GraphMLGO: Topology-Aware RL for Function Inlining

Research project extending ML-guided compiler optimisation (MLGO) with richer call-graph representations. Compares application of GraphSAGE and GAT embeddings for the LLVM inlining policy.

Training 1.58bit LLMs via Distillation

Research on training 1.58bit LLMs via distillation. It explores the effectiveness of distillation using different quantization methods, such as those introduces in papers: OneBit, BitNet and FBI and compares them with 1bit quantization.

Moondream CPP - C++ library/Android app

C++ header only library that provides inference for Moondream LLM (autoregressive image captioning). Contains a deskop app and Android app made in Qt to showcase the library.

QUMAM - Learning Management System

Platform for managing math courses and students. It offers rich UI for creating courses and exercises, as well as a student portal for tracking progress. Includes LLM capabilities like math task generation from image.

Alerting platform - highly scalable microservices system

Highly scalable and fault-tolerant microservice system for processing and managing health checks for user-defined endpoints. Provides real-time alerting via multiple channels if an endpoint goes down as well as detailed analytics and reporting.

Type Safe Tensors - Haskell library

Pure Haskell tensor library inspired by PyTorch. It provides type-safe N-dimensional tensors, broadcasting, neural network building blocks, and more, all with type-level shape tracking.

TACACS - protocol implementation with correctness proofs

Implementation of the TACACS protocol in Coq and Ocaml. According to the RFC1492.

Kava - programming language

Programming language inspired by Kotlin with elements borrowed from Java and JavaScript. It is statically typed, interpreted, and supports functions as first-class citizens.

Latte - programming language

Imperative language, a subset of Java. It is statically typed, compiled, and supports object-oriented programming.