John Hatcliff -- Short Bio Sketch
John Hatcliff received the National Science Foundation Faculty Early CAREER Award in 1997 for his research on program specialization. He is a co-principal investigator on an Army Research Office MURI Award under the High Confidence Embedded Systems program. He was also
principal investigator on an award from DARPA's Program Composition for Embedded Systems (PCES) program. Together with additional funding from NSF, these grants have funded work on a number of techniques and tools for analysis, modeling, and verification of Java programs and
systems using component middleware frameworks such as the CORBA Component Model (CCM). His research has also been supported by Lockheed Martin, Rockwell Collins, Intel, and IBM.
Dr. Hatcliff is an editor of the International Journal of Software Tools for Technology Transfer (STTT), and he serves on Steering Committee for the ACM Symposium on Partial Evaluation and Program Manipulation. He has served on the Steering Committee for the European Joint Conferences on Theory and Practice of Software (ETAPS) -- the largest European conference confederation on programming languages, and co-chaired the 2003 Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) -- one of the two main international conferences on computer-aided verification. He has served as a member of Program Committees for a number of top-tier international conferences in the fields of programming languages and
computer-aided verification including the ACM Programming Language Design and Implementation (PLDI), ACM Foundations of Software Engineering (FSE), ACM Object-Oriented Programming Languages ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), Conference on Computer-Aided Verification
(CAV), Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS).
Dr. Hatcliff received the Ph.D. in Computer Science from Kansas State University (1994), the M.S. in Computer Science from Queen's University -- Kingston, Ontario (1991), and a B.A. in Computer Science and Mathematics from Mount Vernon Nazarene College -- Mount Vernon, Ohio (1988). He was an Assistant Research Professor at the University of Copenhagen (DIKU) (1994 -- 1996), and an Assistant Professor in the Computer Science Department at Oklahoma State University (1996 -- 1998). Since June 1998, he has served as a faculty member in the Department of Computing and Information Sciences at Kansas State University where he currently holds the rank of Professor.