ok. so i finally have bandwidth again. i went last week without it in a new city with no friends to show me around. needless to say, i got alot of reading done.

i'm in cedar rapids, iowa for the summer, doing an internship with rockwell collins. they do technology work for airlines and the government. specifically, i'm working with their formal verification group on a really cool nsa sponsored project. it involves making a compiler for a newly designed haskell-like language that spits out machine code and a proof that the machine code and the original source code are semantically equivalent. it's quite an ambitious project, and i'm glad to be working on it.

rockwell has put me up in a furnished apartment that makes the robot factory look like the fort. it has beige walls and beige carpets with plastic brown floarboards, and all the furniture seems to be pressboard. there are benefits, though. i'm just a few blocks from work, i have a washer and drier, and my new cable modem connection is screamingly fast. it's also nice to be back in a place where people know that pop is called pop.

i'll be traveling alot this summer. i just booked a flight to atlanta for memorial day weekend (friday at 7pm to monday at 8:10pm). 2 weeks after that, i'll be in holland, mi for my little sister's wedding (it's the year of the weddings for the vroon family). i may also be traveling to michigan for a friend's wedding on july 3. after that, it will just be a few weeks until i move back to atlanta.