- Bachelorโs degree (B.Eng.) in Computer Science and Information Systems from the Faculty of Mathematics and Information Science at the Warsaw University of Technology.
- Currently pursuing Master's degree in Artificial Intelligence Methods.
- In my spare time, I enjoy traveling ๐, running ๐โโ๏ธ, swimming ๐โโ๏ธ and learning foreign languages.
- On top of that, I love reading books ๐ (lots of them every year ๐).
| ๐ Project | ๐ Description | ๐ง Technologies |
|---|---|---|
| KnowledgeRepresentation | [IN PROGRESS] A reasoning engine with a graphical interface and an action language for modeling dynamic domains. It supports executability, value, and optimal cost queries, enabling users to analyze system behavior and compute efficient action plans using graph-based search algorithms. |
C#, Sprache, xUnit, AvaloniaUI, AvaloniaEdit |
| Breakthrough | [IN PROGRESS] Experiments with Monte Carlo Tree Search (MCTS) and its modifications applied to the game Breakthrough. Core in Rust, analysis in Python. |
Rust, macroquad, clap, Python, numpy, pandas, scipy, matplotlib, seaborn |
| TSP Approximation | Implementation and comparison of two approximation algorithms for the Metric Traveling Salesman Problem (TSP) | C#, Python, pandas, matplotlib, scipy, numpy |
| AntColonyOptimization | Distance-Constrained Capacitated Vehicle Routing Problem (DCVRP) using Ant Colony Optimization. Core in Rust, analysis in Python. | Rust, clap, Python, numpy, pandas, scipy, matplotlib |
| MEVA | A distributed version control system written in Rust, developed as part of an engineering thesis. | Rust, egui, clap, russh |
| Database | A lightweight SQL-like in-memory database engine, featuring a custom Pest grammar that parses queries into a structured AST. The AST is then semantically validated and executed by the engine, powering both the CLI and TUI frontends | Rust, ratatui, clap, pest |
| PayUpPal | Modern, full-stack mobile app that makes group expense sharing effortless. Create groups, add expenses, and let its smart debt-minimization algorithm simplify settlements | Flutter, Dart, Firebase Authentication, ASP .NET Core, SQL Server, Microsoft Azure |
| NeuroSpeech | Project for the Introduction to Machine Learning academic course. It uses a Convolutional Neural Network (CNN) to recognize spoken words from WAV audio recordings | Python, PyTorch, NumPy, Gradio, Poetry |
| GASudokuSolver | Sudoku solver based on genetic algorithms, with modular customizations of key components of the algorithm | WPF, SkiaSharp, C# |
| CarRental | Full-stack car rental platform that aggregates rental offers from multiple providers. It features a price comparison tool, allowing users to find the best deals. The app integrates with third-party supplier APIs to fetch real-time availability and pricing | Blazor WebAssembly, MudBlazor, Google Maps, ASP .NET Core, SQL Server, Microsoft Azure, SendGrid |
โ๏ธ admgrac@gmail.com