Dr Kirsten Winter    Research Fellow

	Biography

Dr Kirsten Winter's research interests are in Formal methods and Automated reasoning: High-level specification languages (Object-Z and Abstract State Machines (ASM)), Verification, Tool-supported analysis for high-level specification languages, Model checking and Abstraction and decomposition techniques.

She received her PhD from Technical University, Germany, in 2001. She is currently employed as a research fellow at ITEE and leads a Linkage project in cooperation with Queensland Rail. Dr Winter's current research projects are in the fields of:

• Abstraction and decomposition techniques for model checking
• Tool Support for Automated Analysis of System Specifications
• Railway Signalling Design Tools

	Keywords
	Science and Technology: Software Engineering