This test helps you decide if you have the recommended prior knowledge for attending Type Systems for Correctness. Participation is voluntary but highly recommended and should not take more than 15 minutes of your time.
Please note: This test is for your use only. The results of this test have no relevance for admission to the course. All data will be anonymized and treated confidentially.