CURRICULUM VITAE

Dr. Anton Cerny

ACADEMIC QUALIFICATIONS Degree

Assoc. Prof. Ph.D M.Sc.

University Comenius University, Bratislava Czechoslovak Academy of Sciences, Prague Comenius University, Bratislava,

Country Czecho slovakia Czecho slovakia Czecho slovakia

Year 1992

Field of Specialization Computer Science

1985 1976

Computer Science Mathematics, Computer Science

Ph.D Thesis Title:

Modular Trellis Automata

Languages/Special Skills English speaking, reading, writing Russian speaking, reading, writing French speaking, reading , writing German reading Computer skills advanced level

Slovak Czech

speaking, reading, writing speaking, reading, writing

HONORS: Awarding Letter of the Dean of Faculty of Mathematics and Physics, Comenius University, 1991

PROFESSIONAL EXPERIENCE Academic Positions Title

Associate Professor Associate Professor Assistant Professor Assistant Professor

From - To 2009 -

University

Country Kuwait Kuwait Kuwait Czechoslovakia

Kuwait University, College for Women 2000 - 2008 Kuwait University, Faculty of Science 1991 - 2000 Kuwait University, Faculty of Science 1990 - 1991 Comenius Univ., Bratislava, Fac. of Math. and Physics

Assistant Professor Assistant Professor Instructor

1987 - 1990 Kuwait University, Faculty of Science 1979 - 1987 Comenius Univ., Bratislava, Fac. of Math. and Physics 1976 1979 Comenius Univ., Bratislava, Fac. of Math. and Physics

Kuwait Czechoslovakia Czechoslovakia

ADMINISTRATIVE EXPERIENCE: Departmental Level Assoc. Chairman, Department of Comp. Science

Comenius University, Bratislava, 1990-1991

Committees Graduate program committee member CS graduate comprehensive committee chairman and member CS curriculum committee member Research committee member Laboratory committee member Information committee member Seminars committee member Scientific committee member Kuwait University Faculty Level Laboratory committee member, Faculty of Science, Kuwait University University Level Science steering committee member

1991-

1992-1993

Kuwait University Computing Services Centre 1992-1994

Ministry Level Computing education and training institutions committee Ministry of Higher Education, Kuwait 1998 -1999

MEMBERSHIP IN PROFESSIONAL SOCIETIES - Member of European Association for Theoretical Computer Science COURSES TAUGHT Comenius University Data structures Algorithms and complexity Operating Systems Principles of database systems Computability theory Formal languages and automata Kuwait University Introduction to computers

Computer programming Computer programming I, II Introduction to computer science Discrete mathematics for computer science Data structures Principles of programming languages Design ad analysis of algorithms I, II Formal languages, automata and parsing Compiler design Systems programming College Algebra Applied Calculus Computational methods Graduate Courses: Complexity theory Theory of formal languages and automata

THESES SUPERVISED M.Sc. 5 theses, Comenius University, 1979-87 Galal Hasan: Towards combinatorics on 2-dimensional words, Kuwait University, 1999 Amal I. Naji: Implementation of COBS. A model of concurrent object-based system, Kuwait University, 2000 (co-supervisor) Abeer S. Al-Hallaq: Computer graphics algorithms and computations for the problem of collision-free object movements using vector fields, Mona Behbehani: Languages, sequences and numeration systems based on finite automata, An Experimental Research Tool, MSc. Project, 2004

OTHER ACTIVITIES - participation at the development of the new ABET-compliant Computer Science undergraduate curriculum at Kuwait University
the curriculum was approved 2007 and will be implemented from 2008/2009

- Chief Judge, Regional ACM Programming contest, Kuwait 2003, 2004, 2005 RESEARCH EXPERIENCE Projects and Grants Principle Investigator: KU SM-178 Lyndon factorization of automatic sequences, Kuwait University, 15/02/1999 - 14/2/2000 KU SM-129 Pentagon Packings, Kuwait University, 08/01/1996 - 07/01/1997 KU SM-058 Array words and parallel automata, Kuwait University, 15/04/1989 - 04/08/1990, extension 31/01/1993 - 30/06/1993 Co-Investigator: KU SM-157 A formal model for the shared-variable message-passing interprocess communications, 15/10/97 14/10/98 MSV SR 1/4315, Slovak Ministry of Education and Science, 1996-97 4 projects, U.N. Research Center, Bratislava, 1979-1982 Conferences Conferences Organized: MFCS, International Symposium on Mathematical Foundations of Computer Science , Bratislava, 1984, Co-chairman of the Org. Committee Conferences Attended: SOFSEM - Czechoslovak International Software Seminar 1978, 1986 MFCS, International Symposium on Mathematical Foundations of Computer Science - held alternatively in Czechoslovakia and Poland, 1977, 1984, 1991 IMYCS - International Meeting of Young Computer Sciences, Smolenice, Slovakia, 1980 Int. Conference on Parallel and Distributed Computing, Kuwait, 1995 10th International Conference on Computing and Information, Kuwait, 2000

REFEREEING Journal of Combinatorics, Information & System Sciences

International Journal of Foundations of Computer Science International Colloquium on Automata, Languages and Machines, 2007 Zentralblatt fuer Mathematik

LIST OF PUBLICATIONS

