My (Not So New & Not Terribly Visually Stimulating) Own Home Page

Stuff About Specific Classes I'm Teaching

Undergraduate

• C PROGRAMMING (106)
  
• JAVA PROGRAMMING (109b)
  
• PRINCIPLES OF PROGRAMMING LANGUAGES (331)
  
• DATA STRUCTURES (341)
  
• COMPUTER ARCHITECTURE (411)
  
• AUTOMATA & FORMAL LANGUAGES (451)
  
• COMPUTER SYSTEMS SECURITY (482)
  

Graduate

• PRINCIPLES OF PROGRAMMING LANGUAGES (631)
  

Stuff About My Classes in General

Other Stuff that Amuses Me

• The Diplomacy Map
• Cute Pictures
• A Cool Story
• House
• A Nice House or Gregg's House
• Other Cuties (the Real Baby Matthew)
• St Ciaran (aka Kieran)-Bio
• Eire
• Old Churches
• Cloud Conferences 2010

Kid Pictures

• The Kids
• Latest (8 Mar 00) Kids Pictures
• Even More Recent(7 Jul 00) Kids and Other Pictures
• Julia House Shopping
• Julia's First Pictures
• Spring 2001 Pictures
• Late Spring and Vacation Pictures
• House
• Fall 2003 Pictures
• Jan 04 Pictures Pictures
• Sapporo Snow Festival Pictures
• Xmas 2004

RESEARCH

• Status
• Preliminary Proposal
• FM-Trends (Boppard GE '98) Paper A number of things in this paper are now well out of date--including the incomplete and pretty yucky version of the extension rule included herein.
• SML Proof Procedures for HOL Terms