My name is Henry and I am a computer science/mathematics student at Kiel university.
I am interested in Logic and interactive theorem proving.
I am also more generally interested in Mathematics, especially abstract algebra, and music theory.
I have worked as a TA in the past for the following courses:
Apply One-Time pad with the concatenated 7-bit binary ASCII encoding of this sentence until here with the following to obtain the 7-bit ASCII encoding of my e-mail address.
000100001101110111110010001101010111100101110111101011110101001110000111101000111001011111101000001110110001100101011100110001111001110101110100000011101001110111110100010011001111010100110111010001010100100000010000001100001000001001010100010110001010100000100001000010111000110110011100010110100100100011111000001001000100101101001111010101001110100100110110100101110111000101000011000001110010011000101010010101001001000011000000101001110001110100111110001110001110000010010011011000011110011010010010000101100000000110100001011000110100010110100101110101010011011000011110110010000010000010110001010000100100101100101100000000