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:
