A \$7,705 grant from Decision Research Corporation for summers 2020-2022 supported work by undergraduate students, grad students, and the Principal Investigator, Professor Bjørn Kjos-Hanssen, towards

• research in theoretical computer science and mathematics,
• coding in the Go language and the Lean theorem prover, and
• topics of common interest between industry and the University.

A second installment of the grant, of $9,000, covers the summers of 2023-2025. Students supported by the grant:

Year	Undergrads	Grad students
2020	Sabrina Hardisty, Guanhong Li, Jacqueline Millard	Soowhan Yoon, Saroj Niraula
2021	Ellen Hughes, Monica Johnson	Ryan Sasaki
2022	Liliana Kershner
2023	Tung Nguyen, Sophia Kop, Brian Shu
2024	Clark Eggerman, Nanami Tachibana	Janani Lakshmanan, Kawika O’Connor