Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456
Joshua Dunfield
[go: Go Back, main page]

Come away, come away if you're going
Leave the sinking ship behind
       —CCR

Joshua Dunfield

[photo]     
 

From August 2000 to August 2007, I was a Ph.D. student in the CMU Computer Science Department, advised by Frank Pfenning. I worked on refined type systems for programming languages, which allow programmers to state, and compilers to check, more invariants about programs. For more information, see my research page and the slides from my thesis defense. I turned in the final version of my dissertation in August.

In September, I moved to Montreal for a postdoc with the Computation and Logic Group at McGill University.

If for some reason you're interested, you can look at my curriculum vita.

I went to Portland State before it hit the big time.


Research  -  TAing (15-312 Fa02, 15-212 Sp01)  -  People I know

[Semi-]academic side interests

I'm concerned about, and interested in, a couple of academically-related issues, despite the fact that neither particularly affects me.

One is open access to research: in most scientific disciplines, research is funded by the public (in the US through agencies such as NSF, NIH, etc.) and then published in journals that neither the public nor the research community can freely access. There is no coherent justification for this situation; it is a historical accident resulting from the need to physically distribute (a relatively small number of) copies of journals, at significant cost. With the Internet, the cost of distribution is practically nil. The only rational defense of the current situation comes from journal publishers, who are myopically defending their own interests. I'm fortunate to work in a field that, unlike most, has been practicing open access (albeit very informally) for years; I believe we still have an obligation to learn about and support efforts in other fields. For these reasons, I read Open Access News and the AMSCI mailing list, and signed the petition in support of FRPAA, which would mandate open access for all research funded by the US government.

I'm also concerned about sexism—overt and covert—in academia. There's clear evidence that both men and women unconsciously discriminate against women in a variety of ways. Educate yourself and try to, at least, not contribute to the problem (though you'll find that might not be as easy as it seems).

(On a related note, I regard singular "they" as perfectly correct English. If you disagree, please examine the evidence; I think it's quite clear.)

Peak oil: bring it on

Flight status (includes Southwest)

Fun with old computers

Linux and OpenBSD on a Toshiba Libretto 70CT

Railfanning/transitfanning

Transit routes I've ridden (yes, I keep track)
Braddock Ave tracks Pittsburgh Streetcar Loops
Pinning Down Jelly: Dealing with an Ed Rendell Shill
Some transit systems Pittsburgh-Philadelphia (out of date)
Record of train tardiness (#40/41/42/43/44/45) (not being updated)

Links:
Icebike; cars suck; Jon Bell's Abandoned Drake Line page; Warsaw: ZTM, tram fansite, funny; Trolleybuses: Seattle, Montevideo (1, 2), New Zealand

Portland

Pictures of Portland
Oregon news; TriMet; PSU CS; PDX flight status; Amtrak Cascades

Writings

2001-09-08 trip report: Suburbia rant
2001-09-20: complaining about Dubya and Afghanistan and all that
2002-02-26: The campaign in Afghanistan was successful, and we have always been at war with Eastasia; Eurasia is an ally.
2001-10-20 trip report: Rail Shuttle
2001-11-10 trip report: Allegheny River
2002-03-14 trip report: the ML bus
2002-07-21 trip report: Emsworth-Avalon
Notes

Things could always be worse

You could be on the Lamers bus.
Joshua Dunfield