Dr Larissa Anne Meinicke



Research Fellow
Room E6A 371
Department of Computing
Macquarie University
Sydney 2109, Australia

Fax: +61 (0)2 9850 9551
Work telephone: +61 (0)2 9850 9571
Email: larissa.meinicke@mq.edu.au

Research interests

Formal specification and development of computing systems; probabilistic systems; computer security; abstract algebra and refinement algebra; real-time and fault-tolerant systems.

I am currently working on the ARC Research project Hidden-state modelling for modular analysis of information flow, protection and risk evaluation in conjunction with Associate Professor Annabelle McIver and Professor Carroll Morgan.

Further information about our research may be found at the Specification and Development of Probabilistic Systems page.



Personal interests

I'm ocean swimming to raise money for cancer research! Find out more.



Professional activities


Paper drafts

Journal articles

PhD thesis

Conference papers

Workshop papers

Technical reports