Teaching

I was the distance instructor for CS517 (Software Specification and Design) from 2009-2011, taught by Robert France on campus. I have become interested in the unique constraints imposed by distance learning from the standpoint of varied experience and academic background of the students and also time constraints imposed by full-time jobs competing for their time. I developed several problem sets for an on-line homework system that were designed to provide additional background and/or practice in predicate logic and formal requirements specifications that are critical to success in the class. I also developed problem sets design to lead distance students through the process of taking informal requirements, making them more formal, and creating Alloy models that accurately specify the requirements. A major emphasis of these problems is helping to make the transition from procedural specifications to declarative specifications.