My Courses at Brown

Classes started about a week ago. For those who are curious, here are the courses I'm taking:

So far, the first three are really exciting, while the last is a bit slow.

In CS275, we get to pick our own topics, and my first topic is on Software Transactional Memory. I've been interested in STM for a while, and by happy coincidence, the professor for that course, Maurice Herlihy, is one of the biggest contributors to the area. (I'm so bad with names that I didn't even realize this was the case until another student pointed it out to me in the second class.)

CS296-1 is basically formal verification. This week's class included a quick overview of model checking, and last week's homework was to go through the Alloy tutorial. After the model checking class, some of the class hung around afterwards and learned about things like the difference between CTL and LTL, and the mu operator (which was fun because I'd already come across mu in TAPL, for describing fixpoints of infinite types).

In CS258, we're studying approaches for tackling NP hard optimization problems. Today we discussed local search, constraint propagation over a graph, and the simplex algorithm. The current homework is to implement dynamic programming and branch-and-bound implementations of the knapsack problem.

In CS196-1, we're currently doing sequence alignment. But the instructor claims eventually we'll get to things I find more interesting, like protein folding and systems biology.

Also, every thursday there are seminars. Today's seminar was on adding reflection to NuPRL, which was quite interesting.

In short, there's a whole ton of stuff going on, and almost all of it is really interesting.

Posted on February 2, 2006 10:20 PM
More school articles

Comments

I was wondering what languages they let you use in the courses. Are they dictated, or do you get to pick your own?

Was also wondering about the computational biology class, since I have an on again/off again interest in bioinformatics. Did your wife get you interested in that? I remember you helping her with gels or microarrays in the past.

Posted by: Richard Cook at February 6, 2006 10:47 AM

In CS258, we get to pick our own languages. I chose haskell for the branch-and-bound problem, but I'm probably going to switch to ocaml for graph coloring (since efficient graphs in haskell are not especially obvious). I've considered asking whether they'd let us use a constraint language like Oz, but that would probably be cheating.

In CS296-1, we're going to have to analyze a system written in Scheme. So the choice of language will very likely be Scheme.

CS275 has no programming component, it's all about reading papers and giving presentations.

The comp bio class is an undergrad class, so they're more likely to require certain languages. There hasn't been any programming homework yet, though.

As for my interest in comp bio, that actually preceeded meeting my wife. I went through a phase of wanting to work on programs that were "relevant to the real world", and I figured I could either choose robotics or biology. I chose biology. My interest since then has waxed and waned at unpredictable intervals.

Posted by: Kim at February 6, 2006 11:40 AM

Martin Erwig's Functional Graph Library is in Data.Graph these days, and is efficient for some things, not sure if it's efficient for what you're doing.

Posted by: Shae Erisson at March 8, 2006 04:55 AM

Tiffany & Co Ten Row Chain DISC Toggle Bracelet [S006] On Sale
Tiffany & Co Ten Row Disc Toggle Necklace [N022] On Sale
Return To Tiffany Oval Tag Pendant Necklace N103 [N103] On Sale
Return To Tiffany Oval Tag Pendant Necklace N235 [N235] On Sale

Tiffany & Co Mesh Earrings [E085] On Sale
Return To Tiffany Round Tag Pendant Necklace [N048] On Sale
Tiffany & Co 5 Open Heart Necklace [N035] On Sale

Tiffany & Co Elsa Perett 5 Open Heart Bracelet [S017] On Sale

Posted by: vuitton at October 28, 2009 09:04 AM

Tiffany & Co Mesh Earrings [E085] On Sale
Return To Tiffany Round Tag Pendant Necklace [N048] On Sale
Tiffany & Co 5 Open Heart Necklace [N035] On Sale

Tiffany & Co Elsa Perett 5 Open Heart Bracelet [S017] On Sale

Posted by: vuitton at October 28, 2009 09:05 AM

Love this man. Great stuff, great prices, free shipping. Email him if you cant find what you are looking for and he will look for you. Good customer service.louis vuittonSomeone who is knowledgeable in louis vuitton.Another guy from hong Kong (Largest louis vuitton second hand city, I believe) he has great stuff at fair prices but his shipping is insane

Posted by: louis vuitton at October 29, 2009 10:42 AM

Supra Shoes
Mens Supra Cruizer Shoes ---Special
Men's Supra Cruizer Red Shoes
Mens Supra Cruizer Cool Shoes
Mens Supra Cruizer Shoes --Charming
Mens Supra Cruizer Pure black Shoes
Mens Supra Cruizer Shoes --Leisure
Man's Supra Cruizer Shoes
Men's Supra Muska Skytop Shoes
Men's Supra Skateboarding Shoes
Men's Supra Strapped Shoes
Men's Supra Suprano High Shoes
Women's Supra Muska Skytop Shoes
cheap ugg boots sale
uggs classic mini sale
UGG Ultra Tall Boots
Cheap Ugg Boots
UGG Classic Tall Boots
UGG Classic Cardy
UGG Classic Short Boots

Posted by: supra shoes at November 1, 2009 01:05 PM

Gucci Monogram
Gucci Tote Handbags
Cheap Gucci Handbags
Gucci Abbey D
UGG Women's Highkoo
UGG Women's Knightsbridge
UGG Classic Tall Romantic Flower
UGG Classic Tall stamp
Ugg Coquette Slipper
Ugg handbags
UGG Kid's Classic
UGG Classic Mini
UGG Classic Tall
UGG Sundance Limited Edition
Fendi Handbags

Posted by: 123 at November 16, 2009 09:48 PM

Uggs on sale now.UGG Classic Cardy Boot makes me different form the other

girls. The UGG Bailey Button Boot is a good choice for female.

Posted by: ugg classic cardy boots at November 17, 2009 12:33 AM

UGG Bailey Button bootsis a new style in 2009.The classic cardy uggs boots is another hot boots that worth of buying.And the classic tall ugg boots will make your winter amusing.And now uggs on sale,if you are looking for such a boot,the ugg boots is good choice this year.

Posted by: UGG Bailey Button Boots at November 17, 2009 01:11 AM

discount ugg boots
forture
ugg boots
Discount store

Posted by: wholesaler business website, net shopping site, external wholesaler,dvd wholesaler,wholesaler definition,china wholesaler,mutual fund wholesaler,define wholesaler,insurance wholesaler at November 17, 2009 04:19 AM

www.enjoywholesale.com

china wholesale clothing,china wholesale shoes,china wholesale electronics,china wholesale suppliers,china manufacturers

china wholesale products,light in the box,wholesale lots,wholesale ipod
china direct,china dropship,china trade,made in china

electronics wholesaler,ebay wholesaler,financial wholesaler
fashion wholesaler,clothing wholesaler,wholesaler magazine

computer wholesaler,external wholesaler,dvd wholesaler,wholesaler definition,china wholesaler,mutual fund wholesaler,define wholesaler,insurance wholesaler

discount ugg boots
forture
ugg boots
Discount store

replica watch
replica A.Lange & Sohne
replica Alain Silberstein

Posted by: rolex replica at November 19, 2009 12:18 AM

We are the best online sales for the china wholesale . Here you can have a large of choices of kinds Ugg Boots,Converse Shoes,Timberland Boots,puma shoes,Nike Shox Shoes ,Nike Dunk SB Shoes,Nike Air Max，Links Of London,Tiffany Jewelry,Dior Handbags?,jimmy choo handbags ,Cartier Watches, 8GB Mp4 Players,Bluetooth Car DVDs. All our cheap online cheap goods are high quality and original packages, and best service. We offer our customers the best service, 7 days arrive at your door.Enjoy your easy and happy shopping with us.

Posted by: cheap goods sale. at November 20, 2009 12:48 AM

People all over the world know the abercrombie and fitch,but not everyone really knows how fashion the abercrombie is,hollister is the Legend maker. Everybody wears the hollister clothing would be the abercrombie mens and the abercrombie womens, if you want know you can search the Ruehl No.925 or abercrombie outlet in the www.google.com .

Posted by: fitch at November 21, 2009 03:34 AM

Your article is write very well, I like it very much ~
ghd Hair Straightener
ghd Hair Straighteners
ghd straighteners
GHD
hair straighteners
bose in ear headphones
bose on ear headphones
bose headphones
nike sb dunks
nike dunks
I wish you have a wonderful day!Thank you.

Posted by: ghd straighteners at November 22, 2009 08:54 PM

Supra Shoes
Supra Skytop Shoes
Supra Society
Supra Thunder
Supra Suprano Hi
Supra Strapped
Supra Trinity
Supra Skylow 1.5
Supra Dixon
Diablo 1.5
Supra Cruizer
Supra Vaider Shoes
Supra Cuban

Posted by: Supra Shoes at November 23, 2009 12:37 AM

Laptop Battery Laptop Battery Laptop Batteries
Laptop Batteries discount laptop battery
discount laptop battery
notebook battery notebook battery
computer battery computer battery
replacement laptop battery replacement laptop battery
notebook batteries notebook batteries

Posted by: Laptop Battery at November 24, 2009 10:09 PM

rongTiffany Jewelry Online - Discount Tiffany & Co Jewelry On Sale

Hot Sell Tiffany Jewelry - Tiffany Jewelry Online

Return To Tiffany Double Heart Detachable Pendant Necklace - Tiffany Jewelry Online

Tiffany&Co 1837 Titanium I.D. Bracelet - Tiffany Jewelry Online
Tiffany & Co Bead Bracelet - Tiffany Jewelry Online

Tiffany&Co Atlas Round Pendant Necklace - Tiffany Jewelry Online
Tiffany&Co Bar Pendant Necklace - Tiffany Jewelry Online
Tiffany&Co Bead Necklace(N242) - Tiffany Jewelry Online
Tiffany&Co Bean Pendant Necklace(N157) - Tiffany Jewelry Online

Tiffany&Co Elsa Peretti Apple Pendant Necklace - Tiffany Jewelry Online
Tiffany&Co Butterfly Pendant Necklace - Tiffany Jewelry Online

Posted by: at November 25, 2009 01:52 AM

belly fat
lose weight
jobs for 16 year olds
jobs for 14 year olds
Dog training
dog training supplies
Anti Bark Collars
Wholesale Oil Painting
make money

Posted by: DOGTRAINING at November 26, 2009 08:34 PM

Paul Smith has been collaborating with a few different organizations recently and his latest venture sees him teaming up with Japanese bicycle saddle, Paul Smith bag, on a limited edition leather saddle. The release features Smith’s signature stripes where only 20 will be available at Paul Smith Clothing store in Japan and 8 at the Floral Street store in London. Get on it quick

Posted by: fdfewq at November 29, 2009 11:17 AM

cheap replica watches
Rolex Submariner watch for sale
replica Hermes
Panerai replica
Hermes watches
tiffany jewelry

Posted by: Rolex Submariner watch for sale at November 30, 2009 03:31 PM

cheap replica watches
Rolex Submariner watch for sale
replica Hermes
Panerai replica
Hermes watches
tiffany jewelry

Posted by: Rolex Submariner watch for sale at November 30, 2009 03:31 PM

replica watches
Maurice Lacroix watch for sale
replica Rolex Sea-Dweller
Ferrari replica
Rolex Milgauss watch for sale
amazing Swiss watches

Posted by: http://www.longineswatches.org/Rolex/Sea-Dweller/ at November 30, 2009 04:14 PM

cheap Christian Louboutin
Christian Louboutin sandal on sale
Yves Saint Laurent Shoes on sale
cheap Christian Louboutin Boot
cheap Jimmy Choo
Tiffany Oval Tag Cuff Links

Posted by: replica Audemars Piguet at December 1, 2009 09:29 PM

One Simple Tech - Computer News, Reviews and Guides
The Forex Page - The Foreign Exchange
The Airlines Page - All Things Airlines
The Fitness Page - Guides to Healty Life
The Network Site - Networking Technology
The Adsense Site - Guide to Online Adsense Earning
The Asian Hotties - Sexy Asian Girls
Bali Page - Island of Bali
Guam Page - Island of Guam
Kalakas 671 - All About Island of Guam
Indonesia Page - All About Indonesia
MagicStix Site - Personal Blog of MagicStix
Permai's Page - Personal Blog of Permai

Posted by: Indonesia at December 2, 2009 08:20 PM

Posted by: Indonesia at December 2, 2009 08:21 PM

Posted by: Indonesia at December 2, 2009 08:22 PM