Curriculum Vitae

Tel: (+361) 463 3595
Fax: (+361) 463 4112
E-mail: pataric@mit.bme.hu
 

Education

• Diploma in Electrical Engineering in 1977 from the Technical University of Budapest.
• "Candidate of technical science" (Ph.D.) from the Hungarian Academy of Sciences in 1989.

Experience, positions held

• Since 1977 with the Department of Measurement and Information Systems (formerly Department of Measurement and Instrument Engineering ) of the Technical University of Budapest,
• Since 1990 as associate professor.
• In 1993-94 visiting professor at the University Erlangen.
• Head of the Research Group for Fault-Tolerant Systems.
• Deputy Director of the Centre of Information Technology at the TUB

Awards

• Széchenyi Professorship
• School Founding Master Tutor (National Council of Students Research)

Hungarian project leader of the following international scientific research projects

• Network of excellence " Eastern European Microelectronics Cooperation Network" (EC)
• SAFESOFT Dependable Traffic Control Center of Competence (EC-Phare)
• Research project " FUTEG - Functional Test Generation "(EC-PECO)
• "Fault Tolerant Multiprocessor Systems" research project (Hungarian-German Bilateral Scientific and Technology Development Cooperation Agreement, 1993-95)
• "ACCUSE-Use of Reconfigurable Elements in the Design and Validation of Multiprocessors" research project (Hungarian-German Bilateral Scientific and Technology Development Cooperation Agreement, 1997-99)
• ESPRIT Open LTR 27439 HIDE (CEC, 1998-99);

Project leader of the following national projects

• Project (co-)leader of the following academic research projects "Intelligent algorithms for fault diagnostics in digital systems" (1992-95, Hungarian National Scientific Research Foundation);
• "Formal methods for high level functional fault diagnostics"; (1995-97, Hungarian National Scientific Research Foundation);
• "Automated Verification and Validation of UML-based Models of Information Systems" 1999-2001, Hungarian National Scientific Research Foundation);
• "Object-oriented modelling and optimization of industrial processes" (1999-2001, Foundation for the Hungarian Higher Education and Research);
• "Use of Simulation Techniques in Fault-Tolerant and Mission-Critical Traffic Control Systems " (1997, Foundation for the Hungarian Higher Education and Research);
• "Formal Verification and Validation of Mission-Critical Systems" (1997-99, Foundation for the Hungarian Higher Education and Research);

Industrial research projects

• "Object-oriented Fine Programming of Industrial Production Processes" (1998, GE Tungsram Lighting)
• "Verification of Ultra-Reliable Controllers" (1998, Computer and Automation Research Institute of the Hungarian Academy of Sciences)

Education development projects

• EC TEMPUS-SJEP 3815/93 "Introduction of Modern CAD Methods into the Education of the TUB"
• EC TEMPUS SJEP 08333-94, 1994-97 "Introducing Parallel Processing into the Curriculum of the Hungarian Higher Education Institutions of Technology"
• EC TEMPUS-SJEP 11199-96, 1996-99 "Development and Integration of the Informatics Education in the Member Institutions of the Budapest

University Association"
• EC TEMPUS-SJEP 11199-96, 1996-99 "Distributed and Network Computing in the Information Society"
• FEFA 1374, 1994-96 "Development of the System Informatics Education in the Member Institutions of the Budapest University

Association"
• "Constructive Quality Assurance of Information Technology Services" (1999-2000, Ministry of Transport, Communication and Water Management)
• "Formal Methods in the Information Technology" (2000-2001, Ministry of Transport, Communication and Water Management)
• Step 2000 (EC Leonardo da Vinci), organizing student mobilities.
• Seneca-DB (EC Leonardo da Vinci)
• "Dependable construction of embedded computers" (Foundation for the Higher Education in Telecommunication and Telematics)

Memberships

• Leader of the "Working Group on Formal Methods in the Information Technology" at the Veszprém Regional Centre of the Hungarian Academy of Sciences (VEAB)
• Member of the Hungarian Society for Operation Research;
• PC member at IEEE FTCS-28, and IEEE FTCS-27 IEEE Annual International Symposiums on Fault-Tolerant Computing;
• Program Co-Chair of EDCC-3, the Third European Dependable Computing Conference , 1999
• Chair of the EWDC-11 Eleventh European Workshops on Dependable Computing (2000)
• PC member at ISADS, International Symposium on Autonomous Decentralized Systems, 1999, Tokyo
• Steering Committee and PC member of the Design and Diagnostics of Electronic Systems Workshop Series (DDECS '97 and DDECS'98, and DDECS'2000)
• PC member at EWDC-9, and EWDC-10 the Ninth and Tenth European Workshops on Dependable Computing (1998, 1999)
• PC member at EUROPAR-99 ,
• PC member and session chairman at the IEEE SRDS-14 Symposium on Reliable Distributed Systems.
• PC member of the EDCC-2 Second European Dependable Computing Conference
• PC member at European Simulation Symposium 1995
• PC member at FTSD (Fault Tolerant Systems and Diagnostics) conference series.
• Program chairman of the conference ľP'92, Symposium on Microcomputer and Microprocessor Application.
• General chairman of the same conference in 1994.
• Regular referee of EUROMICRO and of the periodical " Periodica Polytechnica" and by the IEEE FTCS,
• Annual International Symposium on Fault-Tolerant Computing series. , occasional referee by the IEEE
• Transactions on Computers, by a GI/ITG/GMA Conference "Fault Tolerant Computing Systems "