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

David Schmidt

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

Email: das at ksu.edu (old address: schmidt at cis.ksu.edu)
(please use email to contact me...)

Phone: +1-785-532-7912; +1-785-532-6350.
Fax: +1-785-532-7353.



Activities: My most recent research paper | My 60th-birthday Fest | EJCP 2011 | SAS series | WSSA03 (my part) | Neil Jones Festschrift

Complete courses (text and assignments):
* CIS501: Software Architecture
* CIS505: Programming-Language Paradigms
* CIS301: Logical Foundations of Software

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 textbook materials:
* CIS115, fall 2016
* Programming Principles in Java: Architectures and Interfaces (contracted to Scott-Jones Press)
* CS1 course text; Python-based
* CS2 (data structures) course text; Java-based
* CIS501, spring 2014
* CIS705a, fall 2014

Recent Publications and Presentations

Misc: NewsWeatherSearch | Vita

Pavarotti loves elephants | Le petit Nicolas en thèse | World's Greatest Korean Drummer

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

A soap story

Youtube: Flagstad 1938 | Furtwängler 1942 | Beatles on Ed Sullivan 1964 | Beach Boys on Ready Steady Go 1964 | Coltrane 1965 | Ronettes 1965 | Supremes 1965 | Spirit 1970

The Mighty 1090 KAAY