I am located in Europe, Switzerland 🇨🇭
My current work centers around:
- [ ] privacy enhanced algorithms and systems
- [ ] distributed computing (Kubernetes, ..)
- [ ] programming in C++, OCaml, Prolog, and many more
- [ ] formal specification in the theorem prover Coq
- [ ] devopsing on Linux and FreeBSD