Dr Maria Spichkova is a Lecturer at the School of Computer Science and Information Technology, RMIT University.
She received a PhD in Computer Science in 2007 at the Technical University of Munich (Germany), where she worked in a Researcher and Lecturer role between 2003 and 2013. From June 2013 to May 2015, she worked in the Australia-India Research Centre for Automation Software Engineering, RMIT University, as a Research Fellow.
She conducts research activities related to formal specification, modelling, testing, and verification of safety-critical and distributed systems as well as to human factor related areas.
Dr Maria Spichkova has served as the reviewer of journals and conferences (such as IEEE Transactions on Industrial Informatics, Journal of Software and Systems Modeling, Acta Informatica, etc.), the Program Committee co-chair and member for international conferences and workshops (HOFM, SAGRA, RE4SuSy, MoDeVVa and IEEE APSCC).
She has supervised HDR students, taught a number of lecture courses (e.g. Applied Logic in Engineering, Modelling of distributed systems, Fundamentals of system and program development) in addition to seminar courses.
More information on Dr Maria Spichkova, her projects and publications, can be found on her personal website.
PC Chair, Workshop organizer
Human-Oriented Formal Methods (HOFM), a satellite event of the STAF and SEFM 2016 (rank A/B)
Sustainable Architecture: Global collaboration, Requirements, Analysis (SAGRA 2016), a satellite event of ECSA 2016 (rank A)
Collaborative Aspects of Formal Methods (COLAFORM 2016). Special Session of the 11th International Conference on ENASE (rank B)
HOFM 2015, a satellite event of the 13th International Conference on SEFM (rank B)
SAGRA 2015, a satellite event of ECSA (rank A)
Session Chair: 10th International Conference on ENASE (rank B)
Session Chair: 21st IEEE International Conference on Parallel and Distributed Systems (rank B)
HOFM 2014, a satellite event of the 12th International Conference on SEFM (rank B)
Automated Systems Software Engineering & Testing Workshop (2013, Melbourne, Australia)
Journal, conference, workshop, book reviewer (selected)
Journal on Software Evolution and Processes,
IEEE Transactions on Industrial Informatics,
Science of Computer Programming,
Journal of Software and Systems Modeling,
Acta Informatica, Emerging Research and Trends in Interactivity and the HCI, etc.
Industry Experience:
At the RMIT University and at the Technical University of Munich (Germany), Dr Maria Spichkova has authored and contributed (both as participant and as project leader) to a number of research projects in collaboration with Siemens AG, ABB, Microsoft (European Microsoft Innovation Center), the BMW Group, Bosch, DENSO Automotive (Germany), DENSO Corporation (Japan), ITK Engineering AG (Germany), and AVL (Austria).
2015: iAward (Victoria) for the EndOfTrip project
-Co-organiser of Industrial Summer Project Program (2015/2016)
-Coordinator of WIL Program (from 2015)
-Leader of the Verification & Testing Competence Center (2007 – 2013, TU Munich)
Industrial projects:
RMIT University
1. Software Engineering projects within YourSoftware initiative, in collaboration with
ANZ,
Navy,
Panviva,
Bookon,
RedBubble,
Kaleido Labs,
Carers Victoria,
Bureau of Meteorology,
Adeft Consulting Group,
Department of Justice & Regulation.
2. Rhythm ANZ internal mobile application
Funded by ANZ, 2015 - 2016.
3. Working prototype for cloud based software as a service application
Funded by Compliance Group Pty Ltd, 2015 - 2016.
4. FGP Datapump and Webservice
Funded by Future Grid Pty Ltd, 2015 - 2016.
5. Testing of Engineered Systems, led by AICAUSE.
Funded by Siemens AG, 2014 - 2015.?
6. Collaborative engineering, led by AICAUSE.
Funded by ABB, 2014 - 2015.
TU Munich:
-Efficient Hazard and Risk Analysis for Automotive Mechatronic Systems. Funded by ITK Engineering AG, 2012.
-DENTUM I, II, III: Funded by Denso Automotive Deutschland, 2006 - 2011.
-Verisoft Automotive. In collaboration with the BMW Group.
Funded by Federal Ministry of Education and Research, Germany, 2003-2007.