HAMR Team/Research Lead

Professor John Hatcliff
Computer Science Department
Kansas State University, U.S.A.

HAMR Primary Developer

Jason Belt
Computer Science Department
Kansas State University, U.S.A.

Other Team Members

Professor Robby - (Lead engineer on the Sireum framework, HAMR infrastructure guru)
Computer Science Department
Kansas State University, U.S.A.

Associate Professor Stefan Hallerstede - (Research on formal HAMR semantics, contract language semantics, HAMR Rust component design)
Computer Engineering Department
Aarhus University, Denmark