I've been working as a software engineer in Silicon Valley for the last 11 years. During that time, I've worked for three startups, and seen failure, acquisition and LinkedIn going IPO. My main strengths right now are in Java backend programming, digital security, SQL and feature development. I have done and would like to do more Ajax/CSS/HTML5 work, as well as learn other dynamic languages such as ruby or python.
I am currently looking for an engineering or lead position with an established company that has a fun engineering process, challenging problems of scale for a back-end engineer, some front-end work, and a great team of collaborative genuine people.
To find out more about my professional life, visit my blog, visit my LinkedIn profile or see my work experience on this site.
I hold a Ph.D. in Computer Science and Electrical Engineering from the University of Queensland. You can read my Ph.D. thesis and browse publications here.
In a previous life as a budding academic, I was an advocate for formal methods in software development. I worked with people at the Object-Z and RESOLVE communities, making research techniques more practical. I still am an advocate for formal methods, but without language and tool support, its a losing battle.