Matt Giuca

email = 'mgiuca' + '@' + '.'.join(['csse', 'unimelb', 'edu', 'au'])

Choice quote:

You can either have software quality or you can have pointer arithmetic, but you cannot have both at the same time.

— Bertrand Meyer

I'm currently doing a Ph.D. in programming languages research, having completed a Bachelor of Software Engineering.

I've taught a wide range of subjects in the department, and I am one of the lead developers on the IVLE project which our first year students use. (ivle.informatics.unimelb.edu.au)

Subjects I am currently teaching

(Semester 1, 2010)

433-326: Declarative Programming

[handbook]

• Tutorial: Thursday 12:00pm – 1:00pm.
• Tutorial: Thursday 4:15pm – 5:15pm.
• Tutorial: Thursday 5:15pm – 6:15pm.

Previous Positions (Department of Computer Science and Software Engineering)

• 433-171 Introduction to Programming (Defunct)
  (Semester 1 2006)
• 433-172 Algorithmic Problem Solving (Defunct)
  (Semester 2 2007)
• 433-152 Algorithmic Problem Solving (Advanced) (Defunct)
  (Semester 2 2006, Semester 2 2007)
• 433-252 Software Engineering Principles & Tools (Defunct)
  (Semester 1 2007)
  My notes: Lab 1 - Shell Scripts | Lab 3 - Debugging | x86 Assembly Info / Links
• 433-253 Algorithms and Data Structures (Defunct)
  (Semester 2 2007)
  My notes: "C Recap" - notes and quizzes
• 600-151 Informatics 1: Practical Computing
  (Semester 1 2008)
  My notes: Worksheet 5 Bonus Exercise
• 433-255 Logic and Computation (Defunct)
  (Semester 2 2008)
• 433-361 Programming Language Implementation (Defunct)
  (Semester 2 2008)
• 433-297 Programming the Machine
  (Semester 1 2009)
• 433-294 Object Oriented Software Development
  (Semester 2 2009)

Academic & Programming Interests

• Declarative programming languages
• Programming language implementation
• Web development
• 3D graphics programming
• Programming education

Stuff

• Mars - Programming Language I'm working on [GPLv3]
• Insult Generator - Fun with Haskell [Creative Commons]

Talks I have given

• Applying and Enforcing Command-Query Separation in Programming Languages - 433-430 talk, 2007
• Dynamic Language Implementation - 433-361 lecture on Python, 2008
• Multiple specialization using minimal-function graph semantics - Paper by Will Winsborough, 2008
• Imperative Versus Declarative Languages: A False Dichotomy - PhD conversion seminar, 2009
• SSL and Public Key Cryptography - MUCSA educational seminar, 2010

My favourite...

• Text editor: Vim
• Web browser: Firefox
• Version control system: Bazaar
• Programming language: Python
• Indentation style: Spaces (4)
• Dictionary implementation: Hash table

This page, its contents and style, are the responsibility of the author and do not necessarily represent the views, policies or opinions of The University of Melbourne.

Page updated March 11, 2010.