John Nicholson

he/him

Fourth year PhD student interested in mathematical logic and theoretical computer science