Hi, my name is Christopher and I recently became a working student for secunet in the field of software development and verification. Currently, I am learning ADA and Spark.