NICTA, 2012 — present §
Advance the knowledge of Functional Programming in the Australian software developer community and within the NICTA organisation.
Actively contribute to NICTA projects, including open-source projects such as scoobi for distributed computing with map/reduce.
Ephox Pty Ltd, 2010 — 2012 §
Eyecon Pty Ltd, 2009 — 2010 §
Implementing gaming solutions using the Java/J2EE platform.
Paycorp Payment Solutions Pty Ltd, Sydney, 2008 — 2009 §
Implementing payment business solutions using the Scala Programming Language and related advanced programming techniques. Specific proficiency required to ensure a timely delivery with a high assurance of correctness and fast adaptation to changing requirements.
Working from a home office in Brisbane with the development office located in Sydney.
Workingmouse Pty Ltd, Brisbane, 2006 — 2008 §
Research, investigate and educate on programming language paradigms with emphasis on Functional Programming, Type Theory and applicability to commercial software application development. Lead and/or contribute to commercial applications using the Scala and Ruby programming languages as well as open source contribution to the Scala programming language and the creation of the Scalaz extension to the core Scala libraries.
Deliver courses 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. Creating course material to meet specific needs and requests of the course participants.
IBM Corporation, Gold Coast, 2002 — 2006 §
Working under the Tivoli security brand implementing the IBM Tivoli Risk Manager adapter for IBM Tivoli Access Manager targeting 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, USA.
Implementing the IBM Tivoli Privacy Manager integration software for DB2 Content Manager and subsequently assigned to the IBM WebSphere Application Server (version 6) development team to implement the JSR-115 § for IBM Tivoli Access Manager. In 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.
Griffith University, Gold Coast, 2001 — 2006 §
Lecturing and tutoring subjects on COBOL, Java, C/UNIX, C++ and Object-Oriented Analysis & Design for the School of Information Technology.
Softlink International, Brisbane, 2001 — 2002 §
Working on a small team of developers contributing to the ALICE library software using C# and ASP.NET.
Self Employed, Gold Coast, 1999 — 2001
The Competitive Option, Gold Coast, 1996 — 1999 §
Application Servers IBM WebSphere, BEA WebLogic, JBoss, Apache Tomcat, Caucho Resin
RDBMS IBM DB2 UDB, Microsoft SQL Server, Oracle, MySQL, PostgreSQL
Operating Systems GNU Linux, Microsoft Windows, Sun Solaris, IBM AIX, HP-UX
Course in Automated External Defibrillation 22101VIC
Provide cardiopulmonary resuscitation HLTAID001
Provide first aid HLTAID003
Manage first aid in the workplace HLTFA403C
Apply advanced resuscitation techniques HLTFA404C
Apply advanced first aid HLTFA412A
Provide Pain Management PUAEME005A
I have a special interest in sharing an understanding of programming concepts with peers and to advance the professional standards of the software development industry. I deliver presentations to interest groups, conferences and universities regularly.
Asymmetric Lenses in Scala, Scala Days 2012 April 2012 Publication
Philadelphia Emerging Technologies for the Enterprise April 2012 Slides
Monadic Parsers using Haskell 21 June 2009 Slides
Advanced Programming Concepts using Haskell 26 May 2009 Slides
Patterns: Reduction to the Inconsequential November 2008 Slides
I participate in and contribute to the free open source software (FOSS) community. Following are some examples.
Assistant coordinator of the Brisbane Functional Programming Group
Haskell programming language
Scala programming language
Pure Functional Programming
Intuitionistic Type Theory
Software Correctness Verification & Proof-writing
Agda Programming Language
Coq Programming Language
Teaching, Behavioural Psychology & Neuropsychology
References provided upon request.
Tony is an Australian citizen, holds a valid driver licence and currently resides in Brisbane, Queensland.
This document is released under a Creative Commons Attribution, Non Commerical, No Derivative Works Licence.