Software engineer, interested in Distributed Systems, Systems
Programming, Cybersecurity, and solving algorithmic problems. I
enjoy building software with good system design and never
compromise on product quality.
During my professional work experience, I have acquired a sound
technical knowledge of various programming paradigms: declarative
(OCaml, Scala, F#), OOP (Java), and procedural (Go). In addition,
I am working hard on DevSecOps skills and catching up with Rust.
For my future projects, I have a big preference for blockchain
core engineering positions (ideally EVM-based). In particular, I
am very passionate about layer 2 solutions and solving data
availability problems, with a strong focus on decentralization.
Nevertheless, I am more than open to working on the application
side as well.
Besides reading many technical books about industry best practices
and working on my side projects, I also like to spend time rock
climbing, dancing Cuban salsa, traveling, or just meeting new
people/friends :).
Software Engineer (Tezos blockchain, contracted by Marigold,
Remote)
Core Protocol developer for the Tezos blockchain, writing
open-source code in OCaml for distributed network of nodes. I have
worked on designing LRU cache for lazy evaluated hash-map data
structure on the protocol level, implementing data availability
solution for Tezos blockchain and developing autogeneration of the
base client libraries for Rust and JavaScript, that are consistent
with reference OCaml implementations.
DevOps (Tezos blockchain, contracted by Marigold, Remote)
Working with the infrastructure team on making Tezos main
repository a functioning monorepo. Concretely, I have been working
on conditional CI execution, optimizing CI pipelines and docker
images. Finally, I am actively pushing for introducing CI
Observability, following open telemetry standards
Software Developer (Ixtlan Team, Ljubljana)
Working in a team of 7 people on a Single-Page-Application,
responsible for government finance management. We were building
websites from scratch (Angular), implementing business logic (Java
RESTful API), designing the database and writing stored procedures
(Oracle).
Migrating a DSL from OCaml to F# (SimCorp, Copenhagen)
Three-student team working on a migration of embedded DSL written
in OCaml to F#. We modelled some of the missing OCaml language
constructs in F#, extended the F# DSL grammar definition and
corresponding parts in the evaluator. We introduced unit testing
and coverage testing. We have also developed a tool-chain for
automatic translation of OCaml instruments to F# counterparts
using translation rules written in Comby. The project became our
master thesis.
Student Researcher (University of Ljubljana) Microorganisms of Petola and Salina Mud from the Secovlje Salt Pans was an interdisciplinary research project organised in association with partner universities and research institute. As a chemist, I was responsible for elemental analysis of samples from salt pans and chemical analysis of brines and mud samples
IT-Universitetet i København, Denmark
Master of Science (MSc) in Software Design (Software
Development track)
Relevant courses: Introduction to Functional Programming,
Algorithms and Data Structures, Artificial Intelligence, Database
Systems, Advanced Programming, Practical Concurrent and Parallel
Programming, Applied Algorithms.
University of Ljubljana, Slovenia
Bachelor of Science (BSc), Chemistry
Thesis: Molecular structure characterisation and elucidation using
nuclear magnetic resonance (NMR) spectroscopy