Maria Spichkova

Dr. Maria Spichkova

Senior Lecturer

Details

  • College: School of Computing Technologies
  • Department: School of Computing Technologies
  • Campus: City Campus Australia
  • maria.spichkova@rmit.edu.au

Open to

  • Masters Research or PhD student supervision

About

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.

Academic positions

  • Leader of the project
  • TU Munich
  • COBRA model development. Funded by AVL
  • , Germany
  • 2012 – 2013
  • Leader of the project
  • TU Munich
  • Adaptive and self-optimising systems Funded by European Microsoft Innovation Center
  • , Germany
  • 2011 – 2013
  • Leader of the project
  • TU Munich
  • Verisoft XT - Automotive Application. In collaboration with Robert Bosch GmbH. Funded by Federal Ministry of Education and Research,
  • , Germany
  • 2007 – 2010

Supervisor projects

  • Multi-Criteria Trip Planner and Journey Optimisation
  • 6 Jan 2023
  • Cultural Aspects of Requirements Engineering
  • 22 Dec 2022
  • Intelligent Utilisation of Digital Resources in Higher Education: The Case for Developing Content in a Learning Management System
  • 23 Aug 2021
  • An Empirical Study of Computational Thinking Education in Remote Primary Schools
  • 15 Dec 2020
  • Cultural Influences on Requirements Engineering Activities
  • 3 Apr 2017
  • Requirements Engineering Aspects for Sustainable eLearning Systems
  • 20 Jul 2015

Teaching interests

Software and Systems Engineering, Formal Methods and human aspects thereof, Verification-Oriented Requirements Engineering, Specification and Verification of Real-Time and Embedded Systems

Research interests

Computer Software, Information Systems, Computation Theory and Mathematics, Other Technology, Library and Information Studies, Artificial Intelligence and Image Processing
aboriginal flag
torres strait flag

Acknowledgement of Country

RMIT University acknowledges the people of the Woi wurrung and Boon wurrung language groups of the eastern Kulin Nation on whose unceded lands we conduct the business of the University. RMIT University respectfully acknowledges their Ancestors and Elders, past and present. RMIT also acknowledges the Traditional Custodians and their Ancestors of the lands and waters across Australia where we conduct our business - Artwork 'Sentient' by Hollie Johnson, Gunaikurnai and Monero Ngarigo.