Curriculum Vitae

István Majzik
PhD, Associate Professor
Department of Measurement and Information Systems
Budapest University of Technology and Economics
Magyar Tudósok krt. 2., H-1117 Budapest, Hungary
Phone: +36-1-463-3598;  Fax: +36-1-463-2667, E-mail: majzik@mit.bme.hu
 

PROFESSIONS

1995- : 
 Budapest University of Technology and Economics,
Department of Measurement and Information Systems
- Associate Professor (2003- )
- Senior Lecturer (1998-2003)
- Research Assistant (1995-1997)

SCHOOLS

2014:
 Dr. habil., Computer science, Budapest University of Technology and Economics
Habilitation thesis: Verification Methods for Safety-Critical Embedded Systems
1997:
 PhD in Electrical Engineering from the Technical University of Budapest
(Thesis: Concurrent Error Detection in Multiprocessor Systems Using Watchdog Processors) 
1992:
 Diploma (MSc) with Honour in Electrical Engineering from the Technical University of Budapest

LANGUAGES

Engish:
 Intermediate level
German:
 Reading technical documentation

FIELDS OF RESEARCH INTEREST

Dependable computer systems:
- Dependability modeling and analysis
- Run-time error detection
Software verification and validation:
- Formal verification 
- Safety-critical systems

EXPERIENCES IN INTERNATIONAL RESEARCH PROJECTS

 
2014-2017:
 Reconfigurable ROS-based Resilient Reasoning Robotic Cooperating Systems (R5-COP), ARTEMIS 621447
2010-2013:
 Robust & Safe Mobile Co-operative Autonomous Systems (R3-COP), ARTEMIS 100233
 
2008-2011:
 Model-based Generation of Tests for Dependable Embedded Systems (MOGENTES), FP7 ICT STREP 216679
 
2008-2009:
 Assessing, Measuring and Benchmarking Resilience (AMBER), FP7 ICT CA 216295
 
2006-2008:
 Safe Driver Machine Interface (DMI) for ERTMS Automatic Train Control (SAFEDMI), FP6 SUSTDEV STREP 031413
 
2006-2008:
 Resilience for Survivability in IST (RESIST), FP6 IST NOE 026764
 
2006-2008:
 Highly Dependable IP-based Networks and Services (HIDENETS), FP6 IST STREP 26979
 
2004-2005:
 Intelligent Measurement Data Processing for the Construction of Dependable IT Systems, Portuguese-Hungarian Intergovernmental S&T Cooperation P-19/03
 
2001-2003:
 High Confidence Architecture for Distributed Control Applications (Next TTA), FP6 IST RTD 32111
 
2000-2002:
 Dependability Evaluation of Object-Oriented Systems (DEVOS), Hungarian-Italian Intergovernmental R&D Cooperation Project I-37/1999
 
1998:
 High-Level Integrated Design Environment for Dependability (HIDE), ESPRIT Open LTR 27439
 
1997-1999:

The Use of Reconfigurable Computer Systems in the Design and Analysis of Multiprocessor Systems (ACCUSE), Hungarian-German Intergovernmental R&D Cooperation Project 21/1997
 
___________
  

SCIENTIFIC RESEARCH PROJECTS IN HUNGARY

2004-2006:
 EU-conform, constructive safety assessment of railway control systems (GVOP AKF KOZ, Hungarian Ministry of Economy and Transport)
 
2004-2006:
 Self-checking and run-time verification in computer programs (OTKA T046527, Hungarian National Scientific Research Fund)
 
2001-2003:
 Design of robust object-oriented systems (FKFP 0103/2001, Hungarian Ministry of Education)
1999-2001:
 Formal verification of safety requirements in fault tolerant systems  (OTKA F030553, Hungarian National Scientific Research Fund)
1996-1999:
 Experimental implementation of a distributed fault-tolerant computer system  (OTKA W015003, Hungarian National Scientific Research Fund)
___________
  

AWARDS AND SCHOLARSHIPS

2011:
 "Gold Medal for Distinguished Tutors" from the National Council for Student Research
 
2010:
 Medal for supporting student research (TDK), Budapest University of Technology and Economics
 
2003-2006:
 Bolyai János Research Fellowship from the Hungarian Academy of Sciences
1998-2001:
 Bolyai János Research Fellowship from the Hungarian Academy of Sciences
2000:
 Formalware Engineering: Advanced Course on Formal Methods for Enginering of Software, CISM International Centre for Sciences, Udine, Italy
1998:
 CNR-NATO Guest Fellowship in CNUCE, Pisa (National Research Council, Italy)
1996:
 Visiting researcher (3 months), CNR-CNUCE, Pisa, Italy
1994:
 TEMPUS scholarship (3 months), University of Pisa, Pisa, Italy
1993:
 TEMPUS scholarship (6 months), Friedrich-Alexander University, Erlangen, Germany 
1991:
 Scholarship of the Hungarian Republic
___________
  

SCIENTIFIC ACTIVITIES (TECHNICAL PC)

2015:
 Int. Conference on Dependability of Computer Systems (DepCoS),
