Author and reviewer pairings (source: book-chapter-assignments.md).
Book chapter assignments¶
Names are listed first name, then family name (FIRST LAST).
| Student | Book chapter (author) | Book chapter (reviewer) |
|---|---|---|
| Anela Quiroz | PRISM | Haskell |
| Ethan Tapia | UPPAAL | Qiskit |
| Jack de Bruyn | TLA+ | PyZX |
| Jake Triester | Alloy | UPPAAL |
| John Mulhern | PyZX | nuXmv |
| Kalin Richardson | Lean | PRISM |
| Kaye Galang | Haskell | Dafny |
| Khoa Nguyen | Dafny | Rocq |
| Michael Smith | nuXmv | Alloy |
| Nataniel Farzan | Qiskit | TLA+ |
| Nayeli Castro | Rocq | Lean |
When you edit a chapter, coordinate with your assigned reviewer before opening a pull request.