A developer and safety-critical engineer with expertise in Ada, C, and Lisp, currently building websites, bots, and smart contracts. Previously worked at ESET and holds a PhD in Applied Mathematics. Recognized for technical proficiency and contributions to software engineering in safety-critical domains.

‌