#### Core Team

**[Benedikt Stroebl](https://benediktstroebl.github.io)**, PhD Student, Princeton University

**[Sayash Kapoor](https://www.cs.princeton.edu/~sayashk/)**, PhD Student, Princeton University

**[Arvind Narayanan](https://www.cs.princeton.edu/~arvindn/)**, Professor of Computer Science, Princeton University

#### Contributors

We're grateful to the network of contributors to HAL:

- Amit Arora - Amazon
- Aymeric Roucher - Hugging Face
- Azalia Mirhoseini - Stanford
- Bagatur Askaryan - LangChain
- Hailey Schoelkopf - Anthropic 
- Harsh Trivedi - Stony Brook
- Iason Gabriel - Google DeepMind
- Jelena Luketina - UK AISI
- JJ Allaire - UK AISI
- Karthik Narasimhan - Princeton
- Kwamina Orleans-Pobee - DSIT UK
- Laura Weidinger - Google DeepMind
- Madhur Prashant - Amazon
- Maximillian Kaufmann - UK AISI
- Morgan McGuire - Weights & Biases
- Nitya Nadgir - Princeton
- Parth Asawa - UC Berkeley
- Rishi Bommasani - Stanford
- Shreya Shankar - UC Berkeley
- Shayne Longpre - MIT
- Thomas Capelle - Weights & Biases
- William Isaac - Google DeepMind
- Yifan Mai - Stanford
- Zachary Siegel - Princeton

Want to contribute to HAL? Check out our [contribution guidelines](https://github.com/benediktstroebl/hal-harness/blob/main/CONTRIBUTING.md) or visit our [GitHub repository](https://github.com/benediktstroebl/hal-harness).

---

*Note: HAL is an open-source project and we welcome contributions from the community. If you've contributed to HAL and would like to be added to this list, please reach out.*