Nathan Kropp
M.S., Carnegie Mellon University
M.A., Catholic Theological Union
Teaching Interests
digital logic, digital design, computer architecture, microarchitecture, programming
Research Interests
dependable computing, hardware validation and formal methods