Larissa Meinicke

Dr. Larissa Meinicke is a Senior Lecturer in the School of Electrical Engineering and Computer Science at the University of Queensland. She holds a Bachelor (Honours) and a Doctor of Philosophy in Computer Science from the University of Queensland, completing her PhD in 2008 under the supervision of Professor Ian Hayes. Her academic career has been marked by a focus on formal methods in computing systems.

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; and real-time and fault-tolerant systems. After her PhD, she worked as a researcher at the Department of Information Technologies at Åbo Akademi University in Finland, contributing to Professor Ralph-Johan Back’s Formal Methods and Programming research group and the European Commission for Information and Communication Technologies project "Deploy." From 2009 to 2011, she participated in the Australian Research Council project "Hidden-state modelling for modular analysis of information flow, protection and risk evaluation" at Macquarie University in collaboration with Associate Professor Annabelle McIver and Professor Carroll Morgan. She previously held a lecturing position in the Division of Systems and Software Engineering Research within the School of Information Technology and Electrical Engineering at the University of Queensland and is affiliated with the UQ Cyber Research Centre.

Her scholarly output includes 38 works from 2006 to 2024, comprising journal articles, conference papers, and book chapters. Key publications are "Restructuring a concurrent refinement algebra" (2024, with Ian J. Hayes and Naso Evangelou-Oost), "Reasoning about distributive laws in a concurrent refinement algebra" (2024, with Ian J. Hayes), "Practical rely/guarantee verification of an efficient lock for seL4 on multicore architectures" (2024, with Robert J. Colvin et al.), "Using cylindric algebra to support local variables in rely/guarantee concurrency" (2023, with Ian J. Hayes), "Specifying and reasoning about shared-variable concurrency" (2023, with Ian J. Hayes and Cliff B. Jones), "A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency" (2018, Formal Aspects of Computing, with Ian J. Hayes, Kirsten Winter, and Robert J. Colvin), "Hidden-Markov program algebra with iteration" (2015, Mathematical Structures in Computer Science, with Annabelle McIver and Carroll Morgan), and "Algebraic reasoning for probabilistic action systems and while-loops" (2008, Acta Informatica, with Ian J. Hayes).

Professional Email: l.meinicke@uq.edu.au