neil immerman

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 Rbert Szelepcsnyi, of the 1995 Gdel Prize in theoretical computer science. Immerman is an ACM Fellow and a Guggenheim Fellow.

<< Previous

Word Browser

Next >>

azadi tower
kixtart
ordinary wizarding level
utility programs
list of the 30 most influential women of the millennium
sw5 class melbourne tram
puijo
hwee hwee tan
stratochief
w6 class melbourne tram
the stepfather

peter tripp
new jersey railroad
beara peninsula
us (disambiguation)
rbert szelepcsnyi
scott b. sympathy
poetic realism
kde on cygwin
roman andreevich rudenko
italian futurism (cinema)
hyperkinesis

dasht e kavir
czech new wave
barberton, south africa
robert docking
el camino college
mix 104.9
meurthe river
anna scher theatre
israel navy
avedon carol
jane bryant quinn

jim slattery
mazengarb report
jessie e. woods
george docking
black buck
alan dedicoat
zabol university
mary cunningham agee
the waltons (band)
susan kadis
ucla graduate school of education and information studies