Mini-Projects

Presentations (2018/19)


Instructions

As part of this course, you are encouraged (but not required!) to do a mini-project on a topic related to programming languages, with preference on topics that relate to the main themes studied in this course (interactive theorem proving, reasoning, and semantics). The structure and nature of the project is intentionally left open so that you can choose something that you are really interested in. However, if you decide to do a mini-project, you will have to follow the following rules:

  1. The topic you choose must be approved by João. You need to send João an email by the 30th of April confirming your intention to do the mini-project together with an indication of the topic you want to explore.
  2. You will have to present your mini-project to the class (20-minute presentation). The presentation will be in the week commencing the 27th of May.
  3. You are strongly encouraged to prepare a practical demo of your work (except in cases where the topic is 100% theoretical)
Mini-projects can contribute towards your final grade (see the evaluation section for details). Given that this is a Masters module, the expectation is that you will do a thorough critical analysis of the selected topic and will put into practice some of the concepts learnt throughout the course. It is also expected that you work independently, but, of course, you can use office hours to discuss your project. You can take this opportunity to start exploring topics that could be further researched as part of your Masters dissertation.

Please find below some suggestions for topics (you can take the main idea and change the details as you see fit, provided that it's approved by João). If you have an idea of a generic topic you would like to explore and need help refining it into a more detailed project, please get in touch.

Attachments