David A. Schmidt Professor

Computing and Information Sciences

Kansas State University

Publication Page

http://dblp.uni-trier.de/pers/hd/s/Schmidt:David_A=.html

http://people.cis.ksu.edu/~schmidt/papers/home.html
http://people.cis.ksu.edu/~schmidt/papers/hometalks.html

Personal Website

http://people.cis.ksu.edu/~schmidt/

CV Page

http://people.cis.ksu.edu/~schmidt/vita.html

Expertise

Keywords:Static analysis, abstract interpretation, denotational semantics

Affiliations

Professor, Computing and Information Sciences, Kansas State University

Past Affiliations

Professor, Department of Computer Science, College of Engineering, Kansas State University

University Distinguished Professor, Department of Computer Science, College of Engineering, Kansas State University

Communities

Management Information Systems, Information Science/Systems, Computer Science

Degrees

PhD, Kansas State University, Computer science, 1981
MS, Kansas State University, Computer science , 1977
BA, Fort Hays State University , Mathematics, 1975

Keywords

france computer and information sciences software engineering