Competences and project interests

Python
Java
C/C++
Haskell
OCaml
other

If you used other programming languages, which ones?

Agda
Coq
Isabelle/HOL
Lean
F*

If you used other proof assistants, which ones?

Visual Studio Code
Emacs
vim
Atom
other

If you used other editors, which ones?

git
ssh
command line

Microsoft Windows
MacOS
Linux
Arch Linux

mathematics (undergraduate topics)
data structures & algorithms (search trees, sorting, queues)
computer science (automata, regular expressions, streams)
software verification (verification of code and extraction of verified code)
programming languages (proving properties of languages, mathematical modeling)
logic in computer science (logics for reasoning about programs)