Education

Ph.D. 1994, Kansas State University

Courses Taught

CIS 890 - High Assurance Software
CIS 771 - Software Specification

Research Interests

Formal methods in software engineering, software verication, medical device integration,
model-checking, static analyses of programs,
partial evaluation and program transformations, concurrent and distributed systems, middleware,
model-integrated computing, semantics of programming languages, compiler construction,
logics and type theory.

Selected Publications

• Georg Jung and John Hatcliff. "A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures." Science of Computer Programming, 75 (1) July 2010, pp. 615-637 (DOI)
• Amtoft, Torben, Anindya Banerjee, Matthew B. Dwyer, John Hatcliff, and Venkatesh Prasad Ranganath. "A New Foundation For Control-Dependence and Slicing for Modern Program Structures." ACM Transactions of Programming Languages and Systems. Volume 29, Issue 5, August 2007. (.pdf) (Amtoft-al:TOPLAS07)