• Faculty

  • Robby, Principal Engineer
  • John Hatcliff, HAMR & Documentation Lead, External Liaison Coordinator

• Research Associates

  • Jason Belt, Main HAMR Developer

• Graduate Students

  • Matthew Weis: Slang Hardware Synthesis, Distributed HAMR

• Undergraduate Students

  • Gage Hawbaker: Logika
  • Jacob Legg: HAMR Testing Framework
  • Clint McKenzie: HAMR SysML V2
  • Abdullah Rasheed: HAMR System Exemplars

• High School Students

  • Catalina Liang: Webmaster & Documentation

Collaborators

• Aarhus University

  • Faculty

    • Stefan Hallerstede: Logika course materials, Isabelle integration

• Collins Aerospace

  • Principal Investigators

    • Darren Cofer
    • David Hardin

  • Performers

    • Isaac Amundson
    • Junaid Babar

• Galois

  • Principal Investigators

    • Todd Carpenter
    • Joe Kiniry
    • John Shackleton
    • Danielle Stewart
    • Rand Whillock

  • Performers

    • Jim Carciofini
    • Ryan Peroutka
    • Michal Podhradsky
    • August Schwerdfeger