I am a computer science student mostly interested in abstract mathematics and logic and its connections to theoretical computer science. Currently I am working on compactness theorems in infinitary combinatorics and their connections to choice principles. You can reach me by mail: