I did a bachelors in mathematics followed by masters in computer science. Currently a researcher in Application-oriented Formal Verification group @ KASTEL. Also a part of Convide Convide .
Interested in mathematical pedagogy and means of production.
