PhD Program in Computer Science

Pictures

Pictures

Saul Kripke,
Sergei Artemov,
Anil Nerode



Ken Birman "After the Internet: Looking beyond the end of the Internet Revolution"		top


Edmund M. Clarke "Symbolic Model with and without BDDs"		top


Joshua Guttman Strand Spaces: Analyzing Cryptographic Protocols		top


Michael Hind "Jikes Research Virtual Machine"		top


Vladimir Lifschitz Answer Set Programming		top


John McCarthy The Logical Path to Human-Level Artificial Intelligence	Bud Mishra Cell Talk	top


Anil Nerode "Hybrid Systems and Differential Geometry"		top


Azriel Rosenfeld "Digital Geometry"		top


Larry Shepp "Continuous mathematics vs. computer science"	J. David Schaffer "A Personal Perspective on 20 Years of Research and Applications of Evolutionary Computation "	top


Adrian Walker "What not How - Specification=Application in Internet Business Logic"		top


Yeroshua Zeevi "Enhancement and blind separation of signals and images"		top