My current research interest is the formal specification and testing of software, particularly the educational aspects of these topics. Some details of this work are in two recent publications at the ACM ITiCSE and SIGCSE conferences on computer science education. These are listed as the first and third items on the publications list.

The citations in my publications list are not linked to online copies of the papers. The best way to get publications links is on my Google Scholar profile. Google does a great job of digging up public domain links to publications from a variety of sources.