Hridesh Rajan

Got a question?

Got a question or comment? Contact me at (515) 294-6168 or hridesh@cs.iastate.edu.

About this page

On this page, you will find description of the courses taught by Hridesh Rajan at Iowa State University and elsewhere. All the material made available here is copyright © Hridesh Rajan 2005 - 2010. Permission is granted to make copies for educational and scholarly purposes, but copies may not be used directly or indirectly for commercial purposes. All copies must retain this copyright notice. All other rights reserved.

Software Design

Com S 362: Object-Oriented Analysis and Design [Spring 2006], [Fall 2006], [Spring 2007], [Fall 2007].

Com S 541: A Graduate Course on Programming Language Design and Semantics

Below you will find description of the course Com S 541 as taught by Hridesh Rajan at Iowa State University and elsewhere.

• Fall 2010: This edition will use the lecture notes on Software Foundations developed by Benjamin C. Pierce et al. and the textbook "Types and Programming Languages" by Benjamin C. Pierce.
• Fall 2009 This edition used the lecture notes on Software Foundations developed by Benjamin C. Pierce et al. and the textbook "Types and Programming Languages" by Benjamin C. Pierce. A major change from last edition of this course was to use the Coq proof assistant throughout this course for expressing language semantics, type systems, and for proving properties about them.
• Fall 2008 This edition used the textbooks "Types and Programming Languages" by Benjamin C. Pierce and "the Formal Semantics of Programming Languages" by Glynn Winskel.

Com S 342: An Undergraduate Course on Programming Language Design, Semantics and Implementation

I have taught (or currently teaching) the following editions of Com S 342.

• Spring 2010: This edition is also using the book Essentials of Programming Languages, 3rd Edition by Friedman and Wand. In this edition of the course, we covered more topics compared to the Spring 2009 edition. In particular, lectures on semantics were extended to cover continuations, exceptions, and threads. I also added a module on types and type checking for this edition.

• Spring 2009: This edition used the book Essentials of Programming Languages, 3rd Edition by Friedman and Wand. Main change in this edition was to adopt the 3rd edition of textbook, which required significant modifications in lecture notes, homework styles and exam styles.

• Fall 2007: This edition used the book Essentials of Programming Languages, 2nd Edition by Friedman, Wand and Haynes. Most of this edition was adopted from a previously taught course by Prof. Gary T. Leavens.

Other Courses on Programming Language Design, Semantics, and Implementation

Com S 610-HR: Advanced Topics Courses

• Fall 2009: Advanced Topics in Type Systems
• Spring 2008: Advanced Topics in Program Analysis.
• Spring 2006: Aspect-oriented Software Development

CS-551/661 - Aspect-oriented Software Development Fall 2004, co-developed and co-taught with Prof. Kevin Sullivan at University of Virginia

Software Security

Com S 610-HR: Graduate Seminar on Security Properties of Software Systems Fall 2006

Other

Preparing Graduate Students for Faculty Career

Teaching Related Resources

exam.class: A LaTeX class file and example for typesetting exams and quizzes.