Ágota Majzikné Bausz received her MSc degree in Electrical Engineering in 1992 from the Budapest University of Technology and Economics. She worked as research fellow, team leader, consultant, and e-government expert at the Computer and Automation Research Institute of the Hungarian Academy of Sciences (MTA SZTAKI) for several years. She possesses the certification for National Public Administration and served at the Central Office for Administrative and Electronic Public Services of the government as IT governance expert adapting ITIL style requirements on the QoS and security of workflows. Her professional interests include business process modelling, quality assurance, electronic signatures, certificate authorities, modelling and developing of workflows for organizations, and planning of IT strategy. She has experience in surveying work processes, legal environment and local regulations, re-designing work processes, adapting local regulations, training new processes. She participated in several national research and development projects aiming at modelling and developing e-government workflows and applications at local governments.
Melinda Kocsis-Magyar received her MSc degree in Software Engineering in 2006 from the Budapest University of Technology and Economics. She participated in EU FP7 academic research projects including SAFEDMI, HIDENETS, RESIST and AMBER. Her main research field was model-based dependability analysis of safety critical systems and verification and validation of dependability mechanisms. For several years she worked for a process control company as a system engineer where she prepared technical documentations for the EU project “Plovdiv-Svilengrad Railway Electrification and Upgrading of Corridors IV and IX” (including RAMS analysis, design and maintenance documentation) and a product development project (RAMS analysis, requirement management and design document verification responsibilities as a senior engineer). She is currently working as a senior research engineer at Quanopt Ltd, where she is the leader of safety analysis and technical documentation efforts in a verification project for critical embedded systems in the automotive industry.
Katalin Tasi received her MSc degree with honours in Software Engineering in 2013 from the Budapest University of Technology and Economics. She worked on interactive support of IT model building and won a 3rd prize with this work in the Scientific Student Contest. She participated in multiple Hungarian R&D projects (intelligent data integration, analysis of operational processes of a large bank) and was the technical project leader at Quanopt in a project developing a process-based service dependability assurance and diagnosis framework. In the e-Freight EU FP7 project she developed an interactive visualization tool for the fusion and transformation of XML documents. She is also interested in Android development and participated in the Hungarian 24-hour Android programming competition.
János Oláh received his MSc degree in Software Engineering and in Biomedical Engineering from the Budapest University of Technology and Economics in 2009 and 2011 respectively. Between 2009 and 2012 he was a PhD student at the Fault Tolerant Systems Research Group, where his research focus included model-based software testing, automated test execution and automated software test data generation. He participated in EU FP7 and ARTEMIS academic research projects including AMBER, MOGENTES, R3-COP, and also worked on various industrial research projects. Beyond software testing technologies, he has substantial experience in model-driven software development using Eclipse technologies. In the past he worked as software test lead and regulatory engineer in the medical device industry. He is currently working as a senior research engineer at Quanopt Ltd, where he is the leader of testing efforts in a verification project for critical embedded systems in the automotive industry. János holds ISTQB CTFL and IREB CPRE FL certifications. Beyond safety, he is also interested interested in security of mission critical software.