next up previous
Next: Work

David Streader a simple home page.

Personal Description

I came into computer science via a first degree in pure maths from York University in the UK. It was a toss-up between carpentry and computing, and I figured there was more money in computing. In the mid-1980s, as businesses moved to computerise their systems, I worked as a programmer and systems analyst for UK firms ranging from large pension funds to manufacturers. I became interested in how to mathematically model complex processes, such as a production line, and ultimately left the business world, completing an MSc in Parallel Processing at Bristol Polytechnic before embarking on a PhD in formal methods at Queen Mary College, the University of London. Once I had completed my doctorate, I took up a two-year research post at the University of Sydney. In 2002 I moved to the University of Waikato to join Professor Steve Reeves on a FRST research contract comparing state and event based formalisms. Research Interests

My primary research interests are in formal methods. The project I am working on is looking to combine the best from state based and event based methods. In the past I have worked on event based methods both events that use handshake and broadcast synchronisation.

David Streader 2004-03-12