Evaluation Comments
Course:Formal Semantics of Programming Languages

Quarter:Autumn 10/11
Time: ::: - :::
Location: Distance Learning
James Riely PhD

Associate Professor
Instructor homepage

Select a Page:  
Summary     1       

What are the major strengths and weaknesses of the instructor?

What aspects of this course were most beneficial to you?

What do you suggest to improve this course?

1.   It was cool using a proof assistant to learn this material because you could work until you got it and then you knew you got it... or didn't. A little more theory would have been good though.

Comment on the grading procedures and exams

Other comments?