Catherine Menon

I've now moved to the University of York . My current homepage can be found here .

Department of Computer Science
Australian National University
Canberra, ACT 0200 Australia

Phone: +61 (0)2 6267 6223
email: catherine.menon@nicta.com.au

Current Work

I'm currently a Research Programmer at NICTA, working on verifying properties of the seL4 microkernel. More information about this can be found at the L4.verified project site.

I'm also teaching the COMP2410/6340 Networked Information Systems course at ANU in 2008. This course covers network technology and website design and standards.

Interests

My interests include

Category theory. In particular, I'm interested in the application of category theory to computer science, such as the Rosetta Project.
Theorem proving . The Isabelle proof assistant is one of the most common tools for proving properties within code.
Graph theory. I'm currently working with Brendan McKay on a program to solve existence problems for certain generalized Moore graphs.
Formal Methods. Most generally, this is the use of mathematics and logic in order to specify or develop programs and hardware.

Previous Work

I completed my PhD from the University of Adelaide in 2006, creating a category theoretical framework for analysing inconsistencies in system specification languages. My supervisors were Sylvan Elhay and Charles Lakos from the University of Adelaide, and Mike Johnson from Macquarie University .

I also worked for Accenture as a consultant for a year.

Publications

Catherine Menon, A Category Theoretic Approach to Inconsistencies in Modular System Specification, PhD thesis April 2006.
Catherine Menon, Michael Johnson and Charles Lakos, Inconsistency Management and View Updates in Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, ENTCS Vol 141, 2005.
Catherine Menon, Charles Lakos, and Cindy Kong, Towards a Semantic Basis for Rosetta, in Proceedings of the 27th Australasian Computer Science Conference, 2004
Perry Alexander, Cindy Kong, and Catherine Menon, Defining a Formal Coalgebraic Semantics for the Rosetta Specification Language, in Journal of Universal Computer Science, Vol. 9, 2003