CURRICULUM VITAE

PERSONAL DATA

Name: dr. CSERTÁN, György
Date of Birth: January 31, 1968
Nationality: Hungarian
Languages: Hungarian, German, English
Family Status: Married with CSERTÁN, Judit
Children: CSERTÁN, Zsuzsanna (2000)

DEGREES

• Ph.D. in Computer Science, Technical University of Budapest, Hungary, 1998
• Diploma (M.Sc.) in Electrical Engineering, Technical University of Budapest, Hungary, 1992

FIELDS OF RESEARCH COMPETENCE

• Design and validation of fault-tolerant systems
• Modeling of distributed systems
• Formal validation and verification of digital controller systems
• Test genearation, testability analysis and integrated diagnostics of digitial computing systems

EXPERIENCE

• Research Assistant, Institut for Applied Information Science, University of Vienna, Vienna, Austria, 1992
• Research Fellow, Institut for Information Science III, University of Erlangen, Erlangen, Germany, 1995
• Research Assistant, Department of Measurement and Information Systems, Technical University of Budapest, Budapest, Hungary, 1995-1999
• Senior Lecturer, Department of Measurement and Information Systems, Technical University of Budapest, Budapest, Hungary, 1999->

PROFESSIONAL SOCIETES

• John von Neumann Computer Society, member (1992)
• Hungarian Association of Measurement and Automation, member (1992)
• Working Party on Operations Research, Hungarian Academy of Sciences, member (1999)
• Working Party on Formal Methods in Computer Science, Hungarian Academy of Sciences, secretary (1999)

AWARDS

• Scholarship of the Technical University (1991/1992)
• 1st prize at the Diploma Thesis Competition of Hungarian Association of Measurement and Automation (1992)
• 1st prize at the Diploma Thesis Competition of the John von Neumann Computer Society (1993)
• 10000 USD won  at the Competition for Young Researchers of the Hungarian National Research Fund (1994)
• 2nd prize at the Scientific Conference of Students of the Technical University of Budapest, supervisor (1995)
• 1st prize at the Scientific Conference of Students of the Technical University of Budapest, supervisor (1997)
• 1st prize at the Scientific Conference of Students of the Technical University of Budapest, supervisor (1998)

PARTICIPANT IN PROJECTS:

1999-2001 "Automatic validation and verification of UML based models of information systems" Hungarian National Research Found project
1999-2000 "Constructive quality assurance of information services" KHVM 47/1998 development of teaching material project
1998-2001, "Virtual Laboratory" INCO-COPERNICUS research project
1998-2000, "Distributed and Network Computing in the Information Society" European Community TEMPUS project
1997-1999, "Formal validation and verification of safety critical systems" MKM-FKFP 1188/1997 research project
1997-1999, "Application of Custom Computing in the Design and Validation of Multiprocessor Systems" German-Hungarian intergovernmental research project
1997-1998 "Convergence strategy and the teaching of information science" KHVM development of teaching material project
1995-1998, "Formal methods of high-level functional fault diagnostics" Hungarian National Research Found research project
1998, "High-Level Integrated Design for Dependability" ESPRIT research project
1998, Production scheduling optimization in General Electric's Nagykanizsa bulb factory
1997, Reliability controlling strategy elaboration for Telefunken Microelectronics Hungary Ltd.
1997, "Verification of ultra reliable controllers" survey study for Paks Nuclear Power Plant and SZTAKI
1996-1997, "HUMIC" European Community TD&QM Center project
1996-1997, "SAFESOFT" European Community TD&QM Center project
1995-1996, "Functional Test Generation" INCO-COPERNICUS research project
1994-1995, SFB-182 "Multiprozessor und Netzwerkkonfigurationen" DFG research project
1991-1992, "Parallel Petri Net Simulation" Austrian Ministry of Science and Research research project