Geschäftsführender Gesellschafter & Technischer Leiter

• Deep Learning Und Computer Vision
• Reinforcement Learning Und Ki-agenten
• (Physikalische) Simulation Und Optimierung (Cae)
• Computergrafik Und Mixed Reality (Ar/vr)
• Algorithmische Geometrie (Cad/cam)
• Datascience Und Big Data
• Typentheorie Und Theorem Prover
• Formale Systeme Und Domänen Spezifische Sprachen
• Softwarearchitektur Und Systems Engineering
• Iot Und Eingebettete Systeme

Programmiersprachen

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

Bibliotheken Und 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

Infrastruktur Und Plattformen

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