Int. Workshop on Software Engineering for Resilient Systems (SERENE),
Int. Workshop on Assurance in Distributed Systems and Networks (ADSN),
ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (SAC DADS)
2014:
 IEEE Symposium on Reliable Distributed Systems (SRDS),
Int. Conference on Dependability of Computer Systems (DepCoS),
Int. Conference on Computer Safety, Reliability and Security (SAFECOMP),
Int. Workshop on Formal Methods in Software Engineering (FormaliSE),
Int. Workshop on Software Engineering for Resilient Systems (SERENE), TPC co-chair,
Int. Workshop on Assurance in Distributed Systems and Networks (ADSN),
ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (SAC DADS)
2013:
 IEEE Symposium on Reliable Distributed Systems (SRDS),
Int. Conference on Dependability of Computer Systems (DepCoS),
Int. System Design Languages Forum (SDL),
ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (SAC DADS)
2012:
 IEEE Symposium on Reliable Distributed Systems (SRDS): TPC co-chair,
European Dependable Computing Conference (EDCC),
Int. Conference on Dependability of Computer Systems (DepCoS),
ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (SAC DADS)
 
2011:
 IEEE IFIP Int. Conf. on Dependable Systems and Networks, Performance and Dependability Symposium (DSN PDS),
IEEE Symposium on Reliable Distributed Systems (SRDS),
Int. Conference on Dependability of Computer Systems (DepCoS),
ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (SAC DADS)
 
2010:
 Int. Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT),
Int. Conference on Dependability of Computer Systems (DepCoS),
ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (SAC DADS),
Workshop on Sharing Field Data and Experiment Measurements on Resilience of Distributed Computing Systems (RDCS)
 
2009:

IEEE Symposium on Reliable Distributed Systems (SRDS),
Int. Conference on Quantitative Evaluation of Systems (QEST),
Int. Conference on Dependability of Computer Systems (DepCoS),
ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (SAC DADS),
Int. Conference on Dependability (DEPEND),
European Workshop on Dependable Computing (EWDC)
 
2008:
 IEEE Symposium on Reliable Distributed Systems (SRDS),
European Dependable Computing Conference (EDCC),
Int. Symposium on Formal Methods for Automation and Safety in Railway and Automotive Systems (FORMS/FORMAT),
Int. Conference on Dependability of Computer Systems (DepCoS),
ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (SAC DADS)
 
2007:
 Int. Conference on Dependability of Computer Systems (DepCoS),
ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (SAC DADS),
Workshop on Architecting Dependable Systems (WADS)
 
2006:
 Int. Conference on Dependability of Computer Systems (DepCoS),
Workshop on Architecting Dependable Systems (WADS),
International Conference on Distributed Computing Systems (ICDCS),
Workshop on Engineering of Fault Tolerant Systems (EFTS)
 
2005:
 IEEE IFIP Int. Conf. on Dependable Systems and Networks, Dependable Computing and Communications Symposium (DSN DCCS),
European Dependable Computing Conference (EDCC),
ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (SAC DADS)
 
2004:
 Workshop on Scientific Engineering of Distributed Java Applications (FIDJI)
 
2003:
 Int. Symposium on Autonomous Decentralized Systems (ISADS)
2002:
 European Dependable Computing Conference (EDCC)
2001:
 Member of the working group on "Formal Methods in Computer Science", Hungarian Academy of Sciences
2000:
 IEEE Symposium on Reliable Distributed Systems (SRDS),
European Workshop on Dependable Computing (EWDC),
Workshop on Object-Oriented Reliable Distributed Systems (WORDS),
1999:
 European Dependable Computing Conference (EDCC)
1996-
 Occasional reviewer of international scientific journals and conferences: 
European Dependable Computing Conference (EDCC), IEEE International Symposium on Fault Tolerant Computing (FTCS), Formal Aspects of Computing (FAC), International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS), IEEE Transactions on Software Engineering (ToSE), Asian Test Conference (ATC), IEEE Symposium on Reliable Distributed Systems (SRDS), Design and Diagnostics of Electronic Circuits and Systems (DDECS), European Workshop on Dependable Computing (EWDC), IEEE Transactions on Computing (ToC), International Conference on Dependable Systems and Networks (DSN), International Symposium on Automated Decentralized Systems (ISADS).
______  

TEACHING EXPERIENCES

 
2015-:
 Software Verification and Validation (PhD course),
Formal Methods,
Software and Systems Verification (partly),
Design and Integration of Embedded Systems (partly),
BSc and MSc theses, Student Project
 
2010-2014 :

Software Verification and Validation (PhD course),
Formal Methods,
Design for Dependability,
Software Verification Techniques,
Real-time and Safety-critical Systems (partly)

2001-2009:

 Software Verification and Validation (PhD course),
Dependability of Computer Systems,
Embedded Information Systems (partly),
Project Laboratory
1995-2001:
 Lectures and laboratories, specialization on Fault Tolerant Computing:
- Programming and diagnostics
- Fault tolerant computer systems (laboratory)
- Design of information systems (laboratory)
___________
  

Istvan Majzik, 2016.