Andrew Rock's Home Page

Teaching

Current courses

• 1001ICT Introduction To Programming, semester 1, 2012
• 620xICT Special Topic: Functional Programming, semester 1, 2012

Tool

• Programming tool: MaSH (Making Stuff Happen)

(Selected) Old courses

• 1001ICT Programming 1, semester 2, 2011
• 2622ICT Dynamic Multimedia Systems, semester 2, 2011
• 6203ICT Functional Programming, semester 1, 2011

Research Stuff

• Selected publications
• Implementation of Decisive Plausible Logic (current): Full documentation [.pdf]; Short documentation [.pdf]; Source distribution [.zip].
• Plausible Logic implementation (very old)
• Defeasible Logic implementation (very old, but current)
• Haskell stuff

Service stuff

• International Collegiate Programming Contest stuff

Personal stuff