Home

I am an Associate Professor in the School of Engineering and Advanced Technology (SEAT) at the Turitea (Palmerston North) Campus of Massey University. I am the major leader of the Massey Software Engineering program. I have a MSc in Mathematics and a PhD in Computer Science from the University of Leipzig. I have worked for a couple of years in industry as consultant in Germany, Namibia, Switzerland and the UK, and returned in 2003 to academia. My research interests are in the areas of software componentry and evolution and static analysis.

If you are a software engineer and like a challenge, have a look at the set of Java Puzzlers I have developed. They explore the mismatch between different notions of compatibility in Java-like languages. There are several empirical studies to assess the scope of the problem in practice. We also came up with a solution - a novel Java compiler developed in collaboration with Kamil Jezek. Dynamo can prevent many linkage errors as well as more complex problems like the hazard of covariant return types and bridge methods. A paper describing dynamo has been presented at ECOOP'16
You might be interested in this tool I have developed: the Massey Architecture Explorer (MAE). You can simply upload your compiled program, and MAE will visualise it and allow you to query your program for violations of OO design principles. Some articles I have written for developers on orthogonality and dependency management can be found here. I recently started to look into security issues related to object serialization. This has led to the discovery of several new vulnerabilities reported at ECOOP'17. Please check the publication pages for more links to published research outputs. Finally, I have (together with Bernhard Scholz from Sydney) developed a novel algorithm for a precise Andersen-stype points-to analysis that runs in near-linear time, addressing the "cubic bottleneck" in static program analysis. Results have been reported at OOPSLA'15.

If you are considering postgrad studies in software engineering, please email me. An overview of past and current postgrad projects I have supervised / I am supervising can be found hereIn order to secure quality supervision, I have to limit the number of PhD students I supervise. Also please familiarise yourself with scholarship options (usually, very limited, you have to bring a scholarship from your home country - although I can assist exceptional candidates to get a Massey doctoral scholarship), and the cost of living in NZ. Note that Palmerston North is much more affordable than other NZ University cities.

 with Li, Shawn, Thilini and Kamil at Hobbiton at the APSEC'16 conference dinner

with Li, Shawn, Thilini (all PhD students) and Kamil at Hobbiton at the APSEC'16 conference dinner

 

graduation 2013 with Graig Spence, Max Annear-Henderson and Graham Jenson

If you are a prospective undergrad student and interested in software engineering, then you might find this guide how to study Software Engineering useful

If you are an academic or a student studying at another university: I am working on making all lecture notes available to the public under the creative commons license, the first sets are now available. Additional material like video lectures and tutorials is only available to enrolled students. I also maintain an open source repository of examples I use for teaching software design and construction, incl. examples using design patterns, modularity, web application design, meta-programming etc. 

Project Funding / Contracts

My research into scalability and precision of static program analysis for large programs has been funded by gifts from Oracle Inc in 2014/15 (50k USD). 2015/16 (USD 50k) and again in 2017 (44k USD). The project is done in collaboration with Oracle Labs Brisbane and the University of Sydney. See publications for some outcomes. My proposal for investigating the soundness of static analysis ("Closing the gaps in static program analysis") has been selected for funding under the NZ National Science Challenge Science for Technological Innovation (SfTI) Seed Project Scheme (2017-19), the total contract value is ca NZD 197k.  
Upcoming events (OC/PC work)

 Recent Talks  (youtube) 

  

My Favourite Quote:  “My grandfather once told me that there were two kinds of people: those who do the work and those who take the credit. He told me to try to be in the first group; there was much less competition.” -- Indira Ghandi

Contact

Massey University, School of Engineering and Advanced Technology, Private Bag 11 222, 
4442  Palmerston North, New Zealand
Phone +64 6 356 9099 extn 84235
Office: AgHort-A 3.88


Subpages (1): Office Location