John Hatcliff University Distinguished Professor Lucas-Rathbone Professor of Engineering SAnToS Lab, Department of Computer Science, Kansas State University 2160 Engineering Hall, 1701D Platt Street, Manhattan, KS 66506, USA Phone/Fax: +1 (785) 532-6350/7353 E-mail: hatcliff 'at' ksu 'dot' edu Bib   Citations   Bio   CV