Jaeheon Yi

Education

Ph.D. Program, Computer Science, UC Santa Cruz (June 2011)

B.S., Computer Science, Yonsei University, Seoul, Korea (August 2005)

Research

Programming Languages w/ Cormac Flanagan
I am part of the Slang research group.
We have a weekly reading group.

Real-Time Systems w/ Scott Brandt

I also run The What Is...? Graduate Seminar (TWIGS).

Teaching

Teaching Assistanship
CMPS 12a Introduction to Programming, Spring 2008
CMPS 101 Abstract Data Types, Fall 2006

Industry

Internship
Google, Inc., June~September 2007 (Transfer Service)
Google, Inc., June~September 2008 (DWARF Thread-Safety Annotations)

Courses

Winter 2008
CMPS290F Applications of Combinatorics

Fall 2007
CMPS203 Programming Languages
CMPS217 Logic in Computer Science

Spring 2007
CMPS253 Advanced Programming Languages
CMPS297 Independent Study

Winter 2007
CMPE248 Games and Design
CMPS211 Combinatorial Algorithms

Fall 2006
CMPS221 Advanced Operating Systems
CMPS201 Analysis of Algorithms

Programming

Languages Used
Java, C++, C, Python, Coq, Bash, Matlab, SAS, PHP, JavaScript, NesC, SQL

Operating Systems
Linux, L4

Other
LaTeX

Background

My home is Seoul, Korea. My general interests include science fiction, philosophy, Russian literature, and Astor Piazzolla's music. I know computers can be made to do much more than they can now, and that is one of my motivations for pursuing research in computer science. I started graduate school in fall 2006, and I am enjoying the great weather here at Santa Cruz. Stay tuned!

Stuff to do in Santa Cruz!

• Enjoy the view of Monterey Bay from campus
• Contact improv on the beach
• Have an organic beer at the local brewery
• Bike to Monterey or Palo Alto
• Mountain biking in the trails and along the ocean
• Hike in the beautifli mountains, cross a stream while doing so
• Walk along the beach and enjoy the sunset
• Take a dip in the ocean
• Have a barbeque in one of the parks

Contact

To email me, append my first name with @ and the cs.ucsc.edu domain.