Jim Huggins Associate Professor of Computer Science Disciplines Computer Sciences Research Interests Computer science education and computing ethics Formal Methods Algorithm Specification and Verification