Senior majoring in Logic, Information, and Computation with minors in Mathematics, Computer Science, and Religious Studies.