Caution: JavaScript execution is disabled in your browser or for this website. You may not be able to answer all questions in this survey. Please, verify your browser parameters.

Self-Assessment: Type Systems for Correctness and Security

 

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.