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