Managing Partner & Technical Director

• Deep Learning And Computer Vision
• Reinforcement Learning And Ai Agents
• (Physical) Simulation And Optimization (Cae)
• Computer Graphics And Mixed Reality (Ar/vr)
• Algorithmic Geometry (Cad/cam)
• Data Science And Big Data
• Type Theory And Theorem Provers
• Formal Systems And Domain-specific Languages
• Software Architecture And Systems Engineering
• Iot And Embedded Systems

Programming Languages

• C/c++
• Rust
• C#
• Java
• Python
• Haskell
• Lean
• Lisp
• Javascript
• Html
• Php

Libraries And Frameworks

• Fenics
• Blas
• Tensorflow
• Keras
• Pytorch
• Petsc
• Numpy
• Matplotlib
• Pandas
• Dask
• Scikit-learn
• Scipy
• Paraview
• Opencv
• Unittest
• Lapack
• Mpi
• Openmp
• React
• Blender
• Opengl
• Unity
• Mqtt
• Kafka
• Freecad
• Spark
• Mathlib

Infrastructure And Platforms

• Docker
• Kubernetes
• Aws
• Azure
• Make
• Cmake
• Git
• Vscode
• Node
• Visual Studio
• Sql
• Nosql
• Jupyter