Matt Giuca

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

Choice quote:

If debugging is the process of removing bugs, then programming must be the process of putting them in.

— Edsger W. Dijkstra

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 2, 2011)

SWEN20003: Object Oriented Software Development

[handbook]

• Workshop: Monday 1:15pm – 3:15pm.
• Workshop: Monday 3:15pm – 5: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
• INFO10001 (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)
• COMP20006 (433-297) Programming the Machine
  (Semester 1 2009)
• SWEN20003 (433-294) Object Oriented Software Development
  (Semester 2 2009, Semester 2 2010, Semester 2 2011)
• COMP30020 (433-326) Declarative Programming
  (Semester 1 2010)
• SWEN30006 Software Modelling and Design
  (Semester 1 2011)

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
• Uniqueness Typing Simplified - Paper by De Vries et al., 2008
• 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
• Inspiration in Computer Teaching - Melbourne School of Engineering Award for Outstanding Contribution to Student Learning presentation, 2010
• Mars: An Imperative/Declarative Programming Language Prototype - Melbourne Programming Languages Workshop, 2011

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 October 14, 2011.