James K. Huggins

Research Interests

Formal Methods

Algorithm Specification and Verification

Computer Science Education

Computing Ethics



B.S., Computer Science, The University of Michigan, Ann Arbor, MI, 1989

M.S., Computer Science & Engineering, The University of Michigan, Ann Arbor, MI, 1991

Ph.D., Computer Science & Engineering, The University of Michigan, Ann Arbor, MI, 1995



Associate Professor,  Kettering University,  Flint,  MI,  2002-present

Assistant Professor,  Kettering University,  Flint,  MI,  1997-2002

Lecturer,  Wayne State University,  Detroit,  MI,  1996-1997

Research Fellow,  University of Michigan,  Ann Arbor,  MI,  1995-1996


Selected Publications

Steven C. Cater and James K. Huggins, “An ASM Dynamic Semantics for Standard ML”. In Y. Gurevich, P. Kutter, M. Odersky, and L. Thiele, eds., Abstract State Machines: Theory and Applications, Proceedings of ASM 2000 International Workshop, Springer LNCS 1912, 2000, 203–222.

Kevin Compton, James Huggins, and Wuwei Shen, “A Semantic Model for the State Machine in the Unified Modeling Language”. In Gianna Reggio, Alexander Knapp, Bernhard Rumpe, Bran Selic, and Roel Wieringa, eds., “Dynamic Behaviour in UML Models: Semantic Questions”, Workshop Proceedings, UML 2000 Workshop, Ludwig-Maximilians-Universität München, Institut für Informatik, Bericht 0006, October 2000, 25-31.

Yuri Gurevich and James K. Huggins, “Equivalence Is In The Eye Of The Beholder”, Theoretical Computer Science (179) 1-2 (1997), 353–380.

Yuri Gurevich and James K. Huggins, “The Semantics of the C Programming Language”, in Computer Science Logic, Selected papers from CSL’92, eds. E. Börger, H. K. Büning, G. Jäger, S. Martini, and M. M. Richter, Springer LNCS 702, 1993, 274–308.

James K. Huggins, “The Assumptions of Computing”, Ethics in the Computer Age, ACM Conference Proceedings, Gatlinburg, Tennessee, November 11-13, 1994, pp. 46–50.

James K. Huggins, “Engaging computer science students through cooperative education”, ACM SIGCSE Bulletin, volume 41, number 4 (December 2009), 90–94.

James K. Huggins, “Kermit: Specification and Verification”, in Specification and Validation Methods, ed. E. Börger, Oxford University Press, 1995, 247–293.

James K. Huggins, “Modular Term-Long CS2 Projects”, Proceedings of Frontiers in Education 2000, Kansas City, MO, 18-21 October 2000, Paper S2C.1.

James K. Huggins, “Using a Barrel of Monkeys in Computer Science”. Frontiers in Education 2005, Indianapolis, IN, 19-22 October 2005, Session F4C.

James K. Huggins and Wuwei Shen, “The Static and Dynamic Semantics of C (Extended Abstract)”. In Abstract State Machines — ASM 2000, Proceedings of the International Workshop on Abstract State Machines, Monte Verita, Switzerland, TIK-Report 87, Computer Engineering and Networks Laboratory, Swiss Federal Institute of Technology Zurich, March 2000, 272–284.

James K. Huggins and David Van Campenhout, “Specification and Verification of Pipelining in the ARM2 RISC Microprocessor “, ACM Transactions on Design Automation of Electronic Systems, volume 3, number 4 (October 1998), 563-580.

James K. Huggins, “Computing History and Ethics: The Relevance of the Real World for Social Change”. SIGCAS Symposium on Computing for the Social Good: Educational Practices, 4 March 2015. (Abstract published in ACM SIGCAS Computers and Society 45, 2 (July 2015), 34.)

James K. Huggins, “Rock-paper-scissors: nifty tools and assignments”, presentation, Proceedings of the Eighteenth Annual CCSC Midwestern Conference, 23-24 September 2011, Huntington University, Huntington, IN. (Abstract published in J. Comput. Sci. Coll. 27, 1 (October 2011), 90.)

James K. Huggins (moderator), Joseph Bergin, James Caristi, and Ellen Walker, “Survivor: Getting Through That Class The First Time”, panel discussion, ACM SIGCSE 2003, 21 February 2003.  


Contact Information

Email: jhuggins@kettering.edu

Phone: (810) 762-9500 ext. 5439

Office: 2-300G Academic Buidling