Dr Larissa Meinicke

Lecturer

School of Information Technology and Electrical Engineering
Faculty of Engineering, Architecture and Information Technology
l.meinicke@uq.edu.au
+61 7 336 53310

Overview

Larissa Meinicke's research interests include mathematical notations and techniques for the formal specification and development of computing systems; probabilistic systems; computer security; abstract algebra and refinement algebra; real-time and fault-tolerant systems.

Dr Meinicke is currently a lecturer in the Division of Systems and Software Engineering Research in the School of Information Technology and Electrical Engineering.

She completed her PhD in the area of Computer Science at the University of Queensland in 2008 under the supervision of Professor Ian Hayes. Since then she has worked as a researcher at the Department of Information Technologies at Åbo Akademi University in Finland, both as a part of Professor Ralph-Johan Back’s Formal Methods and Programming research group, and as a member of the European Commission for Information and Communication Technologies project "Deploy".

From 2009 to 2011 Dr Meinicke worked 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 at Macquarie University in Sydney. Information about this research may be found at the Specification and Development of Probabilistic Systems page (below).

Qualifications

  • Doctor of Philosophy (Computer Science), The University of Queensland
  • BInf Tech (Hons I), The University of Queensland

Publications

  • Hayes, Ian J., Dunne, Steve E. and Meinicke, Larissa A. (2013) Linking unifying theories of program refinement. Science of Computer Programming, 78 11: 2086-2107.

  • McIver A., Meinicke L. and Morgan C. (2012). A kantorovich-monadic powerdomain for information hiding, with probability and nondeterminism. In: , Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012. 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, (461-470). June 25, 2012-June 28, 2012.

  • Dongol, Brijesh, Hayes, Ian J., Meinicke, Larissa and Solin, Kim (2012). Towards an algebra for real-time programs. In: Wolfram Kahl and Timothy G. Griffin, Proceedings: 13th International Conference, RAMiCS 2012. 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, (50-65). 17 - 20 September 2012.

View all Publications

Publications

Journal Article

Conference Publication

  • McIver A., Meinicke L. and Morgan C. (2012). A kantorovich-monadic powerdomain for information hiding, with probability and nondeterminism. In: , Proceedings of the 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012. 2012 27th Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, (461-470). June 25, 2012-June 28, 2012.

  • Dongol, Brijesh, Hayes, Ian J., Meinicke, Larissa and Solin, Kim (2012). Towards an algebra for real-time programs. In: Wolfram Kahl and Timothy G. Griffin, Proceedings: 13th International Conference, RAMiCS 2012. 13th International Conference, RAMiCS 2012, Cambridge, United Kingdom, (50-65). 17 - 20 September 2012.

  • McIver, Annabelle, Meinicke, Larissa and Morgan, Carroll (2010). Compositional closure for Bayes Risk in probabilistic noninterference. In: Samson Abramsky, Cyril Gavoille and Claude Kirchner, Automata, languages and programming: 37th International Colloquium, ICALP 2010: Proceedings, part II. 37th International Colloquium on Automata, Languages and Programming (ICALP 2010), Bordeaux, France, (223-235). 5-10 July 2010.

  • Katoen, Joost-Pieter, McIver, Annabelle, Meinicke, Larissa and Morgan, Carroll C. (2010). Linear-invariant generation for probabilistic programs: Automated support for proof-based methods. In: Radhia Cousot and Matthieu Martel, Static Analysis: 17th International Symposium, SAS 2010: Proceedings. 17th International Static Analysis Symposium (SAS 2010), Perpignan, France, (390-406). 14-16 September 2010.

  • Hayes, I. J., Dunne, S. E. and Meinicke, L. (2010). Unifying theories of programming that distinguish nontermination and abort. In: Claude Bolduc, Jules Desharnais and Béchir Ktari, Lecture Notes in Computer Science. Mathematics of Program Construction: 10th International Conference, MPC 2010. Mathematics of Program Construction [MPC], Québec City, Québec, Canada, (178-194). 21-23 June, 2010.

  • McIver, Annabelle, Meinicke, Larissa and Morgan, Carroll (2009). Security, probability and nearly fair coins in the cryptographers' café. In: Ana Cavalcanti and Dennis Dams, FM 2009: Formal Methods: SecondWorld Congress proceedings. 2nd World Congress on Formal Methods (FM 2009), Eindhoven, The Netherlands, (41-71). 2-6 November 2009.

  • Meinicke, L. and Hayes, I. J. (2008). Probabilistic Choice in Refinement Algebra. In: P. Audebaud and C. Paulin-Mohring, Lecture Notes in Computer ScienceProceedings of the 9th international conference on Mathematics of Program Construction. 9th International Conference on Mathematics of Program Construction [MPC], Marseille, France, (243-267). 15-18 July 2008.

  • Meinicke, L. and Smith, G. (2007). A stepwise development process for reasoning about the reliability of real-time systems. In: J. Davies and J. Gibbons, Integrated Formal Methods 2007. 6th International Conference: IFM 2007 - Integrated Formal Methods, Oxford, U.K., (439-458). 2-5 July 2007.

  • Strooper, P. A. and Meinicke, L. (2007). Evaluation of a new assessment scheme for a third-year concurrency course. In: Simon Mann, Proceedings of the Ninth Australiasian Computing Education Conference (ACE 2007). Ninth Australiasian Computing Education Conference (ACE 2007), Ballarat, Victoria, Australia, (147-154). 30 January - 2 February, 2007.

  • Meinicke, L. A. and Hayes, I. J. (2006). Continuous action system refinement. In: Tarmo Uustalu, Mathematics of Program Construction. 8th International Conference on Mathematics of Program Construction (MPC 2006), Kuressaare, Estonia, (316-337). 3-5 July 2006.

  • Meinicke, Larissa and Hayes, Ian J. (2006). Reasoning algebraically about probabilistic loops. In: Z. Liu and J. He 8th International Conference on Formal Engineering Methods, Macua, PR China, (380-399). 1-3 November, 2006.

Other Outputs

Grants