Curriculum Vitæ

Tony Morris Phone: 0408711099 Email:

Professional Experience

  • Researcher in Computer Science and Programming Language Theory

    Workingmouse Pty Ltd, Brisbane, 2006 — present §

    In collaboration with colleagues, Tony researches, investigates and educates on programming language theory and paradigms with an emphasis on Functional Programming and Type Theory and the applicability to commercial software application development. Specific languages of interest include; Haskell, Scala, F# and O'Caml. Tony has led and contributed to commercial applications using the Scala and Ruby programming languages. Tony also participates in the Scala community by making contributions to the core Scala libraries and is the author of the Scalaz extension to the core Scala libraries §.

    Tony delivers courses and material to interested corporate clients as well as colleagues in-house. Course material covers a variety of topics including functional programming (FP), type systems and specification testing and more general programming language theory. Tony creates course material to meet specific needs and requests of the course participants.

  • Software Engineer

    IBM Corporation, Gold Coast, 2002 — 2006 §

    Working under the Tivoli security brand, Tony implemented the IBM Tivoli Risk Manager adapter for IBM Tivoli Access Manager targetting seven operating system platforms. This work was followed by several projects that integrated with IBM Tivoli Risk Manager including the DB2 (JDBC) integration for IBM Tivoli Risk Manager §, which was completed in Austin, Texas — with assistance from the Risk Manager development team.

    Tony implemented the IBM Tivoli Privacy Manager integration software for DB2 Content Manager and was subsequently assigned to the IBM WebSphere Application Server (version 6) development team to implement the JSR-115 § for IBM Tivoli Access Manager. Tony spent 2005 to early 2006 working on the java.security API and the IBM Java Cryptography Extension (JCE) implementation of the IBM Java Development Kit (JDK) version 1.5.

  • University Lecturer/Tutor

    Griffith University, Gold Coast, 2001 — 2006 §

    Tony lectured and tutored subjects on COBOL, Java, C/UNIX, C++ and Object-Oriented Analysis & Design.

  • Software Engineer

    Softlink International, Brisbane, 2001 — 2002 §

    Tony worked on a small team of developers contributing to the ALICE library software § using C# and ASP.NET.

  • IT Consultant

    Self Employed, Gold Coast, 1999 — 2001

  • Computer Programmer

    The Competitive Option, Gold Coast, 1996 — 1999 §

Contributions

Tony actively participates and contributes to the open source software community.

  • Scala core libraries §

    Tony has made several bug fixes and contributions to the Scala core libraries. In particular, Tony authored the disjoint union algebraic data type (scala.Either), which is scheduled for inclusion into Scala 2.7.1 §.

  • ScalaCheck §

    Tony has a special interest in software correctness verification techniques and is one of two contributors to ScalaCheck Automated Specification-based Test framework — an open source project which is based on an original idea called QuickCheck for Haskell §.

    Tony continues to contribute to ScalaCheck as an advanced alternative to traditional unit testing.

  • Scalaz §

    Scalaz is an ongoing third-party addition to the Scala core libraries. Tony's contributions to Scalaz are a product of application development using the Scala programming language and serve as the basis for potential future inclusions into the Scala core libraries.

    Scalaz implements a variety of ideas including; abstractions based on Category Theory — the functor, monad, catamorphism, anamorphism, monoid/semigroup and a transparent memoisation library.

  • Ant++

    Ant++ is a build system under development that uses a combinator library written using the Haskell programming language. The current implementation targets users of Scala and Java programming languages and is intended to broaden scope as a general build and dependency management automation tool by utilising the generalisations and syntax of Haskell.

  • JTiger §

    JTiger is a unit test framework implemented using the Java programming language and is intended to be used in the application of traditional unit testing techniques. Tony is the sole author of JTiger, but has since retired from the project.

  • JUnitX §

    JUnitX is an extension to the JUnit unit testing framework written by Tony for IBM alphaWorks. It provides additional library support for users of JUnit.

Education and Certification

References provided upon request.
Tony is an Australian citizen, holds a valid driver licence and currently resides in Brisbane, Queensland.

[1] HLTFA301B

[2] HLTCPR201A