• Faculty

  • Robby: Principal Architect & Engineer, Slang and Logika Lead
  • John Hatcliff: HAMR, Documentation Lead, and External Liaison Coordinator

• Research Associates

  • Jason Belt: Main HAMR Developer

• Graduate Students

  • Gage Hawbaker: HAMR System Exemplars
  • Jacob Legg: HAMR and Slang Testing Framework

• Undergraduate Students

  • Catalina Liang: HAMR, Webmaster, and Documentation
  • Clint McKenzie: HAMR

Collaborators

• Kansas State University, Electrical and Computer Engineering (ECE) Department, Hardware Security Lab

  • Faculty

    • Xiaolong Guo: High-Level Synthesis (HLS)

  • Graduate Student

    • Kejun Chen: High-Level Synthesis (HLS)

• Aarhus University

  • Faculty

    • Stefan Hallerstede: Slang Embedded-to-Rust Translation, 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