User:Allan McInnes

From Wikipedia, the free encyclopedia
Jump to: navigation, search
en This user is a native speaker of English.
CS This user is a member of WikiProject Computer science.
Flag of New Zealand.svg This user is associated with New Zealand.

Prior to creating an account I made a few minor contributions to the Wikipedia as


I'm a participant in WikiProject Computer science, although I've been known to make the odd contribution to articles outside the scope of that project. I have a particular interest in concurrency theory (especially process calculi such as Communicating Sequential Processes (CSP) and the pi calculus), formal specification and formal methods (in particular "lightweight" methods and tools, such as the Alloy specification language and associated Alloy Analyzer), systems engineering, and software engineering.

At one point I proposed a Concurrency WikiProject. This has since been absorbed into WikiProject Computer science.


Ideas for articles. Some include notes that are building towards an article, but are not yet ready to hit the Wikipedia proper. Once there's something reasonably coherent in place, they will get moved. Please feel free to add to these drafts if you want to.

Now in the main namespace

For helping to revive WikiProject Computer scienceRuud 01:19, 1 February 2006 (UTC)