The basic questions concerning the teaching of formal methods are: what, when and how to teach them? Teaching programming at our university is based on a mathematical approach. A relational model of programming is constructed, in which the most important fundamental concepts of programming (problem, program, abstract data type, etc.) are treated in a consistent way. With the help of that model - apart from any programming language - the students learn a reliable way to design correct programs at the very beginning of their study. Our experience proves that students meeting real life problems can adapt the theoretical concepts and theorems without difficulties to practice, using the programming languages available in concrete environments. (Several programming languages are also taught, as C/C++, Java, Ada, Eiffel, Clean, Prolog, etc.)
Graduate: MSc in mathematics and in general and applied linguistics at University Eötvös Loránd (Budapest), in 1972. Doctorate in mathematics at University Eötvös Loránd (Budapest), in 1979. PhD in mathematics at University Eötvös Loránd (Budapest), in 1995. Position held: - associate professor at University Eötvös Loránd, Budapest, since 1995, - associate professor and vice-dean at Péter Pázmány Catholic University, Faculty of Information Technology since 2001 Awards: Széchenyi Professorial Fellowship 2000 Professional experience: 1972 – 1995 assistant professor at University Eötvös Loránd, Faculty of Sciences, Department of Numerical Mathematics and Computer Science 1995 – 2003 associate professor at University Eötvös Loránd, Faculty of Sciences, Department of General Computer Science Responsible for the teaching of programming languages in the curriculum of program-designer mathematicians, worked out the curricula of several courses too. Editor and co-author of several books and textbooks (Java, Ada, Programming Languages) in Hungarian. Participant in various projects of OTKA, AMFK, FKFP. Participant in the Erasmus and CEEPUS cooperations. 1997 – 1999 associate professor at Károli Gáspár University – responsible for the teaching of programming languages 2000 – associate professor, from 2001 also vice-dean at Péter Pázmány Catholic University, Faculty of Information Technology Responsible for the curricula on the field of computer programming, worked out the curricula of some courses too. 2001 - Tutorial Chair of ECOOP’01 2003 – associate professor at University Eötvös Loránd, Faculty of Informatics, Department of Programming Languages and Compilers Fields of interest: Programming Languages Program Specification, Verification, Synthesis Object-Oriented Design Important courses held in computer science: Programming Languages (Ada) A Comparison of Programming Languages Programming Methodology The Eiffel Programming Language The Java Programming Language Algorithms and Data Structures
Sprecher: Prof. Judit Nyekyne Wann: Mittwoch, 1. Juni 2005, 14:00 Uhr (s.t.) Wo: E.2.37, Universität Klagenfurt