This is the language that I work with on a daily basis, and have the most experience with. Capable of writing scalable, testable and maintainable code.

This is the second most important language in my professional career.

In my academic career, python was my go to language. No professional experience with it, but I sure do know how to use it effectively.

For my master’s thesis, I specialized in formal verification of software. C was the programming language in which I performed my case study. Given its explicit memory management options, it was the ideal candidate with respect to formal verification.

As a nice side effect of my academic career, I am fluent in LaTeX as well as most of its document classes such as Beamer.