Curriculum Vitae

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

	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 (Thesis prepared at the Friedrich-Alexander University in Erlangen-Nuremberg, Germany; diploma thesis award of the Hungarian Scientific Society of Measurement and Automation)

LANGUAGES

	Engish:	Intermediate level
	German:	Reading technical documentation

FIELDS OF RESEARCH INTEREST

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

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)
	___________

EXPERIENCES IN INTERNATIONAL RESEARCH PROJECTS

	2006-2008:	IST-4-026764-NOE, "Resilience for Survivability in IST" (RESIST)
	2006-2008:	IST-FP6-STREP-26979, "Highly Dependable IP-based Networks and Services" (HIDENETS)
	2006-2008:	TST5-CT-2006-031413, "Safe Driver Machine Interface (DMI) for ERTMS automatic train control" (SAFEDMI)
	2004-2005:	Portuguese-Hungarian Intergovernmental S&T Cooperation P-19/03, "Intelligent Measurement Data Processing for the Construction of Dependable IT Systems"
	2001-2003:	IST RTD 2001-32111, "High Confidence Architecture for Distributed Control Applications" (Next TTA)
	2000-2002:	Hungarian-Italian Intergovernmental R&D Project I-37/1999, "Dependability Evaluation of Object-Oriented Systems" (DEVOS)
	1998:	ESPRIT Open LTR No. 27439, "High-Level Integrated Design Environment for Dependability" (HIDE)
	1997-1999:	Hungarian-German Intergovernmental R&D Project 21/1997, "The Use of Reconfigurable Computer Systems in the Design and Analysis of Multiprocessor Systems" (ACCUSE)
	___________

AWARDS AND SCHOLARSHIPS

	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)

	2008:	European Dependable Computing Conference (EDCC), Int. Conference on Dependability of Computer Systems (DepCoS), Int. Symposium of Reliable Distributed Systems (SRDS)
	2007:	ACM Symposium on Applied Computing, Dependable and Adaptive Distributed Systems Track (SAC DADS), Int. Conference on Dependability of Computer Systems (DepCoS), Workshop on Architecting Dependable Systems (WADS)
	2006:	Int. Conference on Dependability of Computer Systems (DepCoS), Workshop on Architecting Dependable Systems (WADS), 26th International Conference on Distributed Computing Systems (ICDCS), Workshop on Engineering of Fault Tolerant Systems (EFTS)
	2005:	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-2003)
	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-2000), 19th European Workshop on Dependable Computing (EWDC-19), Workshop on Object-Oriented Reliable Distributed Systems (WORDS-2000),
	1999:	3rd European Dependable Computing Conference (EDCC-3)
	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

	2001-	Software verification and validation (Ph.D. course), Dependability of computer systems, Embedded information systems (partly), Project laboratory
	1995-2001:	Lectures and laboratory projects in the specialization on fault tolerant computing: - Programming and diagnostics - Fault tolerant computer systems (laboratory) - Design of information systems (laboratory)
	___________