2007-04-16

The University of Pennsylvania

Last week I accepted the University of Pennsylvania’s offer to study for a PhD (in PL). A few cool people there:

I’m really excited!

* Filed by Michael Greenberg on 2007-04-16 at 5:27pm under Blog
* 3 Comments

a weasel in a hat

2007-01-22

A New Term

A new term starts on Wednesday, but the following are all on the list for discussion:

  1. Dan Friedman, et al. The Reasoned Schemer
  2. Flapjax: lifting and a few growing pains
  3. My thesis

* Filed by Michael Greenberg on 2007-01-22 at 11:59am under Blog
No Comments

a weasel in a hat

2006-06-21

Weaselhat?

Harking to Mark Liberman of Language Log’s call for science blogs, I’ve started up this bit of silliness. I’m a computer science student, focusing on verification, temporal logic, and programming language theory. You know, the usual.

The name is random, left over from software I used to write. I have my own image, but try to free associate the two: weasel, hat; hat, weasel. Yes, yes, that’s good.

* Filed by Michael Greenberg on 2006-06-21 at 7:07pm under Blog
* 1 Comment

a weasel in a hat