Tag Archive: Computer Science Education

James K. Huggins

Research Interests

Formal Methods

Algorithm Specification and Verification

Computer Science Education

Computing Ethics

 

Education

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

 

Experience

Associate …

Continue reading »