Courses By Semester

Fall 2019 and Beyond

• retired on 31 May 2019

  I am not currently scheduled to teach in any future semester.

Spring 2019

• CSci 487 Senior Project (on Blackboard only, co-taught with Joey Carlisle)

• CSci 555, Functional Programming (using Scala)

Fall 2018

• CSci 450, Organization of Programming Languages (using Haskell)

• CSci 503, Fundamental Concepts in Languages (using Haskell)

• CSci 556, Multiparadigm Programming (using Python 3)

Spring 2018

• CSci 487, Senior Project

• CSci 658, Software Language Engineering (using Python 3)

Fall 2017

• CSci 450, Organization of Programming Languages (using Haskell)

• CSci 503, Fundamental Concepts in Languages (using Haskell)

• Engr 694, Research Methods in Computer Science (scholarly writing)

Spring 2017

• CSci 487, Senior Project

• CSci 556, Multiparadigm Programming (using Haskell)

Fall 2016

• CSci 450, Organization of Programming Languages (using Lua and Elm)

• CSci 503, Fundamental Concepts in Languages (using Lua and Elm)

• Engr 664, Theory of Concurrent Programming

Spring 2016

• CSci 555, Functional Programming (using Scala)

• Engr 694, Research Methods in Computer Science (scholarly writing)

Fall 2015

• CSci 300, Social Responsibility in Computer Science (professional ethics and communication)

• CSci 311, Models of Computation (automata theory and formal languages)

• CSci 500, Fundamental Concepts in Computing (automata theory and formal languages)

Spring 2015

• CSci 556, Multiparadigm Programming (using Elixir)

Fall 2014

• CSci 450, Organization of Programming Languages (using Haskell and Lua)

• CSci 503, Fundamental Concepts in Languages (using Haskell and Lua)

Spring 2014

• Engr 694, Research Methods in Computer Science (scholarly writing)

Fall 2013

• CSci 487, Senior Project

• CSci 658, Software Language Engineering (using Lua)

Spring 2013

• Engr 694, Research Methods in Computer Science (scholarly writing)

Fall 2012

• On sabbatical

Spring 2012

• CSci 556, Multiparadigm Programming (using Scala)

Fall 2011

• Engr 691, Special Topics on Software Families (using Scala) – prototype for CSci 663

Spring 2011

• Engr 691, Special Topics on Software Language Engineering (using Scala) – CSci 658

Fall 2010

• CSci 555, Functional Programming (using Haskell)

Spring 2010

• CSci 490-1 / Engr 596-6, Special Topics on Software Design and Scala Programming

Fall 2009

• Engr 664, Theory of Concurrent Programming

Spring 2009

• Engr 691, Special Topics on Software Language Engineering (using Scala) – prototype for CSci 658

Fall 2008

• CSci 581/582, Special Topics on Multiparadigm Programming (using Scala) – prototype for CSci 556

Spring 2008

• CSci 541, Expert Systems and Logic Programming (using Prolog)

Fall 2007

• Engr 692, Special Topics on Software Families (using Java etc.) – early prototype for CSci 663

Spring 2007

• CSci 555, Functional Programming (using Haskell)

Fall 2006

• Engr 692, Special Topics on Ruby and Software Development

  In this special topics course, I explored ideas that later influenced my new courses on Multiparadigm Programming (CSci 556) and Software Language Engineering (CSci 658), my approach to teaching CSci 450, and my subsequent use of the Prolog, Scala, Lua, Elixir, and Python 3 languages.

Spring 2006

• CSci 550, Program Semantics and Derivation

Fall 2005

• Engr 660, Software Engineering II (Software Design)

Spring 2005

• Engr 664, Theory of Concurrent Programming

Fall 2004

• On sabbatical (Kathy Gates taught CSci 555 in my place)

Spring 2004

• Engr 691, Special Topics on Software Architecture

Fall 2003

• Engr 660, Software Engineering II (Software Product Lines)

Spring 2003

• CSci 555, Functional Programming

Fall 2002

• CSci 487, Senior Project

• Engr 691, Special Topics on Component Software

Spring 2002

• Engr 691, Special Topics on Software Architecture

Fall 2001

• CSci 405 / 581-1, Computer Simulation

Full Summer 2001 (Begin service as Chair)

• Engr 660, Software Engineering II (Software Component Specification)

Spring 2001

• CSci 555, Functional Programming

• Engr 691, Special Topics on Distributed Objects

Fall 2000

• CSci 300 Social Responsibility in Computer Science

• CSci 311, Models of Computation (automata theory and formal languages)

• Engr 691, Special Topics on Software Architecture

Spring 2000

• CSci 405, Computer Simulation

• CSci 487, Senior Project

• CSci 555, Functional Programming

Fall 1999

• CSci 311, Models of Computation (automata theory and formal languages)

• CSci 487, Senior Project

• Engr 664, Theory of Concurrent Programming

Spring 1999

• CSci 433, Algorithm and Data Structure Analysis

• CSci 581, Special Topics on Object-Oriented Design and Programming

Fall 1998

• CSci 300, Social Responsibility in Computer Science

• CSci 311, Models of Computation (automata theory and formal languages)

• CSci 555, Functional Programming

Spring 1998

• CSci 550, Program Semantics and Derivation

• Engr 691, Special Topics on Software Architecture

Fall 1997

• CSci 300, Social Responsibility in Computer Science

• CSci 487, Senior Project

• CSci 581, Special Topics on Object-Oriented Design and Programming – first graduate course to use Java

• Engr 664, Theory of Concurrent Programming

Spring 1997

• CSci 487, Senior Project

• CSci 555, Functional Programming (using Haskell)

• Engr 691, Analysis of Algorithms (in Jackson)

Fall 1996

• CSci 211, File Systems – first course in Department to use Java

• CSci 300, Social Responsibility in Computer Science (professional ethics and communication)

• CSci 550, Program Semantics and Derivation

Spring 1996

• CSci 490, Special Topics in Object-Oriented Desing and Programming in C++

• Engr 664, Theory of Concurrent Programming

Fall 1995

• CSci 450, Organization of Programming Languages

• CSci 555, Functional Programming (using Haskell)

Spring 1995

• CSci 550, Program Semantics and Derivation

• Engr 664, Theory of Concurrent Programming

Fall 1994

• CSci 211, File Systems (using Pascal)

• CSci 555, Functional Programming (using Haskell)