I have two main interests.  My first is in logic, especially 
model theory, set theory, and variant logics such linear logic.  I also   
have a strong interest in category theory.  To unify these interests, I hope to study 
logic with category theory as a helpful tool. 
I am currently developing a strong research 
background from my Logic & Computation major senior thesis relating 
category theory, higher order logic and lambda calculus.
I've also had a summer fellowship at Carnegie Mellon University in algorithm
analysis and a Research Experience for Undergraduates in group theory at SUNY
Potsdam. In collaboration with my REU group, I am writing a paper on an
interesting class of groups called c-groups.  These are groups 
which have a minimal generating set larger than
a minimal generating set for their center.
In addition to research, I've had extensive course work in logic and category
theory beginning in my sophomore year taking Logic in AI.  I continued to
take similar but deeper classes in later semesters, expanding to
Constructive Logic, Categorical Logic, Set Theory, Model Theory, a class paper
on a non-monotonic logical system, and Computability and Incompleteness.  
I look forward to a challenging and interesting doctorate program, 
and think < insert school here > will provide a helpful and stimulating
environment for study in logic.