Master of Computer Science @ University of Warsaw, 2025. Researcher at University of Warsaw :)
AI is analyzing your overall score…
Identifying your key strengths…
Evaluating your skill match against the job requirements…
Assessing your cultural and operational fit
decidable-fragments
April 30, 2026 – Present
Fast implementations of proof-search procedures for decidable fragments of popular logics.
View Projectpresentation-seminar-sliwowica-oct2025
April 10, 2026 – Present
Files for presentation about Lean 4 formalization of bounded arithmetic on Sliwowica seminar at the University of Warsaw
View ProjectAI-for-Math-calendar-2026
March 22, 2026 – Present
Calendar of 2026 deadlines related to AI for Math
View Projectfast-proof-theory
January 30, 2026 – Present
Efficient implementations of automated proof search algorithms in proof theory
View Projectformalization-of-bounded-arithmetic
August 4, 2025 – Present
formalization-of-bounded-arithmetic — GitHub repository
View Projectconcurrent-file-system
August 3, 2023 – August 4, 2023
An implementation of a thread-safe file system based on a real tree (not on inodes like usual), which , which makes the synchronization very difficult :)
View Projectwin10-tray-hw-monitors
July 12, 2019 – July 16, 2019
CPU & Ram Usage and CPU temperature monitors for Windows 10 embedded in 3 Tray Icons
View ProjectCultural Fit Analysis
The candidate's projects are heavily focused on theoretical computer science, formal methods, and low-level system programming, which deviates significantly from a typical 'Frontend Developer' role. While demonstrating strong technical aptitude, the project diversity does not align well with the target role's common requirements (e.g., UI/UX, web frameworks, client-side scripting). The experience level is 0, indicating no professional experience.
Soft Skills & Operational Fit
The candidate's project history suggests a strong inclination towards independent, research-oriented work. The lack of team-based projects or professional experience makes it difficult to assess collaboration, communication, or stress handling in a team environment. The psychometric test score is 0, indicating no data for these aspects.