About Me

I am a fourth year senior at the University of California, Santa Barbara pursuing a double major in mathematics and computer science in the College of Creative Studies. In the Fall I will begin graduate study in computer science at Stanford University. I also study lighting design with the department of Theater and Dance. Besides tutoring math, programming and designing lights, I enjoy spending my free time with friends, biking, reading XKCD and learning about the world. My (slightly) more technical blog is .berkeleyrc.

Research

My interests include:

  • Software Reliability and Verification
  • Combinatorics, especially Graph Theory
  • Lots, lots more

Current projects:

  • Abstracting abstract machines quickly!
  • Understanding 5-valent semi-symmetric graphs.

See my research page for publications, slides, and more details.

Berkeley Churchill

Teaching

I have some availability to tutor, but my schedule fills up quickly, and priority goes to prior customers. Contact me if you are interested. The earlier in the quarter you reach me, the better. See the teaching page for details.