Jozef Gruska -- Biographical Summary
Prof. Dr. Jozef Gruska DrSc,
Faculty of informatics, Masaryk University, Botanicka 68a, Brno, 60200 Czech Republik
Email: gruska@fi.muni.cz
Fax: 00420-54949 1820
Telephones (fixed ponts): our secretary (00421-54949-4268); my wife (00420-2-54773718)
PERSONAL WEBPAGE
Current major research involvments:
Research grant of ministry of education: Parallel and distributed computing (2005-2011 - principal investigator)
PhD grant: Integrated approach to parallel and distributed computing ducation (2005-2008 - principal investigator)
GACR grant: Computation, communication and security of quantum distributed systems (2007-2009 - principal investigator)
Head of the PhD school at FI MU
Recent events:
September 2007, Elected to Council of Academia Europaea
June 2007, CEQIP'07
January 2007, Chair of panel discussion at NAIST in Nara, Japan
September 2006, Talk at the ``Grand challenges of Informatics'', symposium of IS Academia Europaea in Budapest
August 2006, Invited talk at IFIP Computer World Congress in santiago de Chile
June 2006, Abdus Salam talk at 31st Nathiagali Sommer College on Physics and Contemporary needs.
May, 2006 - CEQIP'06 (Central European Quantum Information Processing) Workshop
Steering committee member
April, 2006 - Elected as Member of Academie Europaea
April, 2006 - Tutorial at WATA'06 in Leipzig
March, 2006 - Invited talk at Quantum BackAction, Kanpur
Recent book publication:
Jozef Gruska: Quantum Computing
McGraw-Hill, 439 p, June 1999
ISBN: 0 07 709503-0, out of print
For details see http://www.mcgraw-hill.co.uk/gruska
For regular (mostly twice a month) updatings and additions (more than 250
pages till February 2004), as well as for corrections, in ps-files, see
http://www.mcgraw-hill.co.uk/gruska
Japanese translation has appeared in November 2003 . Publisher
Morikita, ISBN4-627-82791-1
Jozef Gruska: Foundations of computing,
Thomson International Computer Press, 716 p.
1997. Out of print.
For details see: http://www.fi.muni.cz/usr/gruska/foundations.html.
For more details see: http:www.fi.muni.cz/usr/gruska/foundationsd.html
ISBN 1-85032-243-0
Recent conferences organizing activites
AQIS'08, conference, Seoul, August 25-30
CEQIP'08,workshop Telc, June 5-7,
AQIS'07 conferene, Kyoto, Steering committee chair
CEQIS'07 workshop, Lednice, May 4-8, see http://www.quniverse.org/ceqip
AQIS'06 conference, BeiJing, September 1-4, Steering chair, see http://lqcc.ustc.edu.cn/aqis06
CEQIS'06 workshop, Znojmo, May 4-8, see http://www.quniverse.org/ceqip
EQIS'05 conference, Tokyo, Steering committeee chair, see http://www.qci.jst.go.jp/EQIS05
EQIS'04 conference, Tokyo, Steeering committee chair, see http://www.qci.jst.go.jp/EQIS04
Bolzano award, see http://www.
Frontiers of informatics, workshop, see http://www.fi.muni.cz/frontiers03
EQIS'03, conference, see http://www.qci.jst.go.jp/EQIS03
EQIS'02, workshop, see http://www.qci.jst.go.jp/EQIS02
EQIS'01, workshop, see http://www.qci.jst.go.jp/EQIS01
Special issue of the International Journal on Foundations of Computer Science
Recent papers
- selections
Jozef Gruska: Quantum entanglement as a new quantum information
processing resource, New Generation
Computing, V21, N4, 279-296, 2003
Jozef Gruska, Hiroshi Imai and Keiji Matsumoto: Power of quantum
entanglement, co-authors H. Imai and K. Matsumoto,
in Proceedings ``Foundations of information technology in the era of
network and mobile computing'', IFIP'02 World Computer Congress, pages
3-22, Kluwer Academic Publisher, 2002
Jozef Gruska, Hiroshi Imai: Puzzles, mysteries and power of
quantum entanglement,
Proceedings of MCU'01, Cisenau, LNCS 2055, Springer-Verlag, 25-69,
2001 <\li>
Jozef Gruska: Quantum computing challenges, In ``Mathematics
unlimited: 2001
and beyond, Springer-Verlag, 529-564.
<\li>
Quantum models and modes of computation and communication.
Proceedings of RIMS Workshop, Kyoto, March 22-23, pages 76-85, 2000
<\li>
Quantumization of Informatics II, Proceedings of Sundbyholm
Slott Workshop on Learning and Quantum Computing, University
M\"alardalen, 2000, 1-12.
<\li>
Quantumization of theoretical informatics, Proceedings of IFIP
TCS2000, Springer-Verlag, LNCS 1872, 604-608, 2000.<\A>
<\li>
New challenges for theoretical computer science, Proceedings of
IFIP TCS2000, Springer-Verlag, LNCS 1872, 599-601, 2000<\A>
<\li>
Descriptional complexity issues in quantum computing, Journal of
Automata, Languages and Combinatorics, V5, N3, 191-218, 2000
<\li>
Quantumization of Informatics, Proceedings of Riga Workshop on
Quantum Computation and learning, M\"alardalen University and Riga
University, 1999, 9-32.
<\li>
Quantum challenges, Proceedings of SOFSEM'99, Springer-Verlag,
LNCS, 1523, p. 2-29, 1999.
<\li>
Some of the recent talks
2009, September 10, UC'09, Ponte Delgado, Physics and informatics as two windows to see, observe and understand our world.
2009, September 3, Sun Yat-sen university Guangzhou
2009, September 1, Sun Yat-sen university Guangzhou
2009, August 31, Sun Yat-sen university Guangzhou
2009, August 22, USTC Hefei,
2009, June 15, Foun.QI, From quantum informatics to a new perception of informatics, invited talk
2009, April 3, A new perception of informatics, Festkolloquium, Main talk, Universitaet Karlsruhe
2008, December 4, New directions and challenges in Quantum cryptography, Kryptobesiedka, Praha,
2008, October 10, Bratislava, Conference on informatics and globalisation
2008, August 25, Seoul AQIS'08, tutorial
2008, August 18, University of Waterloo, Ontario, colloquiun talk
2008, August 14, A talk at the University of Western Ontario, London, Canada
2008, June 22, talk at LIAFA, University of Paris 6
2008, March 15, talk at a miniworkshop in Baladur near Bangalor
2008, March 14, talk at Raman Research Institute, Bangalore
2008, March 11, invited talk at Bubaneswar Conference on Quantum Information
2008, March 4-6, five 90-minutes talks at the School on quantum information, Bhubaneswar
2008, March 3, talk at Chennai Mathematical Institute
2008, February 29, talk at Institute of Matematical Sciences, Chennai
2008, February 29, talk at Chennai Mathematical Institute
2008, January 7, talk ar a seminar in Fachbereich Informatik, Universit\"at Hamburg
2007, December 14, talk at seminar at IIT Kharagpur
2007, December 12, invited talk at QCQC'07 in Kharagpur, India
2007, December 6, Indian Institute for Science, Education and Research (IISER) , Chandigarh, India
2007, November 8, School on complexity, Erice, Sicily
2007, August 9, KIAS, Seoul, Korea
2007, May 23, invited talk at the conference "Algebraic methods in informatics", Thessaloniki, Greece
2007, March 25, talk at IFIP TC1 meeting in Braga in Portugal
2007, January 29, talk at ERATO-SORST project in Tokyo
2007, January 25, chair of panel ``Towards a new generation of research and education in quantum information processing'', Nara, Japan
2007, January 24, keynote talk at TQC workshop at NAIST, Nara, Japan
2006, December, 5 talks at PhD School at Uni in Tarragona
2006, December, Colloquium talk and Oberseminar at University of Hamburg
2006, September, 16. Theorietag - workshop, TU Vienna, invited talk
2006, September, Grand challenges of Informatics, Budapesti, invited talk
2006, September, Jiaotong University, Dept. of Physics, Xian, 2 talks
2006, August, Buenos Aires University, Computer Science Department
2006, August, IFIP World Computer Congress, TC1 subconference, invited talk
2006, August, Federal University of Rio de Janeiro, Dept. of Physics
2006, July COMSAT Institute of information technologies, Islamabad, 2 talks
2006, July, A talk at 31th Nathiagali Summer College on Physics and Contem
porary needs
2006, June, Abdus Salam Memorial talk at 31th Nathiagali Summer College on Physics and Contemporary needs
2006, April, WATA workshop, Leipzig, 4 hours of tutorial
2006. March, IIT Delhi
2006, March, workshop Quantum computing: BackAction, IIT Kanpur, invited talk
2005, December, Tarragona, 5 lectures on quantum automata
2005, November, Siebersdorf Research Institute seminar
2005, October, NATO ASI on Network security, Jerevan, Armenia, introductory talk + 2 other talks
2005, September, Kyoto-Sangyo University, seminar talk
2005, August, KIAS/KAIST Quantum information science, Seoul, Korea, tutorial
2005, June, invited talk, workshop ``Natural processes and models of computation'', Bologna
2005, June, Technical University, colloquium talk, Graz
2005, May, Strasburg, Steering committee meeting of AuthMathA program
2005, May, Fudan University, Shanghai
2005, May, Shanghai Forum Conference, Shanghai, Globalisation, Choises for Asia, invited talk
2005, March, Indian Institute of Technology, Delhi
2005, February, Tata Fundamental Research Institute, Mumbai
2005, February, Indian Institute of Science, Bangalore
2005, February, Raman Research Institute, Bangalore
2005, February, IBM Bangalore
2005, February, Indian Statistical Institute, Kolkata
2005, February, invited talk as ``chief guest' at QICC'05, (quantum Information Computation and Communication) Kharagpur, India
2005, February, 2 hour tutorial at QICC'05, Kharagpur
2005, February, Institute of Physics, Bhubaneswar, India
2005, February, ERATO project, Kyoto
2005, January, Kyoto-Sangyo University, Kyoto
2004, December, Jagiellonian University, Krakow
2004, November, Tarragona, 5 lectures on quantum automata
2004, September, MCU Conference, ST. Petersburg, invited talk, Universality in Quantum Information Processing
2004, September, Fujin University, Shanghai
2004, September, Fudan Universities, Shanghai, 5 lectures on advances in quantum information processing
2004, August, Invited talk and Dinner talk at KIAS-KIAST Workshop on Quantum Information
Processing, Seoul
2004, May, University of Salerno, 10 lectures on quantum computing
2004, May, Schloss Dagstuhl, Workshop on quantum informatics, Emergence of quantum informatics, invited talk
2004, May, Colloquium, University of Vienna, Challenges of quantum computational complexity
2004, May, Colloquium, University of Hamburg, Quantum information processing primitives
2004, April, ZiF, Bielefeld, Workshop on information theory and combinatorics, Universality of quantum information primitives
2004, April, Camerino, Workshop on foundations of quantum information processing, Challenges
of quantum complexity theory, invited talk
2004, April, University of Sapporo, Seminar, Primitives in quantum information processing
2004, March, ERATO, Tokyo, Seminar, Primitives in quantum information processing
Academic qualification
- 1965: PhD in Computer Science (Slovak Academy of Sciences)
Employment:
- 1997-: Full Professor of Computer Science at the Faculty of
Informatics at Masaryk University
- 1993-1997: Senior Scientist, Institute of Mathematics, Slovak Academy
of Sciences
- 1990-1993: Visiting Full Professor of Computer Science at Department of
Informatics, Hamburg University, Hamburg
- 1989-1990: Senior Scientist, Computing Centre, Slovak Academy of
Sciences, Bratislava
- 1885-1989: Senior Scientist, Institute of Technical Cybernetics,
Slovak Academy of Sciences, Bratislava
- 1974-1985: Senior Scientist, Computing Research Centre UN, Bratislava
- 1970-1974: Senior Scientist, Institute of Mathematics, Slovak Academy
of Sciences, Bratislava.
- 1968-1970: Visiting Associate Professor, University of Minnesota,
Minneapolis
- 1966-1968: Scientist, Institute of Mathematics, Slovak Academy of
Sciences, Bratislava
- 1959-1965: Assistant-Scientist, Institute of Technical Cybernetics,
Slovak Academy of Sciences.
Research interests:
Quantum information processing. Descriptional complexity (of grammars, automata and languages). Parallel
systems and automata (especially systolic systems and automata, cellular
automata). Foundations of informatics (as of a new science and
methodology).
Publication activities:
Over 130 papers, books, lecture notes and proceedings. Over 800 citations.
Visiting positions
33 long term (at least one month) visiting positions in Europe, North,
America, Africa, for the total more than 15 years (Hamburg 44 months,
Minneapolis 22 months, Nice 12 months,...)
Education activities (selected):
- Courses currently taught: Introduction to quantum computing;
Advanced quantum information theory; Coding theory, cryptography and
cryptographical protocols; Randomized algorithms; Kolmogorov
complexity; Communication and computation networks, Quantum seminar.
- Head of Informatics colloquium at Faculty of Informatics in Brno
(1997- ).
- 1966-2000 The head of the research seminar AJA (Automata, Languages and
Algorithms)
- PhD students: 10 + 4
- Courses taught: Programming, Theory of algorithms, Fortran, Automata
theory,
Computational Complexity, Design and analysis of algorithms, Program
verification, Introduction to Parallel System, Systolic Systems,
Parallel Algorithms, Cryptography, Cryptographical Protocols, Foundations
of Computing, Kolmogorov Complexity, Models of parallel computers, Advanced
complexity theory.
- Seminars headed. Concrete mathematics, History of theoretical
computer science, Systolic systems, Cellular automata, Maturing of
Informatics, Advanced subjects of Theoretical Computer Science,
Quantum information processing
- 3 basic textbooks for informatics for high schools (1978-80)
Seminars held:
Institute of Cybernetics, Kiev (1963); University of Minnesota,
Minneapolis (1969, 70, 81, 93); University of Waterloo, Waterloo
(1970,
82); Friedrich Schiller University, Jena (1975, 80); Computing
Center, Academy of Science in Novosibirsk (1977, 79, 83); Technical
University, Milan (1979); University of Rome, Rome (1979, 89);
University of Napoli, Napoli (1979); Karl-Marx University,
Rostock, GDR (1980); Humboldt University, Berlin (1980, 94), Mc Master
University, Hamilton (1981), Wayne State University, Detroit
(1981); Northwestern University, Evanston (1981); IBM Thomas
Watson Research Center, Yorktown Heights (1981); Concordia
University,Montreal (1982); University of Edmonton, Edmonton (1982)
University of Ottawa, Ottawa (1982); University of Amsterdam,
Amsterdam (1982); University of Leiden, Leiden (1982); Technical
University, Graz (1983); Technical University of Vienna, Vienna (1983,
87); Academy of Sciences, Moscow (1983); University of Hamburg
Hamburg (1984, 86, 90, 91, 92, 2 x 93, 98, 00, 01); Johann Wolfgang Goethe
University,
(1984, 1991); Technical University of Munich, Munich (1984, 86,
89); University of Osnabr\"uck, Osnabr\"uck (1984); Technical
University, Brunswick (1984, 86); Technical University Berlin
(1984), International Banach Center, Warsaw (1985); University
Paris VII, Paris (1986, 90-2x, 93-2x); University of W\"urzburg,
W\"urzburg (1986); University of Turku, of Turku (1986, 88-2x,
89); University of Helsinki, Helsinki (1986); University of Bremen,
Bremen (1986, 91); University of Saarlandes, Saarbru\"ucken (1987);
University of Warsaw, Warsaw (1987, 1993); University of Salerno,
Salerno (1988, 1989-2x, 2000, 2004 - 10x); University of Passau, Passau (1989);
University of Pisa, Pisa (1989); University of Texas, Austin
(1989); State University of New York, Binghampton (1989),
Nonlinear Study Center, Los Alamos (1989); Cornell University,
Ithaca (1989); University of Western Ontario, London (1989, 90);
Columbia University, New York (1989), University of Warwick
(1990), University of Paderborn (1991), University of Barcelona
(1991),Technical University Harburg, Hamburg (1992, 93, 95, 00, 02, 04),
University
of Karlsruhe , Karlsruhe (1992, 93, 94 4x, 95, 96 5x, 00 4x, 01, 03), 99,
University of Zimbabwe, Harare
(2 x 1992), Computer Society of Zimbabwe, Harare (1992), Osaka
Electro-Communication University, Osaka (1992), Tohoku University,
Sendai (1992), University of Bucharest (1992 2x), Ecole National
Polytechnic, Lyon (1993, 1994 4x), University of Kiel, Kiel (1993),
University
of Pennsylvania (1993), New Jersey Institute of Technology, Newark
(1993).
Technische Universit\'at Magdeburg (1993), University of
Aizu-Wakamatsu,
Japan (1993, 2000), University of Pau (1994), University of Santiago
Santiago, (1995), Technical University of Dresden (1995), University
of
Queensland, Brisbane (1996), University of South Wales, Armidale
(1996),
University of Auckland, Auckland (1996-2x), University of Melbourne
(1996), National University of Singapore (1996-2x). University of Mets
(1997), University of Nice (1997, 1999, 2001 (4x), 2003), University of
Bordeaux (1997).
George Mason University, Fairfax (1999), SZTAKI Budapest (1999),
Attila Jozef University Szeged (1999), University of Erlangen (2000),
University of Milan (2000-4x), University of Hiroshima (3x, 2000),
University of Nagoya (2000, 2001), University of Freiburg (4x, 2000),
University of Tokyo (2000), University of Kyoto (2000), ERATO Quantum
Computing Project,
Kyoto (2001,2002), ERATO Quantum Computing Project, Tokyo (2001,2002,2004), NEC
Research Institute
(Tsukuba), 2001, KIAS Seoul (10x, 2003), ZiF Bielefeld (3x 2003),
University of Dortmund (2003), University of Grenoble (2003), University of Sapporo (2004), University of Vienna (2004).
Conferences organized:
MFCS'73, MFCS'76, MFCS'81, MFCS'86,
MFCS'98,
SOFSEM 74-83, Cellular automata workshop (Schloss Dagstuhl - 1994).
ERATO Workshop in Quantum Information Science, Tokyo, 2001, Tokyo 2002, Kyoto 2003, Tokyo 2004.
Program Committees of International Conferences:
- 11th World Computer Congress IFIP'89 (San Francisco, USA), chairman of
the track "Fundamental tools".
- MFCS'75 (Marianske Lazne), MFCS'77 (Tatranska Lomnica), MFCS'78 (Zakopane), MFCS'79 (Olomouc), MFCS'80 (Rydzina), MFCS'81 (Strbske pleso), MFCS'86 (Bratislava) , MFCS'88 (Carlsbad), MFCS'89 (Porubka-Korabnik), MFCS'91,
MFCS'98 (Brno),
- FCT'83 (Bornholm, Sweden), FCT'85 (Cottbus), FCT'87 (Kazan). FCT'89 (Szeged), FCT'91 (Berlin), FCT'93 (Szeged), FCT'95 (Dresden), FCT'97 (Krakow),
FCT'99 (Iasi), FCT'01.
- ICALP'85 (Athens), ICALP'86 , ICALP'88 (Tampere), ICALP'90,
- ISMIS'88, AIICSR'89, Models of Concurrency'89 (Novosibirsk), System Informatics'91 (Novosibirsk),
- PARLE'91 (Eindhoven), PARLE'92 (Paris), PARLE'93 (Munich), PARLE'94 (Athens),
- LATIN'92 (Sao Paulo), LATIN'95 (Valparaiso (Chile), LATIN'98 Campignas (Brasil), LATIN'00 (Uruguay)
- PhysComp'96 (Boston), ISIS'96 (Melbourne), CA'96 (Workshop on cellular
automata), ICAC'97 (Honkong), CIAA,03, CIAA'04
CMU'98 (Metz (France)), MFI'99 (Hanoi), EQIS'01 (Tokyo), EQIS'02
(Tokyo), EQIS'03 (Kyoto).
Other activities (selected):
- 2007-2010 Council member of Academia europaea
- 2004- Member of the Council for information technologies of Masaryk University, Brno
- 2004-2007 Member of the editorial board of Logical methods in computer science
- 2001- Member of the editorial board of the International Journal on Foundations of Computer Science.
- 2000-2005 : Member of the Committee for National Research Centers at
Ministry of education in Czech Republik.
- 2000-2003 : Member of Czech Grant Agency Committee for Natural
Sciences.
- 2000- : Chairman of the Graduate study Committee, Faculty of
Informatics, Masaryk University, Brno
- 1998- : Member of the Scientific Council of Masaryk University
- 1996- : Member of the Scientific Council of Faculty of Informatics,
Masaryk University.
- 1994-2000 : Member of the Scientific Council of Faculty of Mathematics and
Physics, Commenius University, Bratislava
- 1998-2004 : Member of the Czech Grants Agency Committee for Mathematics and Informatics
- 1999-2008 :Member of the Accreditation Committee for Mathematics and
Informatics of the Czech Republik.
- 1989-1996: Chairman of the IFIP Specialist Group on Foundations of
Computer Science
- 1985-1991: Member of the Council of European Association of
Theoretical Computer Science
- 1999- Member of the editorial board of RAIRO
- 1995 - Member of the editorial board of Acta Cybernetics.
- 1996 - IFIP TC1 member
- 1985-1992 IFIP TC2 representative of CSSR
- 1980-1995 Member of the editorial board, Computers and
Artificial Intelligence
- 1975-1985 Chairman of theoretical section of Slovak
Cybernetics Society
- 1973-1992 Member of the editorial board, Information
Systems
- 1971-1975, 1985-91 Member of Czecho-Slovak National Committee for IFIP
- 1971-1974 Member of the Scientific Board for Mathematics,
Slovak Academy of Sciences
Selected publications:
- Foundations of Computing, Thomson International Computer Press,
1997, 730 pages
- Systolic tree and tree-like automata, Publ. Math. Debrecen, V51,
3-4, 1997, 1-48
- Succinctness of descriptions of SBTA-languages. Joint authors: A. Monti, M. Napoli, D. Parente, TCS, V179, N 1-2, 251-271, 1997.
- State complexity of SBTA languages. Joint authors: E. Fachini, M.
Napoli, D. Parente. Proceedings of LATIN'95, LNCS 911, Springer-Verlag
346-357, 1995.
- Power of Interconnections and of Nondeterminism in Regular T-tree
Systolic Automata. Joint authors: E. Fachini, M. Napoli and D. Parente.
Mathematical System Theory, V28, 245-266, 1995.
- Fix-point semantics of synchronized systems and correctness of
their basic transformations. Joint-author: I.Guessarian, Proceedings of IFIP
Congress'94, INFORMATION PROCESSING'94, 231-238
- Normal forms and nondeterminism in Y-tree systolic automata. Joint
authors: E. Fachini, M. Napoli, D. Parente, in the "Proceedings
of the second International Colloquium on Words, Languages and Combinatorics"
in Kyoto, 1992, Ed. M. Ito and H. Jurgensen, World Scientific, 143-154, Kyoto, 1994.
- Why we should not any longer only repair, polish and iron current
computer science education. Proceedings of IFIP WG3.2
Working Conference "Informatics at university level: Teaching advanced
subjects in the future", ETH Zurich, 1991, Education & Computing 8, 1993,
303-330.
- Synthesis, structure, and power of systolic computations.
Theoretical Computer Science, V71, 1990, 47-77
- Systolic trellis automata: stability, decidability and
complexity. Joint authors: K. Culik, A. Salomaa, Information and
Control, V71, N3, 1986, 218-230.
- Systolic trellis automata. Joint authors: K. Culik II, A.
Salomaa, International Journal on Computer Mathematics, 1984,
V15, 195-212, V16, 3-22.
- Systolic automata - power, characterization, nonhomogeneity.
Proceedings of MFCS'84, LNCS 176, 1984, 32-49.
- Computer revolution. joint authors: I. M. Havel,
J. Wiedermann, J. Zeleny, in "Proceedings of SOFSEM'83", VVS
Bratislava, 7-64.
- Algorithms. In Slovak , Publisher SPN, Bratislava, first
edition 1980, second edition 1982, 192 p.
- Mathematical Foundations of Computer Science. Proceedings of
MFCS'77 (editor), LNCS 53, Springer-Verlag, 1977. 605 p.
- Proving correctness of programs. In Slovak, joint-author: I. Pr\'{\i}vara, Proceedings of
Winter School SOFSEM'76, VVS Bratislava, 1976, 331-376.
- Analysis and effectivity of algorithms. In Slovak,
Proceedings of Winter School SOFSEM'75, VVS Bratislava, 1975, 33-
94.
- Code optimization techniques. In Slovak, joint-author:
J. Duplinsky), Proceedings of Winter School SOFSEM'74, VVS Bratisla-
va, 1974, 127-171.
- Descriptional complexity of context-free languages.
Proceedings of MFCS'73, High Tatras, 1973, 71-85
- A characterization of context-free languages. Journal of
Computer and System Sciences, V5, 1971, 353-363 (Reprinted in
Russian in "Kiberneticzeski sbornik", V9, Moscow, 1972, 114-126.
- Complexity and unambiguity of context-free grammars and
languages. Information and Control, V18, 1971, 502-519
- Some classification of context-free languages. Information
and Control, V14, 1969, 152-173.
- Calculation of thin-walled bars. In Slovak, joint-author:
A. Mrazik, Publishing House, Slovak Academy of Sciences, 1965,
120 p.
- Tables for determining the critical stresses of thin-walled
bars and the use of a computer for calculation. In Slovak ,joint
authors: A. Mrazik,I. Plander, Stavebnicky Casopis, V9, 1961, 461-484
Grants
- Parallel and distributed systems, MS CR, 2005-2011
- Quantum primitives and resources, GACR, 2004-2006.
- Quantum information processing, GACR, 2001-2003.
- Nnonsequential models of computing, Czech ministry of Education,
1999-2004
- Informatics as the third methodology, GACR, 1998-2000.
- Descriptional complexity, VEGA, 1995-97
- Complexity of sequential and parallel computations, VEGA, 1994-1996
Awards---selected
- 2006 --- Elected as member of Academia Europaea for Informatics
- 2004 --- Bolzano Medal of Czech Academy of Sciences, Prague
- 2003 --- Gold Medal of the Faculty of Mathematics, physics and informatics of the Commenius University, Bratislava
- 2000 --- Main award of Rector of Masaryk University for top
achievements
- 2000 --- Honorary member of the Slovak Union of Mathematicians and
Physicists
- 1999 --- Medal of the first degree of the Minister of education \v
CR;
- 1999 --- Main prize of Slovak Literary Agency
- 1998 --- Main award of Rector of Masaryk University for top
achievements;
- 1997 --- Gold Medal of Masaryk University, Brno
- 1996 --- Computer Pioneer award of IEEE (USA)
- 1995- -- IFIP Silver core award
Collections -- selected
- Nativity sets
- Easter eggs
- Bookends