CSCI 8980 Preclass Survey
Please finish this form by 1/27. Thanks!
How should I call you in class?
You may also specify the pronounce(s).
What's your GitHub account (
If you don't have one yet, please sign up for it before finishing this form.
Why are you taking this class?
Please check all the items you feel you already knew
This is NOT a test. We will not go through all of them either. I just want to understand your background.
Homotopy type theory
Inductive data types (e.g., binary trees)
Induction on binary trees
Passing functions as values
Interactive proof assistants
Agda (an interactive proof assistant)
Normalization by evaluation
(None of above)
Do you understand the whiteboard policy?
Check the website again!
Are you able to bring a laptop to the classroom for you to edit files and run Agda?
No, but I have contacted Favonia for alternative arrangements
Any other things I should know? (e.g., DRC needs)
A copy of your responses will be emailed to the address you provided.
Never submit passwords through Google Forms.
This form was created inside of University of Minnesota Twin Cities.