Dave Schmidt's Home Page (David A. Schmidt)

David Schmidt

Department of Computing and Information Sciences
Kansas State University
234 Nichols Hall
Manhattan, KS 66506 USA

Phone: +1-785-532-7912; +1-785-532-6350.
Fax: +1-785-532-7353.
Email: schmidt at cis.ksu.edu


Activities: VMCAI'09 | EJCP 2008 | SAS 2008 | ICALP 2008 | 30 Years of AI | The Neilfest | WSSA03 (my part) | Neil Jones Festschrift | SAS series | J. HOSC

Teaching: CIS301, fall 2008

Hardcover textbooks:
* Denotational Semantics: A Methodology for Language Development (Allyn and Bacon, 1986; out of print, but you can download it)
* The Structure of Typed Programming Languages (MIT Press, 1995; still available)

Online textbooks:
* CS1 course text; Python-based
* CS2 (data structures) course text; Java-based
* Programming Principles in Java: Architectures and Interfaces (contracted to Scott-Jones Press)

Recent Publications and Presentations

Misc: NewsWeatherSearch | Vita

Pavarotti loves elephants | Coffee jitters | Le petit Nicolas en thèse

Is your course grade ``realistic'' or ``ironic''?

A soap story

Youtube: Flagstad 1938 | Furtwängler 1942 | Coltrane 1965 | Spirit 1969

``Video Surfaces of Cheney, in 1994, Warning That An Invasion of Iraq Would Lead to 'Quagmire' ''

Palin in 2012...

Pizzas 1 and 2 from my niece and nephew, via Tony's in Salina.