I am a junior majoring in Computer Science at the University of Kentucky. I work with Dr. Truszczynski in the Logic and Artificial Intelligence Laboratory, studying satisfiability solvers, etc.

Hobbies include music, movies, and the game Go.

• E-mail: zach@uky.edu
• Personal Weblog