Research Papers in Refereed Journals 1. A. Cerny, Descriptional complexity measures of context-free languages, Kybernetika, 19 (1983), 3, 237-247 2. A. Cerny, J. Gruska, Modular trellises, In: (G. Rozenberg, A. Salomaa, eds.), The Book of L, Springer Verlag, Berlin, 1986, 45-60 3. A. Cerny, On a class of infinite words with bounded repetitions, RAIRO, Theoretical Informatics, 19 (1985), 4, 337-349 4. A. Cerny, J. Gruska, Modular real-time trellis automata, Fundamenta Informaticae IX (1986), 253-282 5. A. Cerny, P. Horak, A. Rosa, S. Znam, Maximal pentagonal packings, Acta Mathematica Universitatis Comenian, LXV (1996), 2, 215-227 6. A. Cerny, P. Horak, W.D. Wallis, Kirkman's school projects, Discrete Mathematics, 167/168 (1997), 189-196 7. A. Cerny, Optimal description of automatic paperfolding sequences, Journal of Universal Computer Science, 3 (1997), 10, 1085-1099 8. A. Cerny, On Sequences resulting from iteration of modified quadratic and palindromic mappings, Theoretical Computer Science, 188 (1997), 1-2, 161-174 9. A. Cerny, Description of words by cellular automata, Kuwait Journal of Science and Engineering, 24 (1997), 2, 199-215 10. A. Cerny, On maximal premature partial Latin squares, Australasian Journal of Combinatorics, 24 (2001), 5-12 11. A. Cerny, Lyndon factorization of generalized words of Thue, Discrete Mathematics and Theoretical Computer Science, 5 (2002), 1, 17-46 12. A. Cerny, COBS A model reflecting the duality of the two paradigms of asynchronous communications, Arabian Journal for Science and Engineering, 30 (2005), 2B, 231-244 13. L. Niepel, A. Cerny, Independence and domination in path graphs of trees, Computing and Informatics, 27 (2008), 4, 581--591 14. A. Cerny, On fairness of D0L systems, Discrete Applied Mathematics, 155 (2007), 13, 1769-1773 15. A. Cerny, On subword symmetry of words, International Journal of Foundations of Computer Science, 19 (2008), 1, 243250 16. L. Niepel, A. Cerny, B. AlBdaiwi, Efficient domination in directed tori and the Vizing's conjecture for directed graphs, Ars Combinatoria, accepted (2008), 1--12 17. A. Cerny, On fair words, Journal of Automata, Languages and Combinatorics, 14 (2009), 2, 1-12 18. A. Cerny, Generalizations of Parikh mappings, RAIRO Theoretical Informatics and Applications, accepted (2009), 1--20

Papers presented in Conferences. 19. A. Cerny, Complexity and minimality of context-free grammars and languages, Proceedings MFCS'77, T. Lomnica, Lecture Notes in Computer Science 53, Springer, Berlin, 1977 20. J. Gruska, J. Wiedermann, A. Cerny, Data Types and Data Structures (in Slovak) Proceedings SOFSEM'78 (invited lecture), U.N. Comp. Research Center Bratislava, 1978, 45-110 21. A. Cerny, Complexity evaluation of data types (in Russian), IMYCS, Smolenice, 1980 22. A. Cerny, J. Kelemen, FDT - an approximation of an abstract frame-like data type, Proceedings 2nd International Meeting on Artificial Intelligence, Repino, U.S.S.R., Oct. 12-19, 1980 23. A. Cerny, Tag sequences and substitutions, Proceedings IMYCS'84, Smolenice, Comp. and Automaton Institute of Hungarian Academy of Sciences, Budapest, 158/1984, 60-65 24. A. Cerny, B. Rovan, Formal languages (in Slovak), Proceedings SOFSEM'86 (invited lecture), U.N. Comp. Research Center, Bratislava, 1986 25. A. Cerny, Generating words by cellular automata, Proceedings MFCS'91, Lecture Notes in Computer Science 520, Springer, Berlin 1991, 113-120 26. A. Cerny, Description of words and functions by cellular automata (abstract), Proceedings, Parallel and distributed computing, Kuwait 1995 27. M. Al-Ibrahim, A. Cerny, Authentication of anycast communication, Proceedings, The Second International Workshop "Mathematical Methods, Models and Architectures for Computer Networks Security, St. Petersburg, Russia, Lecture Notes in Computer Science 2776, Springer, Berlin 2003, 419-423 28. M. Al-Ibrahim, A. Cerny, Proxy and threshold one-time signatures, Proceedings, First MiAn International Conference on Applied Cryptography and Network Security, Kunming, China, Lecture Notes in Computer Science 2846, Springer, Berlin 2003, 123-136

Books chapters: 1. A. Cerny: FORTRAN (in Czech), Lecture Notes, Technical Academy, Liptovsky Mikulas, Slovakia, 1977 2. J. Hvorecky, A. Cerny, I. Haverlik, B. Rovan,: Mathematical informatics III (in Slovak), Lecture Notes, Faculty of Mathematics and Physics, Comenius University, Bratislava, 1983

Unpublished Technical Reports 1. A. Cerny, J. Gruska, Weighted abstract data types (in Slovak), In: Res. Report Descriptional and Computational Complexity of Algorithms, Automata, and Languages", U.N. Comp. Research Center Bratislava, 1979, 87-93 2. J. Gruska, A. Cerny, Specification of data types (in Slovak), In: Res. Report Data Types, Programs, and Algorithms. Descriptional and Computational Complexity, U.N. Comp. Research Center Bratislava, 1981, 10-39 3. A. Cerny, A Model of distributed database system, In: Res. Report Theory and Methodology of Program and Database Systems, U.N. Comp. Research Center, Bratislava, 1982, 43-55