Welcome! This webpage contains information about my expertise and professional activity. I am specialized in solving difficult logical problems and implementing the solutions in software. Visual communication plays a key role in many of my projects, and I enjoy designing beautiful and innovative interfaces. I like brainstorming together with a team to find the path towards a good product, and to make technical descisions that are future-proof. I have an academic background in biophysics, pure mathematics, and theoretical computer science.
Technical skills
UI/UX Design
3D Graphics
Machine Learning
Formal Verification
One of my academic specializations is formal verification using interactive theorem provers. I primarily use the Coq Proof Assistant, using which I have developed various formal theories. Developing formal proofs is very challenging, and requires careful thinking about even the smallest logical inferences. Below are some formalization projects I did.
During one full semeter we were introduced to Interaction Design for physical environments, and challenged to go through an iterative designing and prototyping procedure in small teams.