|Professor Neil Immerman is one of the key developers of an active research program called descriptive complexity, an approach he is currently applying to research in model checking, database theory, and computational complexity theory. Professor Immerman is an editor of the SIAM Journal on Computing and of Logical Methods in Computer Science. He received B.S. and M.S. degrees from Yale University in 1974 and his Ph.D. from Cornell University in 1980. His book Descriptive Complexity appeared in 1999. Immerman is the winner, jointly with Róbert Szelepcsényi, of the 1995 Gödel Prize in theoretical computer science. Immerman is an ACM Fellow and a Guggenheim Fellow.|
Recent Publications and Recent Talks
|Summer 2013:||I will be around for much of the summer, please email me if you would like to meet.|
|Fall 2013:||I will teaching: CS513 and 690LG: Logic in Computer Science|
|I am a member of the Theory Group    ||Department of Computer Science||Phone: (413) 545-1862|
|140 Governors Drive, Room 374||FAX: (413) 545-1249|
|Here is a campus map||University of Massachusetts Amherst    ||Email: immerman at cs.umass.edu|
|Amherst, MA 01003-9264|
Good news indeed that Bin Laden has finally been killed, bringing some closure to the
nihilist attacks on innocent civilians in New York, Washington, and in
four hijacked airplanes on 9/11/01.|
Here is President Obama's announcement of Bin Laden's death.
"All this may not fit on a bumper sticker, but it is more promising than anything that would. If the new Congress wants to improve health care quality and lower costs, it should do what it can to support all the cost-containing measures in the already-enacted law."
|President Obama inherited a huge mess from the Bush administration. As this New York Times editorial points out convincingly, the health reform plan was sorely needed. Similarly, as Frank Rich's column argues, failure on this issue was not an option. See also Paul Krugman's column which dispells some myths about the new plan. Nicholas D. Kristof's Access, Access, Access column describes the great value to society that medicare has provided and Obama's health plan will provide. Kristof's Is Any Illness Covered column sketches the unreasonable system that President Obama has fought hard to change over the opposition of every single Republican member of Congress. I think that Paul Krugman puts it very well when he writes of the Republican strategy Fear Strikes Out. Also, here's a nice metaphor from Maureen Dowd, "How had the lofty president and the wily speaker suddenly steered [Congress] off Jimmy Carter Highway and onto F.D.R. Drive?"|
"The truth is that given the state of American politics, the way the Senate works is no longer consistent with a functioning government. Senators themselves should recognize this fact and push through changes in those rules, including eliminating or at least limiting the filibuster. This is something they could and should do, by majority vote, on the first day of the next Senate session."
Similarly, I agree with Tom Friedman about the need for an active centrist movement in the U.S., Tea Party without Nuts.
|Supporting a National Treasure is an article from the AMS Notices about the Hampshire College Summer Studies in Mathematics (HCSSiM), a terrific program for mathematically talented high school students directed by Professor David Kelly at Hampshire College.|