Students select a final project topic and submit their research proposals. In class we study models that use a variety of programming techniques in order to give an overview of research areas.