Cristian S. Calude
Curriculum Vitæ 
Auckland, Mar 8, 2000 

 
 
 
 
 
 
 

1  Personal Data

             Birth Date:  21 April 1952
             Place of Birth:  Galati, Romania
             Nationality:  New Zealand and Romanian
             Sex:  Male
             Family Status: Married Elena Calude (Ph.D.), lecturer, Massey University
             One child: Andreea Simona Calude, student, Auckland University
             Residence:  2/4 Esperance Road, Glendowie, Auckland, 1005 New Zealand
             Office:  Computer Science Department
                         The University of Auckland
                         Private Bag 92019, Auckland
                         New Zealand
             Phone: +64-9-528-9184 (Residence)
                         +64-9-373-7599 extension 5751 (Office)
                         +64-21-657-184 (Cellphone)
             Fax: +64-9-373-7453
             Email: cristian@cs.auckland.ac.nz, cristian@attglobal.net
             URL: http://www.cs.auckland.ac.nz/~cristian/

2  University Education

             1976-1977: Graduate Studies in Computer Science and Mathematics
                                 Bucharest University, Romania
                                 Degree: Ph.D. in Computer Science (1977)
                                 Ph.D.Thesis: Categorical Methods in Computation Theory
                                 Supervisor: Prof. Dr. Doc. S. Marcus
             1971-1975: Undergraduate Studies in Computer Science and Mathematics
                                Bucharest University, Romania
                                Degrees: B.Sc.(Hons) in Computer Science and Mathematics (1975)
                                Computer Science Thesis: Man-Computer Communication
                                Mathematics Thesis: Contextual Metrics
                                Supervisor: Prof. Dr. Doc. S. Marcus

3  Skills

3.1  Mathematical Expertise

Algorithmic information theory, discrete and constructive mathematics, mathematical logic, computation theory, complexity theory, formal language theory, topology, coding and information theory, measure theory, modern algebra, probability theory, dynamical systems, philosophy and history of mathematics.

3.2  Computer Skills

Mathematica, HTML, LATEX, Pascal, X-windows, computer architectures (conventional: PC, Mac, UNIX; unconventional: quantum, DNA, reversible), data communication, electronic publishing, social implications of computing, history and philosophy of computing.

3.3  Languages

Primary: English, French, Romanian. Secondary: Italian.

4  Work Experience

4.1  Academic Positions

  1. Professor (Personal Chair in Computer Science), Computer Science Department, University of Auckland, Auckland, New Zealand, from April 1994 on.
  2. Adjunct Professor, Faculty of Mathematics and Informatics, ``Ovidius" University of Constanta, Romania, from November 1999 on.
  3. Adjunct Professor, Department of Foundations of Computer Science, Faculty of Mathematics, Bucharest University, Romania, from February 1994 on.
  4. Associate Professor (May 1993 to March 1994), lecturer (December 1992 to May 1993), Computer Science Department, University of Auckland, Auckland, New Zealand.
  5. Associate Professor (February 1991 to February 1994), Senior Lecturer (September 1983 to February 1991), Assistant Professor (September 1981 to September 1983), Associate Assistant Professor (September 1975 to September 1981), Department of Computer Science, Faculty of Mathematics, Bucharest University, Romania.
  6. Mathematics and Computer Science Teacher, School for Computer Science, Bucharest, Romania, from September 1975 to October 1978.

4.2  Research Positions

  1. Research Associate, University of Canterbury, Christchurch, New Zealand, from November 1999 on.
  2. Associate Member of the International Solvay Institutes, Brussels Free University, Brussels, Belgium, from June 1998 on.
  3. Director, Centre for Discrete Mathematics and Theoretical Computer Science, University of Auckland, New Zealand, from January 1998 on; co-director from May 1995 to December 1997.
  4. Head of the Symbolic Computation Division, Bucharest University, Romania, from November 1991 to December 1994.
  5. Senior Researcher and Scientific Secretary, Committee on Prospective Studies, Romanian Academy, Bucharest, Romania, from April 1989 to September 1992.
  6. Mathematics Researcher, Department of Mathematics, INCREST, Bucharest, Romania, from September 1984 to February 1985.
  7. Senior Computer Scientist, Department of Compiler Design, Research Institute for Computer Technique, Bucharest and Cluj, Romania, from September 1981 to July 1982.
  8. Senior Researcher, Project on Goals, Processes and Indicators of Development (GPID), United Nations University, Tokyo, Japan, from November 1978 to December 1983.

4.3  Visiting Positions

  1. Monbusho Visiting Professor, Japan Advanced Institute of Science and Technology, September-December, 1999.
  2. Gastprofessor, Institut für Theoretische Physik, Technischen Universität Wien, Austria, June, 1994, and May-June, 1999.
  3. Visiting Researcher, Sandia National Laboratories, Albuquerque, USA, April, 1999.
  4. Visiting Professor, Department of Computer Science, University of Western Ontario, London, Canada, Fall 1992, October-November 1993, and February-March, 1999.
  5. Visiting Professor, Department of Mathematics, University of Chicago, Chicago, USA, February, 1999.
  6. Visiting Researcher, International Solvay Institutes, Brussels Free University, Brussels, Belgium, June 1998.
  7. Visiting Researcher, Danish Mindship Foundation, Copenhagen, Denmark, June-July, 1996.
  8. Visiting Professor, Department of Mathematics, Turku University, Turku, Finland, April-May, 1991.

5  Research

5.1  Papers in Refereed Journals

  1. C. S. Calude, P. Hertling, H. Jürgensen, K. Weihrauch. Randomness on Full Shift Spaces, Chaos, Solitons & Fractals, 1 (2000), 1-13.
  2. C. S. Calude. A characterization of c.e. random reals, Theoret. Comput. Sci., in press.
  3. C. S. Calude, G. Paun, Monica Tatarâm. A glimpse into natural computing, J. Multi-Valued Logic, 2000, in press.
  4. C. S. Calude, Elena Calude, Terry Chiu, Monica Dumitrescu, R.  Nicolescu. Testing computational complementarity for Mermin automata, J. Multi-Valued Logic, 2000, in press.
  5. C. S. Calude, P. Hertling, B. Khoussainov, Y. Wang. Recursively enumerable reals and Chaitin W numbers, Theoret. Comput. Sci., in press.
  6. C. S. Calude, Elena Calude, B. Khoussainov. Finite nondeterministic automata: simulation and minimality, Theoret. Comput. Sci. 215 (1999), in press.
  7. C. S. Calude, Marjo Lipponen. Computational complementarity and shift spaces, Chaos, Solitons & Fractals 11 (2000), 315-319.
  8. C. S. Calude, G. J. Chaitin. Randomness everywhere, Nature, 400, 22 July (1999), 319-320.
  9. C. S. Calude, F. W. Meyerstein. Is the universe lawful? Chaos, Solitons & Fractals 10, 6 (1999), 1075-1084.
  10. C. S. Calude, P. H. Hertling, K. Svozil. Embedding quantum universes into classical ones, Foundations of Physics, 29, 3 (1999), 349-379.
  11. D. Bridges, C. Calude, B. Pavlov, D. Stefanescu. The inverse function theorem-a constructive approach, Chaos, Solitons & Fractals 10, 6 (1999), 927-934.
  12. C. Calude, S. Marcus, D. Stefanescu. The Creator versus its creation. From Scotus to Gödel, Collegium Logicum. Annals of the Kurt-Gödel-Society, Vol. 3, Institute of Computer Science, AS CR Prague, Vienna, 1999, 1-10.
  13. C. S. Calude, T. Zamfirescu. Most numbers obey no probability laws, Publicationes Mathematicae Debrecen, Tome 54 Supplement (1999), 619-623.
  14. C. S. Calude, J. L. Casti. Silicon, molecules, or photons? Complexity 4, 1, (1998), 13.
  15. C. S. Calude, Elena Calude, C. Stefanescu. Computational complementarity for Mealy automata, EATCS Bull. 66 (1998), 139-149.
  16. C. S. Calude, P. Hertling. Computable approximations of reals: An information-theoretic analysis, Fundamenta Informaticae  33 (1998), 1-16.
  17. C. S. Calude, J. L. Casti. Parallel thinking, Nature 392, 9 April (1998), 549-551.
  18. C. S. Calude, J. L. Casti, P. B. Gibbons, Marjo Lipponen. Unconventional models of computation: A conventional report, Complexity 3, 4 (1998), 8-11.
  19. C. S. Calude, P. H. Hertling, K. Svozil. Kochen-Specker theorem: Two geometric proofs, Tatra Mt. Math. Publ. 15 (1998), 133-142.
  20. C. Calude, T. Zamfirescu. The typical number is a lexicon, New Zealand Journal Math. 27 (1998), 7-13.
  21. C. S. Calude. A genius's story: Two books on Gödel. The life and works of a master logician, Complexity 3, 2 (1997), 1-5.
  22. C. S. Calude, A. Nies. Chaitin W numbers and strong reducibilities, J. UCS 3 (1997), 1161-1166.
  23. C. S. Calude, I. Tomescu. Optimum extendible prefix codes, J. UCS 3 (1997), 1167-1179.
  24. C. Calude, Elena Calude, B. Khoussainov. Deterministic automata: simulation, universality and minimality, Annals of Applied and Pure Logic 90, 1-3 (1997), 263-276.
  25. C. Calude, P. Hertling, B. Khoussainov. Do the zeros of Riemann's zeta-function form a random sequence? EATCS Bull. 62 (1997), 199-207.
  26. C. Calude, Elena Calude, K. Svozil, S. Yu. Physical versus computational complementarity I, International Journal of Theoretical Physics 36 (1997), 1495-1523.
  27. C. Calude, S. Yu. Language-theoretic complexity of disjunctive sequences, Discrete Appl. Mathematics 80 (1997), 199-205.
  28. C. Calude. The finite, the unbounded and the infinite, J. UCS 2 (1996), 242-244.
  29. C. Calude and C. Grozea. Kraft-Chaitin inequality revisited, J. UCS 2 (1996), 306-310. (MR 97c:68070)
  30. C. Calude. Algorithmic information theory: Open problems, J. UCS 2 (1996), 439-441. (MR 97f:68080)
  31. C. Calude, C. Câmpeanu. Are binary codings universal?, Complexity 1, 15 (1996), 47-50. (MR 97a:68086)
  32. C. Calude, M. Zimand. Effective category and measure in abstract complexity theory, Theoret. Comput. Sci. 154 (1996), 307-327. (MR 97a:68060)
  33. G. J. Chaitin, A. Arslanov, C. Calude. Program-size complexity computes the halting problem, EATCS Bull. 57 (1995), 198-200.
  34. C. Calude. What is a random string? J. UCS, Vol. 1,1 (1995), 48-66.
  35. C. Calude, M. Tataram. Three theories of computational complexity. Extended abstract, An. Univ. Iasi, Inf. 3 (1994), 45-52.
  36. C. Calude, H. Jürgensen, M. Zimand. Is independence an exception?, Appl. Math. Comput. 66 (1994), 63-76. (MR 96c:03113, Zbl 822# 03024)
  37. D. S. Bridges, C. Calude. On recursive bounds for the exceptional values in speed-up, Theoret. Comput. Sci. 132 (1994), 387-394. (MR 95f: 03059, Zbl 807#03026)
  38. C. Calude, C. Câmpeanu. Note on the topological structure of random strings, Theoret. Comput. Sci. 112 (1993), 383-390. (MR 94d: 68081, Zbl 781#68073)
  39. C. Calude, G. Istrate, M. Zimand. Recursive Baire classification and speedable functions, Z. Math. Logik Grundlang. Math. 3 (1992), 169-178. (MR 94j: 03083, Zbl 798#03042)
  40. C. Calude. Algorithmic complexity: A topological point of view, Singularité 2, 10 (1991), 28-29. [with a comment and a list of open problems due to the editor] (in French)
  41. C. Calude. Relativized topological size of sets of partial recursive functions, Theoret. Comput. Sci. 87 (1991), 347-352. (MR 92h: 03060, Zbl 814#0303)
  42. C. Calude, G. Istrate. Determining and stationary sets for some classes of partial recursive functions, Theoret. Comput. Sci. 82 (1991), 151-155. (MR 92g: 03065, Zbl 723#03024)
  43. C. Calude, Lila Sântean. On a theorem of Günter Asser, Z. Math. Logik Grundlang. Math. 36 (1990), 143-147. [with a comment by G. Asser] (MR 91h: 03049, Zbl 687#03019, 698#03031)
  44. C. Calude, Eva Kurta. On Kraft-Chaitin inequality, Rev. Roumaine Math. Pures Appl. 35 (1990), 597-604. (MR 92C: 94004, Zbl 731#68056)
  45. C. Calude, I. Chitescu. Qualitative properties of P. Martin-Löf random sequences, Boll. Unione Mat. Ital. VII, Ser. B3, 240 (1989), 229-240. (MR 91a: 68147, Zbl 674#03013)
  46. C. Calude, I. Chitescu. Upper limitation of Kolmogorov complexity and universal P. Martin-Löf tests, Journal of Computational Mathematics 1 (1989), 61-70. (MR 91a: 68147, Zbl 673#68028)
  47. C. Calude, S. Marcus. Sudan's recursive and non-primitive recursive function: a retrospective look, An. Univ. Bucuresti, Mat.-Inf. 2 (1989), 25-30. (MR 92a: 03060, Zbl 741#03020)
  48. C. Calude, I. Chitescu. Random sequences: some topological and measure-theoretical properties, An. Univ. Bucuresti, Mat.-Inf. 2 (1988), 27-32. (MR 89m: 60004, Zbl 688#60001)
  49. C. Calude, I. Chitescu. Random sequences according to P. Martin-Löf, Found. Control Engrg. 12, 3 (1987), 75-84. (MR 89e: 58059, Zbl 632#03041)
  50. C. Calude. Super-exponentials non-primitive recursive, but rudimentary, Inform. Process. Lett. 25 (1987), 311-315. (MR 88j: 03026, Zbl 632#03036)
  51. C. Calude. Note on Ehrenfeucht's conjecture and Hilbert's basis theorem, EATCS Bull. 29 (1986), 18-22.
  52. S. Buzeteanu, C. Calude. Functions having the graph in the n-th Grzegorczyk class, Found. Control Engrg. 11 (1986), 61-67. (MR 88f: 03034, Zbl 625#03020)
  53. C. Calude, I. Chitescu, L. Staiger. P. Martin-Löf tests: representability and embeddability, Rev. Roumaine Math. Pures Appl. 30 (1985), 719-732. (MR 88i: 68043, Zbl 587#03032)
  54. C. Calude, I. Chitescu. A combinatorial characterization of sequential P. Martin-Löf tests, Internat. J. Comput. Math. 17 (1985), 53-64. (Zbl 562#03020)
  55. C. Calude, M. Zimand. A relation between correctness and randomness in the computation of probabilistic algorithms, Internat. J. Comput. Math. 16 (1984), 47-53. (MR 86e: 68052, Zbl 552#68051)
  56. C. Calude, I. Chitescu. A class of universal P. Martin-Löf tests, EACTS Bull. 23 (1984), 15-22.
  57. C. Calude, I. Chitescu. Representability of recursive P. Martin-Löf tests, Kybernetika (Prague) 19 (1983), 526-536. (MR 85h: 03040, Zbl 529#03021)
  58. C. Calude. A simple non-uniform operation, EATCS Bull. 20 (1983), 40-46.
  59. C. Calude, Elena Calude. On some discrete metrics, Bull. Math. Soc. Sci. Math. R. S. Roumanie (N. S.) 27 (75) (1983), 213-216. (MR 85f: 54057, Zbl 539#54019)
  60. C. Calude, Gh. Paun. Independent instances for some undecidable problems, RAIRO Inform. Theor. 17 (1983), 49-54. (MR 85d: 03087, Zbl 517#03022)
  61. C. Calude. On a class of independent problems related to Rice theorem, ACM SIGACT News 15 (1983), 53-57. (Zbl 535#03020)
  62. C. Calude, Monica Tataram. Universal sequences of primitive recursive functions, Rev. Roumaine Math. Pures Appl. 28 (1983), 381-389. (MR 85c: 03016, Zbl 535#03017)
  63. C. Calude, I. Chitescu. On representability of P. Martin-Löf tests, Kybernetika (Prague) 19 (1983), 42-47. (MR 85h: 03040, Zbl 529#03020)
  64. C. Calude. Topological size of sets of partial recursive functions, Z. Math. Logik Grundlang. Math. 28 (1982), 455-462. (MR 85i: 03134, Zbl 495#03022)
  65. C. Calude, I. Chitescu. On Per Martin-Löf random sequences, Bull. Math. Soc. Sci. Math. R. S. Roumanie (N.S.) 26 (74) (1982), 217-221. (MR 84g: 03073, Zbl 495#03026)
  66. C. Calude, I. Chitescu. Random strings according to A. N. Kolmogorov and P. Martin-Löf. Classical approach, Found. Control Engrg. 7 (1982), 73-85. (MR 84h: 60008, Zbl 521#03024)
  67. C. Calude, I. Chitescu. Strong noncomputability of random strings, Internat. J. Comput. Math. 11 (1982), 43-45. (MR 83h: 68066, Zbl 486#03026)
  68. C. Calude. Note on a hierarchy of primitive recursive functions, Rev. Roumaine Math. Pures Appl. 27 (1982), 935-936. (MR 85b: 03065, Zbl 495#03027)
  69. C. Calude, Elena Calude. A metrical method for multicriteria decision making, St. Cerc. Mat. 34 (1982), 223-234. (in Romanian) (Zbl 523#90004)
  70. C. Calude, Gh. Paun. On the adequacy of a grammatical model of the brain,  Rev. Roumaine Ling. 27 (1982), 343-351. (Romanian Contributions to the XIII-th International Congress of Linguistics, Tokyo, 1982, Section Linguistics and the Computer)
  71. M. Andrasiu, C. Calude, Gh. Paun. Possibilities of multicriteria decision making, St. Cerc. Mat. 34 (1982), 87-103. (in Romanian) (Zbl 505#90004)
  72. C. Calude, V. Vieru. An iterative normal form for the partial recursive functions, Found. Control Engrg. 6 (1981), 133-144. (MR 85b: 03064, Zbl 503#68034)
  73. C. Calude, Gh. Paun. Global syntax and semantics for recursively enumerable languages, Fund. Inform. 4 (1981), 245-254. (MR 83h: 68133, Zbl 473#68068)
  74. C. Calude. Darboux property and primitive recursive functions, Rev. Roumaine Math. Pures Appl. 26 (1981), 1187-1192. (MR 84h: 03100, Zbl 481#03028)
  75. C. Calude, V. Vieru. A note on Knuth's iterated powers, An. Stiin. Univ. ``Alex.I.Cuza'', Iasi, Sect. I Mat. 27 (1981), 253-255. (MR 84m: 03062, Zbl 473#03035)
  76. C. Calude, Elena Calude. On the ``rationality'' of Onicescu's method for multicriteria making, Rev. de Statistica 30 (1981), 58-60. (in Romanian)
  77. C. Calude, S. Marcus. Man-computer communication, Rev. Roumaine Ling. 26 (1981), 103-112.
  78. C. Calude, Gh. Paun. The absence of contextual ambiguities in programming languages, Rev. Roumaine Ling. Cahiers Ling. Theor. Appl. 18 (1981), 91-110.
  79. M. Andrasiu, C. Calude, Gh. Paun. Some extensions of the multicriteria decision problem, Rev. de Statistica 29 (1980), 43-49. (in Romanian)
  80. C. Calude, S. Marcus, I. Tevy. Recursive properties of Sudan function, Rev. Roumaine Math. Pures Appl. 25 (1980), 503-507. (MR 81f: 03053, Zbl 444#03021)
  81. C. Calude, S. Marcus, I. Tevy. The first example of a recursive function which is not primitive recursive, Historia Math. 9 (1979), 380-384. (MR 80i: 03053, Zbl 426#03042)
  82. C. Calude, V. E. Cazanescu. On topologies generated by Moisil resemblance relations, Discrete Math. 25 (1979), 109-115. (MR 80i: 54003, Zbl 412#54010)
  83. C. Calude, S. Marcus, Gh. Paun. The universal grammar as a hypothetical brain, Rev. Roumaine Ling. 27 (1979), 479-489.
  84. C. Calude. Categorical methods in computability theory II, St. Cerc. Mat. 30 (1978), 361-383. (in Romanian) (MR 80m: 03110a, Zbl 405#03025)
  85. C. Calude. Categorical methods in computability theory I, St. Cerc. Mat. 30 (1978), 253-277. (in Romanian) (MR 80m: 03110b, Zbl 381#03028)
  86. C. Calude, Brândusa Fântâneanu. On recursive, non-primitive recursive functions, Bull. Math. Soc. Sci. Math. R. S. Roumanie 22 (1978), 255-258. (MR 80b: 03052, Zbl 399#03025)
  87. C. Calude. On the category of recursive languages, Mathematica (Cluj) 19 (42), (1978), 29-32. (MR 80b: 03056, Zbl 384#03029)
  88. C. Calude. A grammatical construction of Gödel numberings, C. R. Acad. Sci. Paris Ser. I Math. 284 (1977), 525-526. (in French) (MR 55#87, Zbl 347#02026)
  89. C. Calude. On the compatibility between the analytic and generative hierarchies of formal languages, Rev. Roumaine Math. Pures Appl. 22 (1977), 437-439. (MR 56#7334, Zbl 358#68105)
  90. C. Calude. On some topological properties of semilattice ordered semigroups, Bull. Math. Soc. Sci. Math. R. S. Roumanie 19 (1976), 3-10. (MR 56#15523, Zbl 347#06020)
  91. C. Calude. An axiomatics for a deontic logic with an infinity of truth values, Rev. Roumaine Math. Pures Appl. 21 (1976), 267-273. (in French) (MR 53#7728, Zbl 347#02019)
  92. C. Calude. On the metrizability of a free monoid, Discrete Math. 16, 19 (1976), 307-310. (MR 58#22347, Zbl 337#68053)
  93. C. Calude. On contextual distances in mathematical linguistics, St. Cerc. Mat. 28 (1976), 31-35. (in Romanian) (MR 53#12092, Zbl 339#68050)
  94. C. Calude. Some arguments against the formal character of programming languages, Rev. Roumaine Ling.-Cahiers Ling. Theor. Appl. 13 (1976), 257-264. (in French)
  95. C. Calude, S. Marcus, I. Tevy. On recursive functions which are not recursive primitive, Rev. Roumaine Sci. Soc., Sér. Phil.-Logique 19 (1975), 185-188. (in French)
  96. C. Calude. A statistical experiment in Assembler 360, Cahiers Ling. Theor. Appl. 11 (1974), 219-230. (in French)
  97. C. Calude. On a class of distances in a free semigroup, Bull. Math. Soc. Sci. Math. R. S. Roumanie 17 (65) (1973), 133-143. (in French) (MR 51#7372, Zbl 302#68096)
  98. C. Calude. On some morphological aspects of the language Assembler 360, Cahiers Ling. Theor. Appl. 10 (1973), 153-162. (in French) (Zbl 281#68032)

5.2  Papers in Refereed Proceedings or Collections

  1. C.S. Calude, Elena Calude, K. Svozil. Computational complementarity for probabilistic automata, in C. Vide, V. Mitrana (eds.). Words, Sequences, Languages: Where Computer Science, Biology and Linguistics Meet, Kluwer, Dordrecht, 2000 (in press).
  2. C.S. Calude, H. Jürgensen, S. Legg. Solving finitely refutable mathematical problems, in C. S. Calude, G. Paun (eds.). Finite Versus Infinite. Contributions to an Eternal Dilemma, Springer-Verlag, London, 2000, 39-52.
  3. C.S. Calude. A characterization of c.e. random reals, in J. Dassow, D. Wotschke (eds.) International Workshop on Descriptional Complexity of Automata, Grammars and Related Structures (DCAGRS'99), Preproc., 20-23 July, Magdeburg, Germany, 1999, 89-98.
  4. C.S. Calude, K. Salomaa, S. Yu. Metric lexical analysis, in O. Boldt, H. Jürgensen, L. Robbins (eds.) Workshop on Implementing Automata'99 (WIA'99), Preproc., 17-19 July, 1999, Potsdam, Universtität Potsdam, Institut für Informatik, Germany, 1999, VI-1-12.
  5. C.S. Calude, Elena Calude, K. Svozil. Quantum correlations conundrum: An automaton-theoretic approach, in G. Paun (ed.) Recent Topics in Mathematical and Computational Linguistics, Romanian Academy Publishing Company, Bucharest, 2000, in press. Prepublication in O. Boldt, H. Jürgensen, L. Robbins (eds.) Workshop on Implementing Automata'99 (WIA'99), Preproc., 17-19 July, 1999, Potsdam, Universtität Potsdam, Institut für Informatik, Germany, VII-1-12.
  6. C.S. Calude and Elena Calude. Bisimulations and behaviour of nondeterministic automata, in W. Thomas (ed.) DLT'99, Developments of Formal Languages, Fourth International Conference, Preproc., 6-9 July, 1999 Aachen, Germany, Aachener Informatik-Berichte 99-5, 129-139.
  7. C. S. Calude, R. J. Coles. Program-size complexity of initial segments and domination relation reducibility, in J. Karhumäki, H. A. Maurer, G. Paun, G. Rozenberg (eds.). Jewels Are Forever, Springer-Verlag, Berlin, 1999, 225-237. (invited)
  8. C. S. Calude. A glimpse into algorithmic information theory, Proceedings of the Third International Conference on Information-Theoretic Approaches to Logic, Language, and Computation, CSLI Series, Cambridge University Press, Cambridge, 1999. (in press) (invited)
  9. C. S. Calude, R. Coles, P. H. Hertling and B. Khoussainov. Degree-theoretic aspects of computably enumerable reals, in S. B. Cooper, J. K. Truss (eds.). Models and Computability, Cambridge University Press, Cambridge, 1999, 23-39.
  10. C. S. Calude, P. H. Hertling. Computable approximations of reals: An information-theoretic analysis, Extended abstract, Third International Conference on Information-Theoretic Approaches to Logic, Language, and Computation, Hsi-tou, Taiwan, The Centre for Research in Cognitive Science & Department of Psychology, National Chung Cheng University, Chiayi, 1998, 29-38.
  11. C. S. Calude, Marjo Lipponen. Computational complementarity and sofic shifts, in X. Lin (ed.). Theory of Computing 98, Proceedings of the 4th Australasian Theory Symposium, CATS'98, Springer-Verlag, Singapore, 1998, 277-290.
  12. C. S. Calude, P. Hertling, B. Khoussainov, Y. Wang. Recursively enumerable reals and Chaitin W numbers, in M. Morvan, C. Meinel, D. Krob (eds.).

  13.  

     

    STACS'98, Proceedings of the 15th Annual Symposium on Theoretical Aspects of Computer Science, Paris, 1998, Lectures Notes in Computer Science 1373, Springer-Verlag, Berlin, 1998, 596-606.

  14. C. Calude. Computability and information, in E. Craig (ed.). Routledge Encyclopedia of Philosophy, Routledge, London, Vol. 2 (1998), 477-482. (invited)
  15. C. Calude, Elena Calude, B. Khoussainov. Deterministic automata: simulation, universality and minimality, Extended abstract, in S. Bozapalidis (ed.). Proceedings of the 3rd International Conference ``Developments in Language Theory'', Aristotel University of Thessaloniki, Thessaloniki, Greece, 1997, 519-520.
  16. C. Calude, J. Hromkovic. Complexity: A language-theoretic point of view, in G. Rozenberg, A. Salomaa (eds.). Handbook of Formal Languages, Vol. II, Springer-Verlag, Berlin, 1997, 1-60. (invited)
  17. C. Calude, H. Maurer, A. Salomaa. The Journal of Universal Computer Science and its applications to teaching, in G. Kadunz, H. Kautschitsch, G. Ossinmitz, E. Schneider (eds.). Trends und Perspectiven,\ Beiträge Zum 7. Internationalen Symposium Zur ``Didaktik der\ Mathematik'', Klagenfurt, 26-30 September 1994, Verlag Hölder-Pichler-Tempsky, Vienna, 1996, 255-261. (invited)
  18. C. Calude, S. Yu. Language-theoretic complexity of disjunctive sequences, in M. E. Houle, P. Eades (eds.), Proceedings CATS'96 (Computing: the Australian Theory Seminar), Melbourne, Australia, 29-39 January 1996, 175-179.
  19. C. Calude, M. Zimand. Effective category and measure in abstract complexity theory-extended abstract, Proceedings FCT'95, Lectures Notes in Computer Science 965, Springer-Verlag, Berlin, 1995, 156-171.
  20. C. Calude. What is a random string?-Extended Abstract, in W. Depauli-Schimanovich, E. Koehler, F. Stadler (eds.). The Foundational Debate, Complexity and Constructivity in Mathematics and Physics, Kluwer, Dordrecht, 1995, 101-113. (invited)
  21. C. Calude, D. I. Campbell, K. Svozil, D. Stefanescu. Strong determinism vs. computability, in W. Depauli-Schimanovich, E. Koehler, F. Stadler (eds.). The Foundational Debate, Complexity and Constructivity in Mathematics and Physics, Kluwer, Dordrecht, 1995, 115-131.
  22. C. Calude, H. Maurer. Pocket mathematics, in Gh. Paun (ed.). Mathematical Aspects of Natural and Formal Languages, Scientific World, Singapore, 1994, 13-41. (invited)
  23. C. Calude, H. Jürgensen. Randomness as an invariant for number representations, in H. Maurer, J. Karhumäki, G. Rozenberg (eds.). Results and Trends in Theoretical Computer Science, Springer-Verlag, Berlin, 1994, 44-66. (Zbl 950 # 22464)  (invited)
  24. C. Calude, A. Salomaa. Algorithmically coding the universe, in G. Rozenberg, A. Salomaa (eds.). Developments in Language Theory, World Scientific, Singapore, 1994, 472-492.
  25. C. Calude. Borel normality and algorithmic randomness, in G. Rozenberg, A. Salomaa (eds.). Developments in Language Theory, World Scientific, Singapore, 1994, 113-129. (invited)
  26. C. Calude, I. Chitescu. Complexity-source of randomness, Modern Problems in Mathematical Research, Vol.1, Bucharest University, Bucharest, 1990, 165-202. Also in C. Calude (ed.). How to Cope with Complexity, Ed. Academiei, Bucharest, 1993, 34-57. (in Romanian)
  27. C. Calude. Meanings and texts: An algorithmic metaphor, in M. Balat, J. Deledalle-Rhodes (eds.). Signs of Humanity, Mouton de Gruyter, 1992, 95-97.
  28. C. Calude. On B. Russell definition of mathematics, Proc. National Symposium Info-Iasi'89, 52-59. (in Romanian) (invited)
  29. C. Calude, D. Vaida. Ehrenfeucht test set theorem and Hilbert basis theorem: a constructive glimpse, in A. Kreczmar, G. Mirkowska (eds.), Proc. Symposium Math. Found. Computer Sci. 1989, Lecture Notes Comput. Sci., 379, Springer-Verlag, Berlin, 1989, 177-184. (MR 90m: 68009, Zbl 732#03043)
  30. C. Calude, D. Vaida. Languages, effectivity and constructive mathematics, Proc. Second National Colloquium on Languages, Logic and Mathematical Linguistics, Brasov, 1988, 47-57. (MR 90g: 03061, Zbl 667#03036)
  31. C. Calude. Romanian results in recursive function theory: 1927-1987, Proc. Computer Center Anniversary Symposium, Bucharest University, 1987, 16-22. (in Romanian) (invited)
  32. C. Calude, D. Vaida. Ehrenfeucht's property and constructivity, Proc. National Symposium Info-Iasi'87, 1-16. (in Romanian) (invited0
  33. C. Calude, I. Chitescu, L. Staiger. P. Martin-Löf tests: representability and embeddability, Proc. National Symposium Info-Iasi'85, Vol.I, 80-88. (in Romanian) (invited)
  34. C. Calude. Dilemmas of computational complexity, in C. Iacob (ed.). Mathematics, Today and Tomorrow, Ed. Academiei, Bucharest, 1985, 63-73. (in Romanian) (invited)
  35. C. Calude, I. Chitescu. On a (too) general theory of random sequences, in M. G. Demetrescu, M. Iosifescu (eds.). Studies in Probability Theory and Related Topics, Papers in Honour of Octav Onicescu on His 90th Birthday, Nagard Publisher, 1983, 65-69. (MR 85m: 0005, Zbl 562#03021) (invited)
  36. C. Calude. On a class of independent problems related to Rice's theorem, Proc. National Symposium Info-Iasi'83, 29-32. (in Romanian)
  37. C. Calude, Gh. Paun. On the adequacy of a grammatical model of the brain, in M. Draganescu (ed.). Artificial Intelligence and Robotics, Ed. Academiei, Bucharest, 1983, 45-50. (in Romanian)
  38. C. Calude, Gh. Paun. The absence of contextual ambiguities in the programming languages Fortran and Assiris, in S. Marcus(ed.). Contextual Ambiguities in Natural and Artificial Languages, Vol. 2, Ghent, Belgium, 1983, 57-76.
  39. C. Calude, S. Marcus, Gh. Paun. Empirical Information and Theoretical Constructs in the Study of Needs II, in S. Marcus (ed.). Mathematical Methods in the Development Problematique, Ed. Academiei, Bucharest, 1982, 39-59. (in Romanian) (MR 83k: 92005)
  40. C. Calude, I. Chitescu. On Per Martin-Löf random sequences, Proc. National Symposium Info-Iasi'81, 1-5. (in Romanian)
  41. C. Calude, V. Vieru. Knuth test on compiler efficiency, Proc. 4th International Conference on Control Systems and Computer Science, Bucharest, Politechnical Institute, Vol. IV, 1981, 113-115.
  42. C. Calude, Gh. Paun. An argument for the formal character of the programming language Fortran, in P. Miclau, S. Marcus (eds.). Sémiotique Roumaine, Bucharest University, 1981, 61-72.
  43. C. Calude, Mihaela Malita, On the category of Cech topological spaces, in A. Czaszar(ed.). Topology, Vol. I, North-Holland, Amsterdam, l980, 225-232. (MR 82e: 54012, Zbl 444#54001)
  44. C. Calude, S. Marcus, Gh. Paun. The universal grammar as a hypothetical brain, Proc. Intern. Symposium on Mathematics in System Theory, Brasov, 1978, 93-114. (Zbl 457#68093)
  45. C. Calude, Const. Calude. Mathematical modeling and systemic approach in juridical sciences, in M. Malita (ed.). Systems in Social Sciences, Ed. Academiei, Bucharest, 1977, 105-109. (in Romanian)
  46. C. Calude. Pompeiu's distance between closed sets, Symposium on Geometry and Global Analysis, Bucharest, 1973, Ed. Academiei, Bucharest, 281-288. (in Romanian) (MR 58#10123, Zbl 397#54015)
  47. C. Calude. Semiotic analysis of a morphological experiment in a programming language, in S. Chatman, U. Eco, J. M. Klinkenberg (eds.). Approaches to Semiotics, Proc. of the First Congress IAS, 1973, Mouton, The Hague, 1979, 433-436. (in French)

5.3  Books

  1. C. S. Calude, G. Paun. Computing with Cells and Atoms, Taylor & Francis Publishers, London, 2000. (in progress)
  2. C. S. Calude. Constructive Mathematics, Ed. stiintifica, Bucharest, 1995, 123 pp. (in Romanian)
  3. C. Calude. Information and Randomness - An Algorithmic Perspective, EATCS Monographs in Theoretical Computer Science 1, Springer-Verlag, Berlin, Heidelberg, New York, London, Paris, Tokyo, Hong Kong, Barcelona, Budapest, 1994, 254 pp. (MR 96d: 68103, Zbl 950# 09877)
  4. C. Calude. Theories of Computational Complexity, Annals of Discrete Mathematics 35, North-Holland, Amsterdam, New York, Oxford, Tokyo, 1988, 500 pp. (MR 89g: 03057, Zbl 633#03034)
  5. C. Calude. Computational Complexity. Qualitative Aspects, Ed. stiintifica si enciclopedica, Bucharest, 1982, 300 pp. (in Romanian) (Zbl 619#03029)
  6. C. Calude. True, but Unprovable, Ed. stiintifica si enciclopedica, Bucharest, 1988, 110 pp. (in Romanian) (Zbl 654#03001)
  7. C. Calude, Gh. Paun. The Mathematical Model: Tool and Viewpoint, Ed. stiintifica si enciclopedica, Bucharest, 1982, 140 pp. (in Romanian)
  8. C. Calude. What Are the Programming Languages?, Ed. stiintifica si enciclopedica, Bucharest, 1978, 100 pp. (in Romanian)

5.4  Proceedings Editor

  1. C. S. Calude, G. Paun (eds.). Finite Versus Infinite. Contributions to an Eternal Dilemma, Springer-Verlag, London, 2000, x+371 pp.
  2. C. S. Calude, G. Stefanescu (eds.). Automata, Logic, and Computability. Special issue dedicated to Professor Sergiu Rudeanu Festschrift. J. UCS 6, 1 (2000), 225 pp.
  3. C. S. Calude, M. Dinneen (eds.). Combinatorics, Computation, Logic, Proceedings of DMTCS'99-CATS'99, Springer-Verlag, Singapore, 1999, 368 pp.
  4. C. Calude, H. Maurer, A. Salomaa (eds.), J.UCS-The Journal of Universal Computer Science, Vol. 3-1998, Springer, Berlin, 1998, 1417 pp.
  5. C. S. Calude, J. L. Casti (eds.). Unconventional Models of Computation, Complexity, Vol. 4, 1, (1998), 13-42. (special issue)
  6. C. S. Calude (ed.). People and Ideas in Theoretical Computer Science, Springer-Verlag, Singapore, 1998, 341 pp.
  7. C. Calude, H. Maurer, A. Salomaa (eds.), J.UCS-The Journal of Universal Computer Science, Vol. 2-1996, Springer, Berlin, 1998, 860 pp.
  8. C. S. Calude, J. Casti, M. Dinneen (eds.). Unconventional Models of Computation, Springer-Verlag, Singapore, 1998, 416 pp.
  9. D. S. Bridges, C. S. Calude, M. Dinneen, B. Khoussainov (eds.). Proceedings of the First Japan-New Zealand Workshop on ``Logic in Computer Science'', J. UCS 3 (1997), 1134-1281. (special issue)
  10. C. Calude, H. Maurer, A. Salomaa (eds.). J.UCS-The Journal of Universal Computer Science, Vol. 1-1995, Springer, Berlin, 1996, 832 pp.
  11. D. S. Bridges, C. S. Calude, J. Gibbons, S. Reeves, I. Witten (eds.). Combinatorics, Complexity, Logic, Proceedings of DMTCS'96, Springer-Verlag, Singapore, 1996, 422 pp.
  12. C. Calude (ed.) The Finite, the Unbounded and the Infinite, Proceedings of the Summer School ``Chaitin Complexity and Applications'', Mangalia, Romania, 27 June - 6 July, 1995, J. UCS 2 (1996), 242-441. (special issue)
  13. C. Calude, M. J. J. Lennon, H. Maurer (eds.). Salodays in Auckland, Proceedings, Auckland University, Auckland, 1994, 115 pp.
  14. C. Calude (ed.). How to Cope with Complexity, Ed. Academiei, Bucharest, 1993, 232 pp. (in Romanian)
  15. A. Atanasiu, C. Calude (eds.). Salodays in Theoretical Computer Science, Hyperion XXI Press, Bucharest, 1993, 150 pp.
  16. C. Calude, D. Chitoran, M. Malita (eds.). New Information Technologies in Higher Education. Studies on the Introduction of New Information Technologies in Higher Education in the European Region, CEPES-UNESCO, Bucharest, 1989, 339 pp.
  17. C. Calude, I. Tomescu (eds.). Scientific Papers Published by the Mathematics Faculty Staff, Bucharest University, 1988, 474 pp. (in Romanian)
  18. C. Calude, C. Nastasescu (eds.). Scientific Papers Published by the Mathematics Faculty Staff, Bucharest University, 1984, 418 pp. (in Romanian)

5.5  Research Reports

  1. C. S. Calude, G. Paun, Monica Tatarâm. A Glimpse into Natural Computing, CDMTCS Research Report 117, 1999, 21 pp.
  2. C. S. Calude, H. Ishihara, T. Yamaguchi. Minimal Programs Are Almost Optimal, CDMTCS Research Report 116, 1999, 7 pp.
  3. C. S. Calude, Chaitin W Numbers, Solovay Machines and Incompleteness, CDMTCS Research Report 114, 1999, 10 pp.
  4. C. S. Calude, Elena Calude, Terry Chiu, Monica Dumitrescu, R.  Nicolescu. Testing Computational Complementarity for Mermin Automata, CDMTCS Research Report 109, 1999, 13 pp.
  5. D.S. Bridges, C.S. Calude, L.S. Dediu (eds.). Constructivity, Complexity, and Fuzziness (CCF '99), CDMTCS Research Report 108, 1999, 14 pp.
  6. C.S. Calude,, M. J. Dinneen, K. Svozil. Counterfactual Effect, the Halting Problem, and the Busy Beaver Function (Preliminary Version), CDMTCS Research Report 107, 1999, 8 pp.
  7. C.S. Calude, Elena Calude, K. Svozil. Quantum Correlations Conundrum: An Automaton-Theoretic Approach, CDMTCS Research Report 106, 1999, 11 pp.
  8. C.S. Calude, P. Hertling, H. Jürgensen, K. Weihrauch. Randomness on Full Shift Spaces, CDMTCS Research Report 100, 1999, 17 pp.
  9. C.S. Calude, K. Salomaa, S. Yu. Metric Lexical Analysis, CDMTCS Research Report 099, 1999, 15 pp.
  10. C. S. Calude. A Characterization of C.E. Random Reals, CDMTCS Research Report 095, 1999, 12 pp.
  11. C. S. Calude, R. J. Coles. On a Theorem of Solovay, CDMTCS Research Report 094, 1999, 14 pp.
  12. C.S. Calude. A Glimpse into Algorithmic Information Theory, CDMTCS Research Report 093, 1999, 14 pp.
  13. C.S. Calude and Elena Calude. Bisimulations and Behaviour of Nondeterministic Automata, CDMTCS Research Report 092, 1999, 9 pp.
  14. C.S. Calude, R. Coles, P.H. Hertling and B. Khoussainov. Degree-Theoretic Aspects of Computably Enumerable Reals, CDMTCS Research Report 090, 1998, 22 pp.
  15. C. S. Calude, W. Merkle, Y. Wang, A Note on Pseudorandom Generators, CDMTCS Research Report 086, 1998, 8 pp.
  16. C. S. Calude, M. J. Dinneen. Breaking the Turing Barrier, CDMTCS Research Report 084, 1998, 5 pp.
  17. C. S. Calude, Elena Calude, C. Stefanescu. Computational Complementarity for Mealy Automata, CDMTCS Research Report 083, 1998, 12 pp.
  18. C. S. Calude, News from New Zealand (15); M. J. Dinneen. Group-Theoretic Methods for Designing Networks, CDMTCS Research Report 082, 1998, 8 pp.
  19. C. S. Calude and P.H. Hertling. Computable Approximations of Reals: An Information-Theoretic Analysis, CDMTCS Research Report 074, 1997, 10 pp.
  20. C. S. Calude and A. Nies. Chaitin W Numbers and Strong Reducibilities, CDMTCS Research Report 062, 1997, 8 pp.
  21. C. S. Calude, L. Priese and L. Staiger. Disjunctive Sequences: An Overview, CDMTCS Research Report 063, 1997, 40 pp.
  22. C. S. Calude, P. Hertling, B. Khoussainov, Y. Wang. Recursively Enumerable Reals and Chaitin W Numbers, CDMTCS Research Report 055, 1997, 22 pp.
  23. C. S. Calude, Elena Calude, B. Khoussainov. Finite Nondeterministic Automata: Simulation and Minimality, CDMTCS Research Report 054, 1997, 18 pp.
  24. C. S. Calude and Marjo Lipponen. Computational Complementarity and Sofic Shifts, CDMTCS Research Report 053, 1997, 13 pp.
  25. C. S. Calude. A Genius' story: Two books on Gödel, CDMTCS Research Report 039, 1997, 8 pp.
  26. C. S. Calude, P. H. Hertling, K. Svozil. Embedding Quantum Universes into Classical Ones, CDMTCS Research Report 036, 1997, 24 pp.
  27. C. S. Calude, P. H. Hertling, B. Khoussainov. Do the Zeros of Riemann's Zeta-Function Form a Random Sequence?, CDMTCS Research Report 032, 1997, 8 pp.
  28. C. Calude, Elena Calude, B. Khoussainov. Deterministic Automata: Simulation, Universality and Minimality, CDMTCS Research Report 025, 1996, 8 pp.
  29. C. Calude, F. W. Meyerstein. Is the Universe Lawful?, CDMTCS Research Report 021, 1996, 10 pp.
  30. C. Calude, Elena Calude, K. Svozil, S. Yu. Physical versus Computational Complementarity I, CDMTCS Research Report 015, 1996, 24 pp.
  31. C. Calude. Algorithmic Information Theory: Open Problems, CDMTCS Research Report 014, 1996, 3 pp.
  32. C. Calude and C. Grozea. Kraft-Chaitin Inequality Revisited, CDMTCS Research Report 013, 1996, 5 pp.
  33. C. Calude, J. Hromkovic, Complexity: A Language-Theoretic Point of View, CDMTCS Research Report 009, 1995, 47 pp.
  34. G. J. Chaitin, A. Arslanov, C. Calude. Program-Size Complexity Computes the Halting Problem, Technical Report No 125, 1995, Department of Computer Science, University of Auckland, New Zealand, 3 pp. Also, CDMTCS Research Report 008, 1995.
  35. C. Calude, S. Yu. Language-Theoretic Complexity of Disjunctive Sequences, Technical Report No 119, 1995, Department of Computer Science, University of Auckland, New Zealand, 8 pp. Also, CDMTCS Research Report 007, 1995.
  36. C. Calude, I. Tomescu. Optimum Extendible Prefix Codes, Technical Report No 114, 1995, Department of Computer Science, University of Auckland, New Zealand, 13 pp.
  37. C. Calude, T. Zamfirescu. The Typical Number is a Lexicon, Technical Report No 113, 1995, Department of Computer Science, University of Auckland, New Zealand, 6 pp.
  38. C. Calude, T. Zamfirescu. Most Numbers Obey No Probability Laws, Technical Report No 112, 1995, Department of Computer Science, University of Auckland, New Zealand, 4 pp.
  39. C. Calude, S. Marcus, D. Stefanescu. The Creator Versus Its Creation. A Mathematical Exercise, Technical Report No 107, 1995, Department of Computer Science, University of Auckland, New Zealand, 11 pp.
  40. C. Calude, D. I. Campbell, K. Svozil, D. Stefanescu. Strong Determinism vs. Computability, Technical Report No 105, 1995, Department of Computer Science, University of Auckland, New Zealand, 14 pp.
  41. C. Calude, H. Jürgensen. Randomness and Coding, Report No. 437, 1994, Department of Computer Science, University of Western Ontario, London, Canada, 5 pp.
  42. C. Calude, I. Chitescu. Probabilities on the Space of Sequences, Technical Report No 103, 1994, Computer Science Department, University of Auckland, New Zealand, 10 pp.
  43. C. Calude, M. Zimand. Effective Category and Measure in Abstract Complexity Theory, Technical Report 529, Department of Computer Science, University of Rochester, Rochester, NY, 1994, 17 pp.
  44. C. Calude, C. Câmpeanu. Are Binary Codings Universal? Technical Report No 98, 1994, Computer Science Department, University of Auckland, New Zealand, 11 pp.
  45. C. Calude. Computability and Information, Technical Report No 96, 1994, Computer Science Department, University of Auckland, New Zealand, 13 pp.
  46. C. Calude, H. Maurer. Pocket Mathematics, Technical Report No 90, 1994, Computer Science Department, University of Auckland, New Zealand, 28 pp.
  47. C. Calude, H. Maurer, A. Salomaa. JUCS: The Journal of Universal Computer Science and Its Applications to Science and Engineering Technology, Technical Report No 91, 1994, Computer Science Department, University of Auckland, New Zealand, 10 pp.
  48. C. Calude, M. Zimand. Baire Category Classification in Abstract Complexity Theory, Technical Report No 84, 1993, Computer Science Department, University of Auckland, New Zealand, 18 pp.
  49. C. Calude. The Definition of Random Strings, Technical Report No 83, 1993, Computer Science Department, University of Auckland, New Zealand, 18 pp.
  50. C. Calude, A. Salomaa. Algorithmically Coding the Universe, Technical Report No 81, 1993, Computer Science Department, University of Auckland, New Zealand, 21 pp.
  51. D. S. Bridges, C. Calude. On Recursive Bounds for the Exceptional Values in Speed-up, Technical Report 93-78, 1993, Cornell University, Mathematical Sciences Institute, Ithaca, USA, 8 pp.
  52. C. Calude, H. Jürgensen. Randomness as an Invariant for Number Representations, Report No. 339, 1993, Department of Computer Science, University of Western Ontario, London, Canada, 15 pp.
  53. C. Calude. Borel Normality and Algorithmic Randomness, Report No. 347, 1992, Department of Computer Science, University of Western Ontario, London, Canada; revised form: Report No 66, 1993, Computer Science Department, University of Auckland, New Zealand, 19 pp. [with a comment by G. J. Chaitin]
  54. C. Calude, H. Jürgensen, M. Zimand. The Set of Independent Statements Is Topologically Large, Report No. 338, 1992, Department of Computer Science, University of Western Ontario, London, Canada, 11 pp.
  55. C. Calude, S. Marcus, Gh. Paun. Algorithmic Procedures and Operational Characterizations for Need Sets, in Mathematical Paths in the Study of Human Needs, HSDRGPID-46/UNUP-160, United Nations University, Tokyo, 1980, 4-31.
  56. C. Calude, S. Marcus, Gh. Paun. The Universal Grammar as a Hypothetical Brain, RS - Bucharest University, 1980, 25 pp.
  57. C. Calude, S. Marcus, Gh. Paun. Empirical Information and Theoretical Constructs in the Study of Needs II. Effective Use of Need Sets; Applications to Medical Needs, RS - Bucharest University, 1979, 34 pp.

5.6  Refereed Abstracts

  1. C.S. Calude. Computable enumerable reals, in D. Bainov (ed.). Abstracts of the Eighth International Colloquium on Numerical Analysis and Computer Science with Applications, Plovdiv, Bulgaria, August 1999, 30.
  2. C. S. Calude, Elena Calude, C. Stefanescu. Computational complementarity for Mealy automata, Extended abstract, An. Univ. Bucuresti, Mat.-Inf. 47 (1998), 35-39.
  3. C. Calude, Elena Calude, B. Khoussainov, Marjo Lipponen. From complete to incomplete automata: Simulation, universality and minimality, Philfest'97, Australasian Association for Logic 1997 Annual Conference,, Auckland, July 1997, Bull. Symbolic Logic, 4, 4 (1998), 460.
  4. C. Calude. Do zeros of Riemann's zeta function form a random sequence?, in Ker-I Ko, A. Nerode, K. Weihrauch (eds.), Computability and Complexity in Analysis, Dagstuhl Seminar Report 176 (9717), April, 1997, 3.
  5. C. Calude, Elena Calude, B. Khoussainov. Deterministic automata: simulation, universality and minimality, Proceedings of the 3rd International Conference ``Developments in Language Theory, Thessaloniki, 1997, 7-8.
  6. C. Calude. Gödel's Incompleteness Theorem-An information-theoretic perspective, Bull. Symbolic Logic 1 (1995), 352.
  7. C. Calude. What is a random string?, in The Foundational Debate. Complexity and Constructivity in Mathematics and Physics-Abstracts, Institut Wiener Kreis, Wien, 1994, 1.
  8. C. Calude, H. Jürgensen. Randomness as an invariant for number representations, in W. Gasarch (ed.) 1994 Structures In Complexity Conference-Research Abstracts, Vol. IV, 14.
  9. D. S. Bridges, C. Calude. On Recursive bounds for the exceptional values in speed-up, in C. Calude, M. J. J. Lennon, H. Maurer (eds.). Salodays in Auckland, Proceedings, Auckland University, Auckland, 1994, 16-18; also in 1994 New Zealand Mathematics Colloquium, Abstracts, 14.
  10. C. Calude, H. Maurer. Pocket mathematics, in C. Calude, M. J. J. Lennon, H. Maurer (eds.). Salodays in Auckland, Proceedings, Auckland University, Auckland, 1994, 25-29.
  11. C. Calude, H. Maurer, A. Salomaa. JUCS: The Journal of Universal Computer Science and its applications to science and engineering technology, in C. Calude, M. J. J. Lennon, H. Maurer (eds.). Salodays in Auckland, Proceedings, Auckland University, Auckland, 1994, 30-32.
  12. C. Calude. Information and Randomness-An Overview, in K. Ambos-Spies, S. Homer, U. Schöning (eds.), Structure and Complexity, Dagstuhl Seminar Report 82 (9407), February, 1994, 8.
  13. C. Calude, M. Zimand. On three theorems in abstract complexity theory: a topological glimpse, Abstracts of the Second International Colloquium on Semigroups, Formal Languages and Combinatorics on Words, Kyoto University, Japan, 1992, 11-12. Also in A. Atanasiu, C. Calude (eds.). Salodays in Theoretical Computer Science, Hyperion XXI Press, Bucharest, 1993, 1-2.
  14. C. Calude. Recursive Baire Classification, Speedable Functions and Independent Statements, Mathematisches Forschungsinstitut Oberwolfach, Tagungsbericht 55/1990, Mathematisches Logik, 1990, 2.
  15. C. Calude, Eva Kurta. On Kraft-Chaitin inequality, Abstracts of Logic Colloquium'89, Berlin, 1989; also in J. Symbolic Logic 75 (1992), 289.
  16. C. Calude, I. Chitescu. Random sequences: some topological and measure-theoretical properties, Constructive Newsletter 1 (1988), 8.
  17. C. Calude, Gh. Paun. Independent instances for some undecidable problems, J. Symbolic Logic 49 (1984), 686.
  18. C. Calude, I. Chitescu. On a (too) general theory of random sequences, Abstracts Amer. Math. Soc. 3 (1982), 524.
  19. C. Calude, I. Chitescu. Strong noncomputability of random strings, Abstracts Amer. Math. Soc. 25 (1982), 528.
  20. C. Calude, Gh. Paun. Global syntax and semantics for recursively enumerable languages, Notices Amer. Math. Soc. 25 (1978), 361-362.

5.7  Miscellania Papers and Reviews

  1. More than 450 reviews written for Mathematical Reviews, Computing Reviews and Zentralblatt für Mathematik.
  2. C. S. Calude, Communication for a mobile millennium, 3rd Millennium, in press.
  3. C. Calude. News from New Zealand - 19, EATCS Bull. 69 (1999), 58.
  4. C.S. Calude. Sudan's function, Academica, 1999 (in Romanian).
  5. C. Calude. News from New Zealand - 18, EATCS Bull. 68 (1999), 57-58.
  6. C. S. Calude, M. J. Dinneen. Breaking the Turing barrier, NZ Science Monthly 10, 5 (1999), 9-10.
  7. C. S. Calude. Sonic boom, London Review of Books, 4 February, 1999, 4.
  8. C. Calude. News from New Zealand - 17, EATCS Bull. 67 (1999), 57-58.
  9. C. Calude. News from New Zealand - 16, EATCS Bull. 66 (1998), 55-57.
  10. C. S. Calude. Informatics in a quantum variant, Academica 6, 90 (1998), 31-32. (in Romanian)
  11. C. Calude. News from New Zealand - 15, EATCS Bull. 65 (1998), 53.
  12. C. Calude. News from New Zealand - 14, EATCS Bull. 64 (1998), 79-81.
  13. C. Calude. Foreword to G. J. Chaitin. The Limits of Mathematics, Springer-Verlag, Singapore, 1997, v.
  14. C. Calude. News from New Zealand - 13, EATCS Bull. 63 (1997), 78-80.
  15. C. S. Calude. The future of programming languages, PC Report, 1998. (in Romanian)
  16. C. Calude. News from New Zealand - 12, EATCS Bull. 62 (1997), 92-93.
  17. C. Calude. News from New Zealand - 11, EATCS Bull. 61 (1997), 40-43.
  18. C. Calude. News from New Zealand - 10, EATCS Bull. 60 (1996), 62-64.
  19. C. Calude. A virtual letter to Gr. C. Moisil, Academica 5 (65) (1996), 3. (in Romanian)
  20. C. Calude. News from New Zealand - 9, EATCS Bull. 59 (1996), 106-107.
  21. C. Calude. News from New Zealand - 8, EATCS Bull. 58 (1996), 91-94.
  22. C. Calude. News from New Zealand - 7, EATCS Bull. 57 (1995), 120-121.
  23. C. Calude. News from New Zealand - 6, EATCS Bull. 56 (1995), 71-73.
  24. C. Calude. Report on The International Symposium ``The Foundational Debate''. Complexity and Constructivity in Mathematics and Physics, Vienna, Austria, 15-17 September 1994. EATCS Bull. 55 (1995), 221-222.
  25. C. Calude. News from New Zealand - 5, EATCS Bull. 55 (1995), 108-110.
  26. C. Calude, M. Jalobeanu. The Journal of Universal Computer Science, PC Report, 34 (1995), 14-15. (in Romanian)
  27. C. Calude, H. Maurer, A. Salomaa. The Journal of Universal Computer Science, J. UCS, Vol. 0 (1994), 109-115.
  28. C. Calude. News from New Zealand - 4, EATCS Bull. 54 (1994), 119-123.
  29. C. Calude. News from New Zealand - 3, EATCS Bull. 53 (1994), 157-158.
  30. C. Calude. News from New Zealand - 2, EATCS Bull. 52 (1994), 175-178.
  31. C. Calude. News from New Zealand - 1, EATCS Bull. 51 (1993), 88-90.
  32. C. Calude, R. W. Doran. Does God play dice? EATCS Bull. 50(1993), 338-341.
  33. C. Calude. Review of G. J. Chaitin. Information-Theoretic Incompleteness, World Scientific, Singapore, 1992, in: EATCS Bull. 49 (1993), 387-389.
  34. C. Calude. Mathematics at the end of the century, Academica 1, 14 (1991), 27. (in Romanian)
  35. C. Calude. A mathematical issue related to the idea of democracy, Magazine 22 47 (7 December) (1990), 6. (in Romanian)
  36. C. Calude. Dilemmas of artificial intelligence, Contemporanul 18 (17 August) (1990), 2. (in Romanian)
  37. C. Calude. The future of informatics, Contemporanul 17 (11 August) (1990), 12. (in Romanian)
  38. C. Calude. Review of G. J. Chaitin. Algorithmic Information Theory, Cambridge University Press, 1987 in: Formal Aspects of Computing 1 (1989), 295-297.
  39. C. Calude. Review of D. Bridges, F. Richman. Varieties of Constructive Mathematics, Cambridge University Press, 1987 in: EATCS Bull. 34 (1988), 305-307.
  40. C. Calude, Elena Calude. Traps of the infinity in elementary mathematics, Gazeta Matematica XCII (1988), 63-64. (in Romanian)
  41. C. Calude. Review of M. Davis, E. J. Weyuker. Computability, Complexity and Languages, Academic Press, 1983 and D. J. Cooke, H. E. Benz. Computer Mathematics, Cambridge University Press, 1984 in: EATCS Bull. 28 (1986), 281-286.
  42. C. Calude. Mathematics and computers, Gazeta Matematica (PMMMI) 1 (1986), 14. (in Romanian)
  43. C. Calude. Gödel's theorem, a limit of formalization?, The Book of Interferences, Ed. stiintifica si enciclopedica, Bucharest, 1985, 63-68. (in Romanian)
  44. C. Calude, I. Chitescu, Gh. Paun, D. Vaida. Professor Solomon Marcus at the 60th birthday anniversary, Gazeta Matematica (PMMMI) 3-4 (1985), 179-181. (in Romanian)
  45. C. Calude. A student of Professor Moisil, Gazeta Matematica Seria A, LXIX (1974), 179-180. (in Romanian) (MR 49#4703)

5.8  Papers Submitted or in Preparation

  1. C. S. Calude, B. Pavlov. Poincar\' e-Hardy inequality on a complement of a Cantor set, 12 pp.
  2. C. S. Calude, M. J. Dinneen, K. Svozil. Reflections on quantum computing, 6 pp.
  3. C. S. Calude, G. Paun. Computing with cells and atom in a nutshell, 15 pp.

5.9  Research Grants

  1. United Nations University (Tokyo) Research Grant, 1978-1982, US$60,000, for the project Mathematical Paths in the Study of Human Needs. Team's leader: Prof. S. Marcus.
  2. Romanian Ministry of Education Research Grant, 1988-1992, US$18,000, for the project Contributions to Descriptive Complexity.
  3. Soros Foundation for An Open Society Fellowship, 1992, US$2,800, to attend the Colloquium on Semigroups, Formal Languages and Combinatorics on Words, Kyoto University, Japan.
  4. University Auckland Research Grant A18/XXXXX/62090/3414012, 1993, NZ$8,000, for the project Random Numbers and Applications.
  5. University Auckland Research Grant, A18/XXXXX/62090/F3414018, 1993, NZ$1,500, for the project Random Numbers and Applications.
  6. University Auckland Research Grant, A18/XXXXX/62090/F3414022, 1994, NZ$4,152, for the project Random Numbers and Applications.
  7. University Auckland Research Grant, A18/XXXXX/62090/F3414030, 1994, NZ$7,000, for the project Random Numbers and Applications.
  8. University Auckland Research Grant, A18/XXXXX/62090/F3414044, 1995, NZ$5,000, for the project Randomness on Shift Spaces.
  9. Auckland University Research Grant, A18/XXXXX/62090/F3414050, 1996, NZ$3,200, for the project Randomness on Shift Spaces.
  10. University Auckland Research Committee Post-Doctoral Fellowship, 1996, for the period 1997-1999, NZ$92,250, for the project Complexity and Randomness in Non-Linear Spaces.
  11. Auckland University Research Grant, A18/XXXXX/62090/F3414056, 1996, NZ$3,200, for the project Physical versus Computational Complementarity.
  12. Auckland University Research Grant, A18/XXXXX/62090/F3414063, 1997, NZ$4,000, for the project Physical versus Computational Complementarity.
  13. Auckland University Research Grant, A18/XXXXX/62090/F3414069, 1997, NZ$2,000, for the project Topics in Algorithmic Information Theory (with A. Arslanov).
  14. Auckland University Research Grant, A18/XXXXX/62090/F3414075, 1997, NZ$4,000, for the project Physical versus Computational Complementarity.
  15. Pukekohe Travel Research Grant for the Centre for Discrete Mathematics and Theoretical Computer Science, 1997, NZ$25,000.
  16. Auckland University Research Grant, A18/XXXXX/62090/F3414082, 1998, NZ$4,500, for the project Physical versus Computational Complementarity.
  17. Auckland University Research Infrastructure Grant, A18/XXXXX/9343/3391207, 1998, NZ$75,000 (with C. Collberg, M. Dinneen, P. Fenwick, P. Gibbons, H. Guesgen, J. Hamer, J. Hosking, B. Khoussainov, J. Lennon, R. Murgridge, P. Riddle, C. Thmborson, X. Ye).
  18. Monbusho (Japan Ministry of Education, Science, Sports and Culture), Research and Travel Grant, 1999, Yen 727,000.

5.10  Lectures at Conferences (Some Invited)

  1. C.S. Calude. Recent Results on Chaitin Omega Numbers, Workshop on Constructivity, Complexity and Fuzzyness (CCF'99), Galati, Romania, August 1999. (invited)
  2. C.S. Calude. Computable Enumerable Reals, ``The Eighth International Colloquium on Numerical Analysis and Computer Science with Applications", Plovdiv, Bulgaria, August 1999. (one-hour invited lecture)
  3. C.S. Calude. A Characterization of C.E. Random Reals, Workshop ``Descriptional Complexity of Automata, Grammars and Related Structures", (DCAGRS'99), Magdeburg, Germany, July 1999.
  4. C.S. Calude. Metric Lexical Analysis, Workshop ``Implementing Automata'99" (WIA'99), Potsdam, Germany, July, 1999.
  5. C.S. Calude. Quantum Correlations Conundrum: An Automaton-Theoretic Approach, Workshop ``Implementing Automata'99" (WIA'99), Potsdam, Germany, July 1999.
  6. C.S. Calude. Bisimulations and Behaviour of Nondeterministic Automata, ``Developments in Language Theory" (DLT'99), Aachen, Germany, July 1999.
  7. C.S. Calude. Sudan's function, Mathematics Section of the Romanian Academy, Bucharest, Romania, May 1999 (invited).
  8. Computable Approximations of reals: An Information-theoretic Analysis, Third International Conference on Information-Theoretic Approaches to Logic, Language, and Computation, Hsi-tou, Taiwan, June 1998.
  9. Recursively Enumerable Reals and Chaitin W Numbers, STACS'98, The 15th Annual Symposium on ``Theoretical Aspects of Computer Science'', Paris, France, January 1998.
  10. Chaitin W Numbers and Strong Reducibilities, The First Japan-New Zealand Workshop ``Logic in Computer Science'', CDMTCS, Auckland, New Zealand, August 1997.
  11. Computational Complementarity via Incomplete Automata and Shift Spaces, International Conference ``Integrability and Chaos in Discrete Systems'', International Solvay Institutes, Brussels, Belgium, July 1997. (invited lecture)
  12. Deterministic automata: simulation, universality and minimality, ``Developments in Language Theory'', DLT'97, Thessaloniki, Greece, July 1997.
  13. Do the Zeros of Riemann's Zeta-Function Form a Random Sequence?, Schloss Dagstuhl Seminar on ``Constructivity and Complexity in Analysis'', Dagstuhl, Saarbrücken, Germany, April, 1997. (invited lecture)
  14. Automata for Physics, Workshop ``Computability and Related Matters in Mathematics and Physics'', CDMTCS, Hamilton, New Zealand, February 1997.
  15. Recollections on Paul Erdös, Paul Erdös Mini-Seminar, Auckland University, New Zealand, September, 1996.
  16. The Typical Number Is a Lexicon, AFL'96 (8th Conference on Automata and Formal Languages), Salgotarjan, Hungary, July 1996.
  17. The Concept of Complexity, Seminar ``Order, Complexity and Beauty'', The Project ``Third Culture Copenhagen'', Danish Mindship Foundation, Copenhagen, Denmark, July, 1996. (invited lecture)
  18. The Web Attitude, Graduate Student Workshop, Auckland University, New Zealand, March, 1996.
  19. A Virtual Letter to Gr. C. Moisil, Symposium Dedicated to Gr. C. Moisil, Romanian Academy, Bucharest, Romania, March, 1996.
  20. Language-Theoretic Complexity of Disjunctive Sequences, CATS'97 (Computing: the Australian Theory Seminar), Melbourne, Australia, January, 1996.
  21. Can Ignorance Help?, Ken Ashton Mini-Conference, Auckland University, New Zealand, July, 1995.
  22. Randomness-Preserving Transformations, Summer School ``Chaitin Complexity and Applications'', Black Sea University, Mangalia, Romania, July 1995.
  23. JUCS: A New Publication in Cyberspace, ``ROSE'94'', The Second Romanian Conference on Open Systems, Bucharest, Romania, November, 1994.
  24. What Is a Random String?, Symposium ``The Foundational Debate. Complexity and Constructivity in Mathematics and Physics'', Vienna, Austria, September, 1994. (plenary invited address)
  25. Gödel's Incompleteness Theorem-An Information-Theoretic Perspective, ``1994 George Hughes Memorial Conference'', Australasian Association for Logic, Dunedin, New Zealand, August, 1994.
  26. Randomness as an Invariant for Number Representations, Symposium ``Results and Trends in Theoretical Computer Science'', Graz, Austria, June, 1994. (invited lecture)
  27. Experimental Mathematics, Symposium ``Romania and Romanians in Contemporary Science'', Sinaia, Romania, June, 1994. (invited lecture)
  28. The Basics of LATEX, A Half-Day Course ``Getting Started with LATEX'', Auckland University, New Zealand, May, 1994.
  29. On Recursive Bounds for the Exceptional Values in Speed-up, 1994 N. Z. Mathematics Colloquium, Hamilton, New Zealand, April, 1994.
  30. Pocket Mathematics, Symposium ``Salodays in Auckland'', Auckland University, New Zealand, March, 1994.
  31. Information and Randomness-An Overview, Schloss Dagstuhl Seminar on ``Structure on Complexity'', Dagstuhl, Saarbrücken, Germany, February, 1994. (invited lecture)
  32. Coding Without Tears, Symposium on Combinatorics, Algebra and Topology in Logic and Languages, Romanian Academy, Bucharest, Romania, January, 1994.
  33. Three Theories of Computational Complexity, ROSYCS'93, Iasi, Romania, November, 1993. (invited lecture)
  34. More About the Halting Probability, Informatics Workshops 1993, University of Auckland, New Zealand, August, 1993.
  35. The Randomness Hypothesis, Conference ``Developments in Language Theory'', University of Turku, Finland, July, 1993. (invited lecture)
  36. Borel Normality and Algorithmic Randomness, Conference ``Developments in Language Theory'', University of Turku, Finland, July, 1993.
  37. How Should I Forget?, Symposium Dedicated to Gr. C. Moisil, Romanian Academy, Iasi, Romania, May, 1993.
  38. Two Questions on Chaitin's Model of Randomness, Conference ``Does God Play Dice?'', University of Auckland, New Zealand, February, 1993.
  39. Topological Methods in Complexity Theory, Computer Science Colloquium, Waikato University, Hamilton, New Zealand, February, 1993.
  40. Elementary Algorithmic Information Theory: Borel Normality and Algorithmic Randomness, Workshop on Semigroups, Formal Languages and Combinatorics on Words, Kyoto University, Japan, August, 1992.
  41. On Three Theorems in Abstract Complexity Theory: A Topological Glimpse, The Second International Colloquium on Words, Languages and Combinatorics, Kyoto University, Japan, August, 1992.
  42. Elementary Algorithmic Information Theory, Colloquium SALODAYS in Theoretical Computer Science, Bucharest University, Romania, June, 1992.
  43. Constructive Negligible Sets in Complexity Theory, Fifth International Conference on Discrete Mathematics, Dortmund, Germany, September, 1991. (invited lecture)
  44. Recursive Baire Classification, Speedable Functions and Independent Statements, Mathematical Logic Week, Oberwolfach, Germany, December, 1990. (invited lecture)
  45. The Development of Computer Science in Romania, Future Trends in Information Technology, Salzburg, Austria, September, 1990. (invited lecture)
  46. Determining and Stationary Sets for Some Classes of Partial Recursive Functions, Third Logical Biennial Summer School and Conference, Kleene'90, Varna, Bulgaria, June, 1990.
  47. Mathematics and Informatics: Some Lessons and Key Points of Reflection, International Workshop On Informatics Curricula for the 1990s, Providence, RI, USA, April, 1990.
  48. On Kraft-Chaitin Inequality, Logic Colloquium'89, European Summer Meeting of the Association for Symbolic Logic, West Berlin, Germany, July, 1989.
  49. Descriptive Complexity and Natural Languages, PROCOMP'89, Central Institute for Informatics, Bucharest, Romania, October, 1989. (invited lecture)
  50. Complexity as a Source of Randomness, Workshop ``How to Cope with Complexity'', Romanian Academy, Bucharest, Romania, October, 1989.
  51. On B. Russell Definition of Mathematics, National Colloquium Info-Iasi'89, Romania, October, 1989. (invited lecture)
  52. Ehrenfeucht Test Set Theorem and Hilbert Basis Theorem: A Constructive Glimpse, Symposium Mathematical Foundations of Computer Science, Porabka-Kozubnik, Poland, September, 1989.
  53. Languages, Effectivity and Constructive Mathematics, Second National Colloquium on Languages, Logic and Mathematical Linguistics, Brasov, Romania, June, 1988.
  54. Ehrenfeucht's Property and Constructivity, National Colloquium Info-Iasi'87, Romania, October, l987. (invited lecture)
  55. Romanian Results in Recursion Function Theory: 1927-1987, Computer Center Anniversary Symposium, Bucharest University, Romania, February, 1987. (invited lecture)
  56. Super-exponentials Non-Primitive Recursive, but Rudimentary, Advanced International Summer School and Conference on Mathematical Logic and Its Applications, Gödel'86, Druzhba, Bulgaria, June, l986.
  57. P. Martin-Löf Tests: Representability and Embeddability, National Colloquium Info-Iasi'85, Romania, October, 1985. (invited lecture)
  58. On a class of Independent Problems Related to Rice's Theorem, National Colloquium Info-Iasi'83, Romania, October, 1983. (invited lecture)
  59. Dilemmas of Computational Complexity, Symposium ``Mathematics, Today and Tomorrow'', Romanian Academy, Bucharest, Romania, June, 1983. (invited lecture)
  60. Independent Instances for Some Undecidable Problems, Logic Colloquium'82, European Summer Meeting of the Association for Symbolic Logic, Florence, Italy, August, 1982.
  61. On Per Martin-Löf Random Sequences, Workshop On Recursion Aspects of Computer Science, Purdue University, USA, June, 1981.
  62. On Per Martin-Löf Random Sequences, National Colloquium Info-Iasi'81, Romania, October, 1981.
  63. Knuth Test on Compiler Efficiency, The 4th International Conference on Control Systems and Computer Science, Politechnical Institute, Bucharest, Romania, July, 1981.
  64. The Universal Grammar as a Hypothetical Brain, International Symposium on Mathematics in System Theory, Brasov, Romania, November, 1978.
  65. The Category of Cech Topological Spaces, Colloquium on Topology, Budapest, Hungary, August, 1978.
  66. Pompeiu's Distance Between Closed Sets, Symposium on Geometry and Global Analysis, Romanian Academy, Bucharest, Romania, October, 1973.

5.11  Invited Seminar Presentations

  1. What Is Algorithmic Information? Meijo University, Nagoya, Japan, October, 1999.
  2. Completeness, Decidability, Incompleteness, Massey University at Albany, New Zealand, September, 1999.
  3. Recent Results on Chaitin Omega Numbers, ``Ovidius'' University of Constanta, Romania, August 1999.
  4. The Incompleteness Phenomenon, Halle University, Germany, July 1999.
  5. Recent Results on Chaitin Omega Numbers, Halle University, Germany, July 1999.
  6. Recent Results on Chaitin Omega Numbers, Open University, Hagen, Germany, July 1999.
  7. Quantum Correlations Conundrum: An Automaton-Theoretic Approach, International Solvay Institutes, Brussels Free University, Brusssels, Belgium, June 1999.
  8. Recent Results on Chaitin Omega Numbers, Institut für Theoretische Physik, Technischen Universität Wien, Austria, June, 1999.
  9. Understanding Quantum Correlations via Automata, National Sandia Laboratories, Albuquerque, USA, April 1999.
  10. C.E. Reals: Complexity and Randomness, The Santa Fe Institute, Santa Fe, USA, April 1999.
  11. Recent Progress on the Complexity of C.E. Reals, Department of Computer Science, University of New Mexico, Albuquerque, USA, April 1999.
  12. Recent Progress on the Complexity of C.E. Reals, Department of Computer Science and University of Massachusetts at Boston, USA, April 1999.
  13. Recent Progress on the Complexity of C.E. Reals, Department of Mathematics, Cornell University, USA, April 1999.
  14. Recent Progress on the Complexity of C.E. Reals, Department of Computer Science, Rochester University, USA, April 1999.
  15. A Characterization of C.E. Random Reals, Department of Mathematics, University of Chicago, USA, February 1999.
  16. Recent Progress on the Complexity of C.E. Reals, Department of Mathematics, University of Chicago, USA, February 1999.
  17. Recursively Enumerable Reals: Computability, Complexity and Randomness, Department of Computer Science, University of California at San Diego, USA, December 1998.
  18. Recursively Enumerable Reals: Computability, Complexity and Randomness, Berkeley Logic Colloquium, University of California at Berkeley, USA, November 1998.
  19. The Halting Problem and the Mathematical Practice, Logic Group Seminar, Bucharest University, Romania, November, 1998.
  20. Recursively Enumerable Reals: Computability, Complexity and Randomness, Department of Computer Science, Birmingham University, UK, October 1998.
  21. Finite Automata: Complementarity, Simulation, Universality, Department of Computer Science, Birmingham University, UK, October 1998.
  22. The Computing Cell, Department of Computer Science, Birmingham University, UK, October 1998.
  23. Why Do We Believe in God? Three Non-Theological Arguments, Logic Group Seminar, Bucharest University, Romania, July, 1998.
  24. Symbolic Dynamics: Complexity, Entropy, Randomness, International Solvay Institutes, Brussels Free University, Brusssels, Belgium, June 1998.
  25. Complexity, Randomness, Independence and the Brain, Institute of Mathematics, Academia Sinica, Taipei, Taiwan, June 1998.
  26. Recursively Enumerable Reals: Computability, Complexity, Randomness, Department of Mathematics, Turku University and Turku Centre for Computer Science, Turku, Finland, March, 1998.
  27. Automata as Toy Models for Uncertainty, ``Séminaire Complexité'', Université Paris Sud, Orsay, France, February, 1998.
  28. Recursively Enumerable Reals: Computability, Complexity, Randomness, Bucharest University, Romania, February, 1998.
  29. The Cost of Forgetting: Quantum Computation, Romanian Academy, February, 1998 (plenary address to the Academy).
  30. Reversible Computation, University ``Dunarea de Jos'', Galati, Romania, February, 1998.
  31. New Trends in the Theory of Computation, National College ``V. Alecsandri'', Galati, Romania, February, 1998.
  32. A Brief Excursion in Algorithmic Information Theory, Babes-Bolyai University, Cluj, Romania, April, 1997.
  33. Automata for Physics, Department of Mathematics, University of Turin, Italy, April, 1997.
  34. Some Applications of Automata to Physics, Informal & Colloquial Talks, Department of Mathematics, University of Auckland, April, 1997.
  35. A Brief Excursion in Algorithmic Information Theory, University of Chicago, USA, January 1997.
  36. Minimal Universal Automata, Institute for Theoretical Physics, Technical University of Vienna, Austria, January 1997.
  37. Is the Universe Lawful?, Danish Mindship Foundation, Copenhagen, Denmark, July, 1996.
  38. Cyberspace, Bucharest University, Romania, July 1996.
  39. Is Computer Science a Science?, University of Auckland, New Zealand, March 1996.
  40. Molecular Computation, Bucharest University, Romania, December 1995.
  41. Algorithmic Information Theory, Leeds University, England, November 1995.
  42. Disjunctive Sequences, University of Western Ontario, London, Canada, November 1995.
  43. Randomness-Preserving Transformations, Hagen University, Germany, July 1995.
  44. Randomness-Preserving Transformations, Siegen University, Germany, July 1995.
  45. Understanding our Universe: Randomness vs. Constructivity, Gödel Society, Vienna, Austria, June 1995.
  46. What Is a Random String?, University Koblenz-Landau, Germany, January, 1995.
  47. Computability and Information, University of Waikato, Hamilton, New Zealand, November, 1994.
  48. Paradigms of Information, Technical University, Bucharest, Romania, October, 1994.
  49. Computability and Information, Lincoln University, Christchurch, New Zealand, September, 1994.
  50. Are Binary Codings Universal?, University of Canterbury, Christchurch, New Zealand, August, 1994.
  51. Computability and Information, University of Canterbury, Christchurch, New Zealand, August, 1994.
  52. Paper Computation vs. Real Computation, Otago University, Dunedin, New Zealand, August, 1994.
  53. Randomness as an Invariant for Number Representations, Victoria University of Wellington, New Zealand, August, 1994.
  54. Computability and Information, Victoria University of Wellington, New Zealand, August, 1994.
  55. Computability and Information, Massey University, Palmerston North, New Zealand, August, 1994.
  56. The Incompleteness Phenomenon: From Gödel to Chaitin, Institute for Theoretical Physics, Technical University of Vienna, Austria, June, 1994.
  57. Unimedia: An Overview, ``Ovidius'' University of Constanta, Romania, May, 1944.
  58. Statistics and Communication, Black Sea University, Mangalia, Romania, May, 1994.
  59. Information and Randomness-An Overview, University of Bucharest, Romania, February, 1994.
  60. Baire Category Classification in Abstract Complexity Theory, Seminario Matematico dell' Universitá e del Politecnico di Torino (Direttore: Professor Sergio Benenti), University of Turin, Italy, January, 1994.
  61. Information and Randomness-An Overview, University of Turin, Italy, January, 1994.
  62. Borel Normality and Algorithmic Randomness, Cornell University, Ithaca, USA, November, 1993.
  63. Invariants for Number Representations, University of Toronto, Canada, October, 1993.
  64. Invariants for Number Representations, University of Western Ontario, London, Canada, October, 1993.
  65. Fermat's Last Theorem, Romanian Academy, Romania, July, 1993.
  66. Mathematics, from Axiomatics and Algorithmics to Experimental, Bucharest University, Romania, July, 1993.
  67. Randomness as a Universal Invariant, Auckland University, New Zealand, June, 1993.
  68. Randomness as a Universal Invariant, University of Waikato, Hamilton, New Zealand, May, 1993.
  69. Three Theories of Computational Complexity, University of Waikato, Hamilton, New Zealand, May, 1993.
  70. Topological Methods in Complexity Theory, University of Waterloo, Canada, November, 1992.
  71. Random Sequences and Strings, Hamburg University, Germany, June, 1991.
  72. Random Strings and Sequences, Turku University, Finland, April, 1991.
  73. A Topological Analysis of Gödel Independent Statements, Turku University, Finland, April, 1991.
  74. Random Strings and Sequences, University of Western Ontario, London, Canada, April, 1990.
  75. Algorithmic Randomness, Wesleyan University, Connecticut, USA, April, 1990.
  76. Complexity as a Source of Randomness, Bucharest University, Romania, November, 1988.
  77. Gödel's Theorem: A Limit of Formalization?, Institute of Atomic Physics, Magurele, Romania, October, 1984.
  78. Kolmogorov Complexity and Applications, Babes-Bolyai University, Cluj, Romania, June, 1980.

5.12  Post-Doctoral Fellows

  1. Dr. Richard Coles, research in Algorithmic Information Theory, March 1998 - May 1999.
  2. Dr. Peter Hertling, research in Algorithmic Information Theory, November 1996 - August 1998. Peter has got a visiting position with the Institute of Mathematics, Berkeley University, USA (6 months) and then he returnd to Hagen Open University, Germany.
  3. Dr. Yongge Wang, research in Algorithmic Information Theory, February 1997 - December 1997. Yongge has got a position with the Center for Applied Cryptographic Research of the University of Waterloo, Canada.
  4. Dr. Marjo Lipponen, research in the Theory of Automata and Applications to Quantum Mechanics and Quantum Computation, March 1997 - March 1998. Marjo has got an assistant professorship position with the Department of Mathematics, Turku University, Finland.

5.13  Research Seminars

  1. Complexity Theory, Bucharest University, Romania, 1980-1992.
  2. (jointly with B. Doran), DNA Computation, University of Auckland, New Zealand, 1995-1996.
  3. (jointly with B. Pavlov), Dynamical Systems, University of Auckland, New Zealand, 1997.

5.14  Consulting

Computer Science (Artificial Intelligence, Education), CEPES, UNESCO, Romania, 1988-1992. Electronic publishing (JUCS Project), Springer-Verlag, Germany, 1994-1995. Web design and e-commerce, Pukekohe Travel, New Zealand, 1997 on. Risk management and property insurance, Hiscox Syndicate 33, Lloyds, England, 1998 on.

5.15  Interviews

  1. D. S. Bridges and C. S. Calude. Constructive mathematics, Radio Bucharest 1, 30 August 1999 (interviewer: C. Mihailescu) (in Romanian).
  2. An interview with Professors D. S. Bridges and C. S. Calude, MegaTV and ExpressTV, Galati, 26 August 1999 (interviewer: L. Serbanescu) (in Romanian).
  3. Reinventing the computer, Radio NZ, 27 July 1998 (interviewer: J. Reynolds).
  4. D. King. Scientists ponder future development of computers, NZ InfoTech Weekly, January 1998; http://www.nzcs.org.nz/news.htm.
  5. A. Gifford. Boffins seek quantum leap forward, NZ Herald 14 January 1998; http://www.cs. auckland.ac.nz/CDMTCS/docs/nzherald.pdf/.
  6. R. Keenan. When a computing conference departs from the norm, Computerworld New Zealand 30 June (1997), 10; http://www.idg.co.nz.
  7. An interview with Professor Cristian Calude (interviewer: Irina Athanasiu), PC Report, 51 (1996), 18, 20. (in Romanian)
  8. An interview with Professor Cristian Calude (interviewer: M. Jalobeanu), PC Report, 34 (1995), 16-17. (in Romanian)

5.16  Selected Recent Citations

  1. D. S. Alberts, T. J. Czerwinski (eds.). Complexity, Global Politics, and National Security, National Defense University, Washington, D. C., 1997.
  2. G. Alford. An explicit construction of a universal extended H system, in C. S. Calude, J. Casti, M. J. Dinneen (eds.). Unconventional Models of Computation, Springer-Verlag, Singapore, 1998, 108-117.
  3. I. Antoniou, B. Pavlov, A. Yafyasov. Quantum electronic devices based on metal-dielectric transition in low-dimensional quantum structures, in D. S. Bridges, C. Calude, J. Gibbons, S. Reeves, I. Witten (eds.). Combinatorics, Complexity, Logic, Proceedings of DMTCS'96, Springer-Verlag, Singapore, 1996, 90-104.
  4. B. Apolloni, C. Gentile. Sample size lower bounds in PAC learning by algorithmic complexity theory, Theoret. Comput. Sci. 209, 1-2 (1998), 141-162.
  5. A. Arslanov. On a conjecture of M. Van Lambalgen, EATCS Bull. 62 (1997), 195-198.
  6. E. Bach, J. Shallit. Algorithmic Number Theory, Vol. I: Efficient Algorithms, MIT Press, Cambridge, Massachusetts, 1996.
  7. J. Barrow. Impossibility-The Limits of Science and the Science of Limits, Oxford University Press, Oxford, 1998.
  8. V. Bratka, I. Kalantari. A bibliograpgy of recursive analysis and topology, in Yu. L. Ershov, S. .S. .Goncharov, A. Nerode, J. B. .Remmel (eds.). Handbook of Recursive Mathematics, Vol. 1, Elsevier, Amsterdam, 1998, 583-60.
  9. D. S. Bridges. Constructive mathematics and unbounded operators-a reply to Hellman, J. Philosophical Logic 24 (1995), 549-561.
  10. D. S. Bridges. Computability-A Mathematical Sketchbook, Springer Verlag, Berlin, 1994.
  11. Elena Calude and Marjo Lipponen. Minimal deterministic incomplete automata, J. UCS 11 (1997), 1180-1193.
  12. C. Câmpeanu, Random numbers are Borel normal, EATCS Bull. 58 (1996), 155-158.
  13. G. J. Chaitin. The Unknowable, Springer-Verlag, Singapore, 1999.
  14. G. J. Chaitin. The Limits of Mathematics, Springer-Verlag, Singapore, 1997.
  15. G. J. Chaitin. The Berry paradox, Complexity, 1 (1995), 26-30.
  16. G. J. Chaitin. On the number of N-bit strings with maximum complexity, Applied Mathematics and Computation 59 (1993), 97-100.
  17. J. Collier. Information, Stanford Encyclopedia of Philosophy, http://plato.stanford.edu/entries/information/, 16 pp.
  18. E. CsuhajVarju, L. Kari, G. Paun. Test tube distributed systems based on splicing Comput. Artif. Intell. 15, 2-3 (1996), 211-232.
  19. F. Diacu. The solution of the N-body problem, The Mathematical Intelligencer 18, 3 (1996), 66-70.
  20. J. H. Dawson, Jr. Prelude to recursion theory: The Gödel-Herbrand correspondence, in Z. W. Wolkowski (ed.). First International\ Symposium on Gödel's Theorems, World Scientific, Singapore, 1993, 1-13.
  21. J. H. Dawson, Jr. Logical Dilemmas. The Life and Work of\ Kurt Gödel, A K Peters, Wellesley, Massachusetts, 1997.
  22. B. Durand, S. Porrot. Comparison between the complexity of a function and the complexity of its graph, Lect. Notes Comput. Sc., 1450 (1998), 732-739.
  23. N. Duta. Representability and embeddability of P. Martin-Löf tests, Stud. Cercet. Mat. 47 (1995), 245-262.
  24. R. L. Epstein, W. A. Carnielli. Computability. Computable Functions, Logic, and the Foundations of Mathematics, second ed., Wadsworth, Belmont, 1999.
  25. H.-A. Esbelin and M. More. Rudimentary relations and primitive recursion: A toolbox, Theoretical Computer Science, 193 (1-2) (1998), 129-148.
  26. R. Freund, L. Kari, G. Paun. DNA computing based on splicing: The existence of universal computers, Theor. Comput. Syst. 32, 1 (1999), 69-112.
  27. C. Garola. Objectivity versus nonobjectivity in quantum physics, preprint, June 1999, 26 pp.
  28. F. Geurts. Compositional Analysis of Iterated Relations: Dynamics and Computations, PhD Thesis, Université Catholique de Louvain, March 1996.
  29. C. Grozea. Free-extendible prefix-free sets and an extension of the Kraft-Chaitin theorem, J. UCS 6, 1 (2000), 130-135.
  30. J. Gruska. Foundations of Computing, Thomson International Computer Press, Boston, 1997.
  31. D. Hammer. Complexity Inequalities, Wissenschaft & Technik Verlag, Berlin, 1998.
  32. T. Head, Gh. Paun, D. Pixton. Language theory and molecular genetics, in G. Rozenberg, A. Salomaa (eds.). Handbook of Formal Languages, Vol. II, Springer-Verlag, Berlin, 1997, 295-360.
  33. P. Hertling. Disjunctive w-words and real numbers, J. UCS 2 (1996), 549-568.
  34. P. Hertling, Y. Wang. Invariance properties of random sequences, J. UCS 12 (1997), 1241-1249.
  35. P. Hertling, K. Weihrauch. Randomness spaces, in K. G. Larsen, S. Skyum and G. Winskel (des.). Automata, Langauges and Programming, Proc. 25th Int. Colloq. ICALP'98, Springer-Verlag, Berlin, 1998, 796-807.
  36. M. Huhne. On the power of several queues, Theoret. Comput. Sci. 113, 1 (1993), 75-91.
  37. L. Ilie, G.Paun, G. Rozenberg and A. Salomaa. On strongly context-free languages, Discrete Applied Mathematics, to appear.
  38. G. Istrate, G. Paun. Some combinatorial properties of self-reading sequences, Discrete Appl. Math., 55, 1 (1994), 83-86.
  39. E. Jurvanen, Marjo Lipponen. Distinguishability, simulation and universality of Moore tree automata, Fundamenta Informaticae 34 (1999), 1-13.
  40. H. Jürgensen, L. Staiger. Local Hausdorff dimension, Acta Informatica 32, 5 (1995), 491-507.
  41. H. Jürgensen, L. Robbins. Towards foundations of cryptography: Investigation of perfect secrecy, J. UCS 5 (1996), 347-379.
  42. M. Kojman, S. Shelah. Regressive Ramsey numbers are Ackermannian, J. Comb. Theory A, 86, 1 (1999) 177-181.
  43. M. Koshelev. Towards the use of aesthetics in decision: Kolmogorov complexity formalizes Birkhoff's idea, EATCS Bull. 66 (1998), 166-170.
  44. B. Khoussainov. Randomness, computability, and algebraic specifications, in J. Harland (ed.). Proceedings of CATS'97, Australian Computer Science Communications, vol. 19, no 2, 1997, 96-102. Also in Ann Pure Appl. Logic 91, 1 (1998), 1-15.
  45. I. Kramosil. Searching algorithms implemented on probabilistic systolic arrays, Int. J. Gen. Syst., 25, 1 (1996), 7-45.
  46. M. Kummer. On the complexity of random strings, in C. Puech, R. Reischuk (eds.). Proceedings of STACS'96, Lecture Notes in Comput. Sci. 1046, Springer-Verlag, Berlin, 1996, 25-38.
  47. M. Kummer. Kolmogorov complexity and instance complexity of recursively enumerable sets, SIAM J. Comput. 25 (1996), 1123-1143.
  48. M. Li, P. M. Vitányi. An Introduction to Kolmogorov Complexity and Its Applications, Springer Verlag, Berlin, 1993. Second edition 1997.
  49. Marjo Lipponen. Computational complementarity and shift spaces, J. UCS 6, 1 (2000), 169-177.
  50. J. Lennon, H. Maurer. Digital libraries and teaching support, J. UCS 5 (1995), 719-727.
  51. J. Lennon, H. Maurer. Applications of hypermedia systems, Program Comput. Soft.+, 21, 3 (1995), 121-134.
  52. L. Longpré and V. Kreinovich. Zeros of Riemann's Zeta function are uniformly distributed, but not random: An answer to Calude's open problem, EATCS Bull. 59 (1996), 163-164.
  53. L. Longpré and V. Kreinovich. Human visual perception and Kolmogorov complexity: revisited, EATCS Bull. 64 (1998), 155-158.
  54. V. Manca, C. Martin-Vide, G. Paun. New computing paradigms suggested by DNA computing: computing by carving, Biosystems 52, 1-3 (1999), 47-54.
  55. S. Marcus. Semiotics and formal artificial languages, in A. Kent, J. G. Williams (Eds.). Encyclopedia of Computer Science and Technology, Marcel Dekker, New York, 1993, 363-376.
  56. S. Marcus. The status of research in the field of analytical algebraic models of language, in Carlos Martin Vide (eds.). Current Issues in Mathematical Linguistics, Elsevier, Amsterdam, 1994, 1-19.
  57. S. Marcus. Mental representations under some genuine restrictions: The conflictual sets, Caleção Documentos, Serie Cognitiva-21, Instituto de Estudos Avançados, Universidade de São Paulo, 1996, 74-79.
  58. S. Marcus. Contextual grammars and natural languages, in G. Rozenberg, A. Salomaa (eds.). Handbook of Formal Languages, Vol. II, Springer-Verlag, Berlin, 1997, 215-235.
  59. G. Markowsky. Introduction to algorithmic information theory, J. UCS 5 (1996), 245-269.
  60. G. Markowsky. An introduction to algorithmic information theory. Its history and some examples, Complexity 2,4 (1997), 14-22.
  61. I. Mandoiu. Optimum extensions of prefix codes, Information Processing Letters 66 (1998), 35-40.
  62. I. Mandoiu. Kraft-Chaitin's theorem for free-extensible codes, Stud. Cerc. Mat. 44 (1992), 497-501.
  63. I. Mandoiu. On a theorem of Gacs, Intern. J. Computer Mathematics 48 (1993), 157-169.
  64. A. Mateescu, G. Paun, G. Rozenberg, A. Salomaa. Characterizations of RE languages starting from internal contextual languages, Int. J. Comput. Math. 66, 3-4 (1998), 179-197.
  65. Yu. V. Matiyasevich. Hilbert's Tenth Problem, MIT Press, Cambridge, Massachusetts, 1993.
  66. H. Maurer. Hypermedia systems as Internet tools, Lect. Notes Comput. Sc.. 1000 (1995), 608-624.
  67. H. Maurer. Hyper-G Now Hyperwave. The Next Generation Web Solution, Addison-Wesley, New York, 1996.
  68. H. Maurer, K. Schmaranz. J. UCS - The next generation in electronic journal publishing,  J.UCS 0 (1994), 118-126.
  69. Doris Nolte, L. Priese. Abstract fairness and semantics, Theor. Comput. Sci., 177, 1 (1997), 139-153.
  70. P. Odifreddi. Classical Recursion Theory, North-Holland, Amsterdam, New York, Vol. 2, 1999.
  71. P. Odifreddi. Ultrafilters, dictators, and Gods, in C. S. Calude, G. Paun (eds.). Finite Versus Infinite. Contributions to an Eternal Dilemma, Springer-Verlag, London, 2000, 255-262.
  72. B. Pavlov, G. Roach, A. Yafyasov. Resonance scattering and design of quantum gates, in C. S. Calude, J. Casti, M. J. Dinneen (eds.). Unconventional Models of Computation, Springer-Verlag, Singapore, 1998, 336-352.
  73. Gh. Paun. Distributed architectures in DNA computing based on splicing: limiting the size of components, in C. S. Calude, J. Casti, M. J. Dinneen (eds.). Unconventional Models of Computation, Springer-Verlag, Singapore, 1998, 323-335.
  74. Gh. Paun. String function based machines, ROMJIST 1 (1998), 73-84.
  75. G. Paun, G. Rozenberg, A. Salomaa. DNA Computing. New Computing Paradigms, Springer-Verlag, Berlin, 1998.
  76. G. Paun. DNA computing based on splicing: universality results Theory Comput. Sci., 231, 2 (2000), 275-296.
  77. S. Porrot, M. Dauchet, B. Durand, N. K. Vereshchagin. Deterministic rational transducers and random sequences, Lect. Notes Comput. Sc., 378 (1998), 258-272.
  78. E. Rivals, J. -P. Delahaye. Optimal representation in average using Kolmogorov complexity, Theoret. Computer Science 200 (1998), 261-287.
  79. L. Robbins. Modelling Cryptographic Systems, Ph.D. Thesis, Faculty of Graduate Studies, University of Western Ontario, London, Canada, 1998, 166 pp.
  80. G. Rozenberg, A. Salomaa. Cornerstones of Undecidability, Prentice Hall, Englewood Cliffs, 1994.
  81. S. Rudeanu. Lectures on Predicate and Propositional Calculi, Bucharest University Press, Bucharest, 1997. (in Romanian)
  82. A. M. Salagean-Mandache. A geometrical proof of Kraft-Chaitin theorem, An. Univ. Bucuresti Mat. 39/40 (1990/91), no. 3, Matematica-Informatica, 90-97.
  83. M. Sipser. Introduction to the Theory of Computation, PWS Publishing, Comp., Boston, 1997.
  84. M. Schmidt. Time-bounded Kolmogorov complexity may help in search for extra terrestrial intelligence (SETI), EATCS Bull. 67 (1999), 176-180.
  85. T. A. Slaman. Randomness and recursive enumerability, manuscript, 5 April 1999, 13 pp.
  86. C. Smory\'nski. Logical Number Theory I. An Introduction, Springer-Verlag, Berlin, 1991.
  87. K. H. Sprenger. Hierarchies of Primitive Recursive Functions on Term Algebras, Shaker Verlag, 1995.
  88. K. H. Sprenger. Some hierarchies of primitive recursive functions, Mathematical Logic Quartly, 43 (1997), 251-286.
  89. L. Staiger. The Kolmogorov complexity of real numbers, in: Proc. ``Fundamentals of Computation Theory'' (G. Ciobanu and Gh. Paun, eds.) (Iasi, Romania, 1999), Lecture Notes in Comput. Sci. No. 1684, Springer-Verlag, Berlin, 1999, 536-546.
  90. L. Staiger. The Kolmogorov Complexity of Liouville Numbers, CDMTCS Research Report 096, 1999, 11 pp.
  91. L. Staiger. A Tight upper bound on Kolmogorov complexity by Hausdorff dimension and uniformly optimal prediction, Theory Comput. Systems, 31 (1998), 215-229.
  92. K. Svozil. One-to-one, Complexity 4,1 (1998), 25-29.
  93. K. Svozil. Randomness & Undecidability in Physics, World Scientific, Singapore, New Jersey, Hong Kong, 1993.
  94. K. Svozil. On the computational power of physical systems, undecidability, the consistency of phenomena and the practical use of paradoxa, in Fundamental Problems in Quantum Mechanics, Baltimore, June 18-23, 1994.
  95. K. Svozil. A constructivist manisfesto for the physical sciences-constructive re-interpretation of physical undecidability, in W. Depauli-Schimanovich, E. Koehler, F. Stadler (eds.). The Foundational Debate, Complexity and Constructivity in Mathematics and Physics, Kluwer, Dordrecht, 1995, 65-88.
  96. K. Svozil. On the computational power of physical sysytems, undecidability, the consistency of phenomena, and the practical uses of paradoxes, Ann. NY Acad. Sci., 755 (19995), 834-841.
  97. K. Svozil. Halting probability amplitude of quantum computers, J. UCS, 1 (1995), 201-203.
  98. K. Svozil. Quantum information theory, J. UCS 5 (1996), 311-346.
  99. K. Svozil. Undecidability everywhere?, in J. L Casti, A. Karlqvist (eds.). Boundaries and Barriers, Addison-Wiley, New York, 1996, 215-237.
  100. K. Svozil. The Church-Turing Thesis as a guiding principle for physics, in C. S. Calude, J. Casti, M. J. Dinneen (eds.). Unconventional Models of Computation, Springer-Verlag, Singapore, 1998, 371-385.
  101. K. Svozil. On self-reference and self-description, La Nuova Critica 29 (1997), 75-86.
  102. K. Svozil. Quantum Logic, Springer-Verlag, Singapore, 1998.
  103. K. Svozil, N. Neufeld. ``Linear" chaos via paradoxical set decompositions. Chaos, Solitons Fract. 7, 5 (1996), 785-793.
  104. I. Tomescu. On the asymptotic average length of a maximum common subsequence for words over a finite alphabet, Theoret. Computer Science 164 (1996), 277-285.
  105. I. Tomescu. On words containing all short subwords, Theoret. Comput. Sci. 197 (1998), 235-240.
  106. I. Tomescu. A threshold property concerning words containing all short factors, EATCS Bull. 64 (1998), 166-170.
  107. J. F. Traub, A. G. Werschulz. Complexity and Information, Cambridge University Press, Cambridge, 1998.
  108. E. H. Yang, S. Y. Shen. Chaitin complexity, Shannon-information content of a single event, and infinite random sequences 1, Sci. China Ser. A 34, 10 (1991), 1183-1193.
  109. E. H. Yang, S. Y. Shen. Chaitin complexity, Shannon-information content of a single event, and infinite random sequences 2, Sci. China Ser. A 34, 11 (1991), 1307-1319.
  110. V. A. Uspensky, A. Shen. Relations between varieties of Kolmogorov complexities, Math. Systems Theory 29 (1996), 271-292.
  111. B. Vidakovic. Algorithmic complexity, universal priors and Ockham's Razor, Resenhas do Instituto de Matematica e Estatistica da Universidade de Sao Paolo 3, 4 (1998), 359-390.
  112. G. Wiederhold. Digital libraries, value and productivity, Comm. ACM, 38, 4 (1995), 85-96.
  113. M. Zimand. On the topological size of P-M-complete degrees, Theoret. Comput. Sci. 147, 1-2 (1995), 137-147.
  114. Olivier J. Bousquet ``Kolmogorov complexity resources" page at:

  115.  

     

    http://www-stud.enst.fr/ obousque/.

  116. Shikano Lab databse at

  117.  

     

    http://isw3.aist-nara.ac.jp/IS/Shikano-lab/database/library/book-B616.html.

  118. Luc Devroye's ``Luc's library" at

  119.  

     

    http://www-cgrl.cs.mcgill.ca/ luc/lucbtcs.html.

  120. Steven Finch's ``Favorite Mathematical Constants: Chaitin's Constant'' at

  121.  

     

    http://www.mathsoft.com/asolve/constant/chaitin/chaitin.html.

  122. A bibliography on primality testing at

  123.  

     

    http://math.uwaterloo.ca/~shallit/bib/primes.bib

  124. Entropy in Logic and the Theory of Algorithms at

  125.  

     

    http://www.unibas.ch/mdpi/entropy/.

  126. Selected JACM citations at

  127.  

     

    http://theory.lcs.mit.edu/~jacm/References/ginsburg1958:266.html.

  128. Selected Information and Computation citations at

  129.  

     

    http://theory.lcs.mit.edu/~iandc/References/solomonoff1964:224.html.

  130. Lab 333, EE, NTU, Taiwan, bibliography on zero-knowledge at

  131.  

     

    http://crypto.ee.ntu.edu.tw/lab333/tech-rep/crypto/zero_knowledge/

  132. Yonezawa Lab's WWW server, at the Department of Information Science of the University of Tokyo, bibliography in quantum computation at

  133.  

     

    http://web.yl.is.s.u-tokyo.ac.jp/members/haruo/qc.html

  134. C. Herring. ``Books Recently Read'' at

  135.  

     

    http://csl.ncsa.uiuc.edu/~herring/books.html

  136. J. Borwein, P. Borwein, R. Girgensohn and S. Parnes. Experimental Mathematics: A Discussion at

  137.  

     

    http://www.cecm.sfu.ca/organics/vault/expmath/expmath/html/expmath.html

  138. Bibliography on the Busy Beaver Problem at

  139.  

     

    http://www.rpi.edu/ greeng3/interests/bb/bib/bib.html

  140. R. Greg Lavender. ``Recommended Reading'' at

  141.  

     

    http://www.cs.utexas.edu/ users/lavender/reading.html

  142. Nagoya selected home-page at

  143.  

     

    http://www.is.titech.ac.jp/labs/kobayasilab/ nagoya/URL-list.html.

  144. ``Who's Who In Combinatorics" at

  145.  

     

    http://www.combinatorics.net/who/.

  146. Presented in The Royal Society of New Zeland Science Digest (Science and Technology Alert 25), 17 April 1998. See http://www.rsnz.govt.nz/cgi-bin/new_news.
  147. Two books-C. Calude. Information and Randomness - An Algorithmic Perspective, Springer-Verlag, Berlin, 1994, and D. S. Bridges, C. S. Calude, J. Gibbons, S. Reeves, I. Witten (eds.). Combinatorics, Complexity, Logic, Proceedings of DMTCS'96, Springer-Verlag, Singapore, 1996)-have been included in Springer-Verlag selection Books in Complexity, March, 1998.
  148. L. Hemaspaandra and M. Ogihara. Reductions, Resources, and Robustness, http://www.cs.rochester.edu/u/lane/complexity.html.
  149. M. Gass' home-page at http://www.math.csbsju.edu/ mgass/info_theory/index.html.
  150. Mathematics in New Zealand: Past, Present and Future, Ministry of Research, Science and Technology, Wellington, New Zealand, http://www.mcs.vuw.ac.nz/~edith/front.html.

6  Teaching

6.1  Undergraduate Courses

Introduction to Programming, Mathematical Linguistics, Assembler Programming, Discrete Mathematics, Introduction to Computing I, Algebra for Computer Science, Formal Languages and Automata, General Topology, Programming Techniques, Elementary Mathematical Logic, Theory of Programming Languages, Data Structures and Algorithms, Computers in Juridical Sciences, Theory of Algorithms, Introduction to Computing II, Recursive Function Theory, Computational Complexity, Constructive and Computer Algebra, Constructive Analysis, History of Mathematics, Complexity of Parallel Computation, Automata Theory, Descriptive Complexity, Model Theory (Bucharest University, Bucharest, Romania, 1975-92), Introduction to Computing I, Topology and Logic (Hyperion University, Bucharest, Romania, 1991-2), Mathematical Foundations of Computer Science, Design and Analysis of Algorithms, Algorithmics, Mathematical Logic, History of Computing and Computers (University of Auckland, New Zealand, 1993-8).

6.2  Graduate Courses

Topological and Categorical Methods in Computer Science, Advanced Functional Programming, Logic for Computer Science, Advanced Computation Theory, Advanced Computational Complexity, Kolmogorov and Chaitin Complexity Theories, Models of Brain Behaviour, Constructive Measure Theory, Algorithmic Randomness, Incompleteness Theory (Department of Computer Science, Hyperion University, Bucharest, Romania, 1975-92), Algorithmic Information Theory (Complexity Theory) (University of Western Ontario, London, Canada, Fall 1992), Truths and Proofs, Algorithmic Information Theory (University of Auckland, New Zealand, 1993-8), Chaitin Complexity (Bucharest University, Romania, Fall 1994), Information Theory (Technical University of Vienna, Summer 1999).

6.3  Textbooks and Lecture Notes

  1. C. Calude. Algorithmic Information Theory, Lecture Notes, University of Western Ontario, London, 1992, 42 pp.
  2. C. Calude. Introduction to Computing. Lecture Notes for Mathematics Teachers, Bucharest University, Bucharest, 1988, 42 pp. (in Romanian)
  3. C. Calude. Theory of Algorithms. Recursiveness, Complexity and Constructivity, Bucharest University, Bucharest, 1987, 197 pp. (first edition), 1988, 208 pp (second edition). (in Romanian)
  4. C. Calude, V. E. Cazanescu. Introduction to Computing. Mathematical Logic Lecture Notes, Bucharest University, Bucharest, 1984, 96 pp. (in Romanian)
  5. C. Calude. Introduction to Computing. Laboratory Themes, Bucharest University, Bucharest, 1982, 66 pp. (in Romanian).

6.4  Ph.D. Students

  1. Marian Baroni. Quantum Computation, Bucharest University, Romania. (in progress)
  2. Mihaela Baroni. Quantum Computation, Bucharest University, Romania. (in progress)
  3. Cristian Grozea. Non-Binary Codings, Bucharest University, Romania. (in progress)
  4. Chi-Kou Shu. Special Problems in Algorithmic Information Theory, University of Auckland, New Zealand. (in progress)
  5. Asat Arslanov. Contributions to Algorithmic Information Theory, University of Auckland, New Zealand, 1998. Asat has got an AAR Research Fellowship with the Department of Computer Science of Monash University, Melbourne, Australia.
  6. Luminita Dediu. Constructive Theory of Operator Algebras, University of Canterbury, New Zealand (co-supervised with D. S. Bridges) (in progress).
  7. Cezar Câmpeanu. Topological Methods in Complexity Theory, Bucharest University, Romania, 1995. After holding a Post-Doctoral Fellowship with the Department of Computer Science, University of Western Ontario, London, Canada, he has currently a senior lectureship position with Bucharest University.
  8. Ileana Streinu. Grammatical Inference, Bucharest University, Romania, 1994. (co-supervised with S. Marcus and Gh. Paun) Ileana has got a Ph.D. degree in Computer Science, Rutgers University, USA, 1994. She has currently a position with Smith College, Massachusetts, USA.
  9. Marius Zimand. Positive Relativizations and Baire Classification, Bucharest University, Romania, 1991. He has got a Ph.D. in Computer Science from the University of Rochester, USA, 1996. Marius holds a position with the Georgia Southwestern College, Georgia, USA.
  10. Mihaela Malita. Learning Processes in Artificial Intelligence, Bucharest University, Romania, 1990. (co-supervised with S. Marcus) She has currently a lectureship position with Bucharest University.
  11. Serban Buzeteanu. Degrees of Effectivity in Computation Theory: Recursive, Analytical and Combinatorial Aspects, Bucharest University, Romania, 1988. (co-supervised with S. Marcus and I. Tomescu) He had (until his death in November 1994) a lectureship position with Bucharest University.
  12. Nelu Dima. Contributions to Recursive Function Theory, Bucharest University, Romania, 1986. (co-supervised with C. Popovici) He has a got a position with BEKO ``Die Computer Leute", Vienna, Austria.
  13. Monica Tataram. Logical, Analytical and Generative Models in the Study of Languages, Bucharest University, Romania, 1984. (co-supervised with S. Marcus and Gh. Paun) She has currently a lectureship position with Bucharest University.

6.5  Masters Students

  1. Qinghui Zeng. Randomness as an Invariant for Number Representations, University of Auckland, New Zealand, in progress.
  2. Margaret Ng. A Metric Lexical Analysis, University of Auckland, New Zealand, in progress.
  3. Terry Chiu. Testing Computational Complementarity For Finite Automata Using Distributed Object Technology, University of Auckland, New Zealand, in progress. (co-supervised with Elena Calude and R. Nicolescu)
  4. Peiming Liang. Randomness and Cellular Automata, University of Auckland, New Zealand, in progress.
  5. Yongyi Hu. Information-Theoretic Incompleteness, University of Auckland, New Zealand, 1998.
  6. Gordon Alford. DNA Computation: From Turing Machines to H Systems, University of Auckland, New Zealand, 1997. He is currently a Ph.D. student in Computer Science with TUCS, Turku University, Finland.
  7. Shane Legg. Solomonov Induction and Algorithmic Information Theory, University of Auckland, New Zealand, 1996. He is currently with Intelligenesis Corporation, New York, USA.
  8. Ion Mandoiu. An Extension of Gács Reducibility Theorem, Bucharest University, Romania, 1992. He is a Ph.D. student in Computer Science, Georgia University, USA.
  9. Ion Macarie. Applications of Chaitin Complexity to Software Engineering, Bucharest University, Romania, 1991. He has got a Ph.D. degree in Computer Science, University of Rochester, USA, 1994. He has a position with Millennium Computer Corp., Rochester, USA.
  10. Nicolae Duta. Representable P. Martin-Löf Tests, Bucharest University, Romania, 1991. He has got a Master Degree in Applied Mathematics, Université Paris-Sud, France, 1994. He is currently a Ph.D. student in Computer Science, Iowa State University, USA.
  11. Ana-Maria Salajean (Mandache). Kraft-Chaitin Inequality and Applications in Computer Algebra, Bucharest University, Romania, 1989. She has got a Ph.D. degree in Computer Science from RISC, Johanes Kepler University, Austria. Ana-Maria is currently with the Computer Science Department, Bucharest University.
  12. Eva Kurta. An Extension of Kraft-Chaitin Theorem, Bucharest University, Romania, 1989.
  13. Cezar Câmpeanu. Variants of Post Correspondence Problem, Bucharest University, Romania, 1988. See his current status in subsection 6.4.
  14. Marius Zimand. Complexity of Probabilistic Algorithms, Bucharest University, Romania, 1983. (co-supervision with D. Vaida) See his current status in subsection 6.4.
  15. Valentin Vieru. Recursion and Iteration. Efficient Translations, Bucharest University, Romania, 1981. He is currently with Canada Computers, Toronto, Canada.
  16. Brâdusa Fântâneanu. Recursive and Non-Primitive Recursive Functions, Bucharest University, Romania, 1978.

6.6  Other Graduate Supervision

  1. Terry Chiu (1998): An Infrastructure for Testing Computational Complementarity Using Java Aglets, University of Auckland, New Zealand. (co-supervised with Elena Calude and R. Nicolescu)
  2. Gerard P. Atkinson (1997-8): Information-Theoretic Incompleteness, University of Auckland, New Zealand.
  3. Gordon Alford (1996): Modeling DNA Computation, University of Auckland, New Zealand. See his current status in subsection 6.5.
  4. Luminita Dediu (1990-1994): Constructive Algebra. She has currently a lectureship position with the University ``Dunarea de Jos'', Galati, Romania.
  5. Gabriel Istrate (1988-1992): Topological Methods in Recursive Function Theory. He got a Ph.D. degree from the University of Rochester, USA. he has currently a post-doc position with the Center for Nonlinear Studies and CIC-3 Divison, Los Alamos National Laboratory, USA.
  6. Gabriel Ciobanu (1988-1991): Programming Logic. He has got a Ph.D. degree from the University ``Alex.I.Cuza'', Iasi, Romania, 1990 where he holds an associate-professorship position.
  7. Lila Kari (Sântean) (1985-1987): Hierarchies of Primitive Recursive String-Functions. She has got a Ph.D. degree from Turku University, Finland, 1991. She has currently a position with the University of Western Ontario, London, Canada.
  8. Daniel Naie (1985-1986): Equations on Free Monoids. He has got a Ph.D. degree from the University Paris XI, Orsay, France, 1994. He holds an associate-professorship position with the Université d'Angers, France.
  9. Viorel Vâjâitu (1981-1982): Exotic Numeration Systems. He has got a Ph.D. degree from the Institute of Mathematics, Romanian Academy where he has currently a senior research position.
  10. Victor Vianu (1975-1976): Metrics on Free Monoids. He received his Ph.D. from the University of California, San Diego, where he is currently Professor of Computer Science.

6.7  Teaching Impact

Excellent student feedback; consistently scoring an average greater than 5.5 (on the scale 1-7) in student teaching evaluations.

Various textbooks and expository papers are used as support for courses in many universities around the world, e.g., Stanford University (USA), University of Chicago (USA), National Defense University (USA), Universidad De Granada (Spain), University of Ulm (Germany), Martin-Luther-Universität Halle-Wittenberg (Germany), Asian Institute of Technology (Thailand), University of Western Ontario (Canada), Siena University (Italy), Technical University of Vienna (Austria), Bucharest University (Romania). Here are some relevant web citations:

  1. Karin Seifert-Lorenz, Christoph F. Strnadl, Andreas Eichler use the book Theories of Computational Complexity for their course ``Symbolische Mathematik in der Theoretischen Physik", http://tph.tuwien.ac.at/ www/teaching/mma/Welcome.html.
  2. ``AT02.20 Theory of Computation'' at Asian Institute of Technology is using the book Theories of Computational Complexity,

  3.  

     

    http://cs.ait.ac.th/csinfo/courses.html.

  4. ``Complejidad Algoritmica'', ``Modelos de Informatica Teorica'' and ``Introduccion a la complejidad algoritmica'' at Universidad De Granada are using Theories of Computational Complexity:

  5.  

     

    http://decsai.ugr.es/docencia/li_complejidad.html,
    http://decsai.ugr.es/~castro/CA/node20.html.

  6. The book Information and Randomness is used for the following courses: Algorithmische Informationstheorie at the University of Ulm

  7.  

     

    http://hermes.informatik.uni-ulm.de/ti/Lehre/WS9697/Informationstheorie/

    index.html

    by Prof. Dr. U. Schöning, and Theoretische Informatik II\ Ausge\"wahlte Kapitel der Theoretischen Informatik at Martin-Luther-Universität Halle-Wittenberg

    http://www.mathematik.uni-halle.de/ fachschaft/ws96/theo1.html

    by Prof. Dr. L. Staiger.

  8. Standford University: ``Papers and Books for CS 446 and Beyond'' at

  9.  

     

    http: //www-db.stanford.edu/pub/gio/CS446/biblio.html.

  10. Former students home-pages:

  11. G. Istrate at

    http://www.cs.rochester.edu/ users/grads/istrate/init.html

    I. Streinu at

    http://cs.smith.edu/ streinu/bookmarks.html

    Keith Wansbrough at

    http://www.dcs.gla.ac.uk/people/personal/ keithw/papers.html

    P. Leung at

    http://www.interworld.com/ Staff/Patrick/varsity.htm

    F. Surette at

    http://www.cyberus.ca/~surette/.

  12. S. Wray. Evolutionary Computation, Masters Thesis, University of Victoria in Wellington,

  13.  

     

    http://www.mcs.vuw.ac.nz/ stevew/thesis/.

  14. Marjo Lipponen matematiikan väitöskirja vuoden 1996 paras Nevanlina-palkinto turkulaistutkijale, Turum Sanomat, 22 April 1998, p. 11.

7  Service and Administration

7.1  Selected Committee Work

  1. Member, Department Staffing Committee, Department of Computer Science, University of Auckland, New Zealand, 1998-9.
  2. Chair, Graduate Student Support Committee, Department of Computer Science, University of Auckland, New Zealand, from August 1994 to December 1996.
  3. Member, University of Auckland Senate, University of Auckland, New Zealand, from April 1994 on.
  4. Member, Hyper-Media Unit, University of Auckland, New Zealand, from January 1994 to December 1995.
  5. Member, Pure Mathematics Committee, School of Mathematical & Information Sciences, University of Auckland, New Zealand, from May 1993 to December 1999.
  6. Member, Standing Committee on Informatics, Board of Studies in Mathematical & Information Sciences, University of Auckland, New Zealand, from August 1993 on.
  7. Chair, Working Group on Theoretical Computer Science, University of Auckland, Auckland, New Zealand, from April 1993 on.
  8. Dean, Faculty of Mathematics, Hyperion University, Bucharest, Romania, from October 1991 to October 1992.
  9. Member, Appointment and Promotion Committee, Bucharest University, Romania, from September 1990 to September 1992.
  10. Member, Committee on Mathematics Education, Bucharest University, Romania, from September 1990 to September 1992.
  11. Member, Computer Science Ph.D. Committee, Bucharest University, Romania, from April 1990 on.
  12. Member, Library Committee, Faculty of Mathematics, Bucharest University, Romania, from September 1988 to November 1990.
  13. Member, Graduation Executive Committee, Bucharest University, Romania, from September 1981 to September 1990.
  14. Head of the Computer Science Department, School for Computer Science, Bucharest, Romania, from January 1978 to October 1978.

7.2  Editorial Activity

  1. Book Series Editor: Discrete Mathematics and Theoretical Computer Science Series, Springer-Verlag, Singapore (from 1996 on).
  2. Editor-in-Chief, Journal of Universal Computer Science, Springer-Verlag (from 1994 on).
  3. Member of the Editorial Board of the following journals: Analele Universitatii Bucuresti, Matematica-Informatica (from 1988 on), Journal of Computing and Information (from 1995 on), Grammars (from 1997 on), Fundamenta Informaticae (from 1997 on), Romanian Journal of Information Science and Technology (from 1998 on).
  4. Associate-Editor, Handbook of Formal Languages, Springer-Verlag, Berlin, 1997.

7.3  Conferences and Workshops

7.3.1  Programme Committee

  1. First Conference on Theoretical Computer Science and Informatics Technologies, Eforie, Romania, May 2000.
  2. The 8-th International Conference on Algebraic Methodology And Software Technology (AMAST'2000), Iowa City, USA, May 2000.
  3. Third International Colloquium on Words, Languages and Combinatorics, Kyoto, Japan, March 2000.
  4. Workshop on Constructivity, Complexity and Fuzzyness (CCF'99), Galati, Romania, August 1999.
  5. 12th International Symposium on Foundations of Computation Theory (FCT'99), Iasi, Romania, August-September, 1999.
  6. Molecular Computing, A Satellite Workshop to MFCS'98, Brno, Czech Republic, August, 1998.
  7. Randomized Algorithms, A Satellite Workshop to MFCS'98, Brno, Czech Republic, August, 1998.
  8. Computing: the Australian Theory Seminar (CATS'98), Perth, Australia, January, 1998.
  9. Romanian Internet Learning Workshop (``Internet as a Vehicle for Teaching''), Ilieni, Romania, June 1997.
  10. Twentieth Australasian Computer Science Conference (ACSC'97), Sydney, Australia, February, 1997.
  11. Computing: the Australian Theory Seminar (CATS'97), Sydney, Australia, January, 1997.
  12. International Conference Discrete Mathematics and Theoretical Computer Science (DMTCS'96), Auckland, New Zealand, December, 1996.
  13. Summer School ``Chaitin Complexity and Applications'', Black Sea University, Mangalia, Romania, July 1995.
  14. The 22nd International Colloquium on Automata, Languages, and Programming (ICALP'95), Szeged, Hungary, July 1995.
  15. Symposium Salodays in Auckland, The University of Auckland, Auckland, New Zealand, February, 1994.
  16. The 9th Romanian Symposium on Computer Science'93 (ROSYCS'93), Iasi, Romania, 1993.
  17. National Colloquium Info-Iasi, Iasi, Romania, 1983, 1985, 1987, 1989.

7.3.2  Organising Committee

  1. Workshop on Multiset Processing (Mathematical, Computer Science, Molecular Computing Approaches), Curtea de Arges, Romania, August 2000.
  2. Workshop on Constructivity, Complexity and Fuzzyness (CCF'99), Galati, Romania, August, 1999.
  3. DMTCS'99-CATS'99, University of Auckland, Auckland, New Zealand, January, 1999. (Chair)
  4. The Second Japan-New Zealand Workshop on Logic In Computer Science, University of Auckland, Auckland, New Zealand, October, 1998. (Co-chair)
  5. The First International Conference UMC'98, Unconventional Models of Computation, University of Auckland, Auckland, New Zealand, January, 1998. (Chair)
  6. The First Japan-New Zealand Workshop on Logic In Computer Science, University of Auckland, Auckland, New Zealand, August, 1997. (Co-chair)
  7. International Conference DMTCS'96, Discrete Mathematics and Theoretical Computer Science, Auckland, New Zealand, December, 1996. (Co-chair)
  8. Summer School ``Chaitin Complexity and Applications'', Black Sea University, Mangalia, July, 1995. (Chair)
  9. Symposium Salodays in Auckland, University of Auckland, Auckland, New Zealand, February, 1994. (Chair)
  10. Conference Does God Play Dice?, University of Auckland, Auckland, New Zealand, February, 1993. (Chair)
  11. Symposium SALODAYS in Theoretical Computer Science, Bucharest University, Bucharest, Romania, June, 1992. (Co-chair)
  12. Workshop There Are Only 3000 Days Before the Year 2000, Romanian Academy, Bucharest, Romania, 1991. (Co-chair)
  13. Workshop on Mathematics and Computer Science Education for the 21th Century, Romanian Academy and CEPES-UNESCO, Bucharest, Romania, 1990. (Co-chair)
  14. Workshop How to Cope with Complexity, Romanian Academy, Bucharest, Romania, 1988. (Chair)
  15. Symposium on Mathematics and Computer Science dedicated to the 60th Birthday Anniversary of Professor Solomon Marcus, Bucharest University, Bucharest, Romania, March, 1985.
  16. Symposium on Human Needs (Project GPID), UNU, Tokyo and CEPES-UNESCO, Bucharest, Romania, 1980.

7.3.3  Session Chair

  1. DLT'99 (Developments in Language Theory), Aachen, Germany, July 1999.
  2. ITALLC'98, Third International Conference on Information-Theoretic Approaches to Logic, Language, and Computation, Hsi-tou, Taiwan, June, 1998.
  3. CATS'96 (Computing: the Australian Theory Seminar), Melbourne, Australia, January, 1996.
  4. Open Problem Session, Summer School ``Chaitin Complexity and Applications'', Black Sea University, Mangalia, July 1995.
  5. Symposium Results and Trends in Theoretical Computer Science, Graz, Austria, June, 1994.
  6. Symposium Salodays in Auckland, University of Auckland, Auckland, New Zealand, March, 1994.
  7. Section P4: Theory of Computer Science-Research & Teaching, Informatics Workshops 1993, University of Auckland, New Zealand, August, 1993.
  8. Section: Formalism and Software Engineering, 13th N.Z. Computer Society Conference, Auckland, New Zealand, August, 1993.

7.4  External Evaluator

  1. Referee for the journals: Revue Roumaine de Mathématiques Pures et Appliquées, Bulletin Mathématique de la Societé Mathématique de Roumanie, Studii si Cercetari Matematice,Kybernetika, Theoretical Computer Science, Notre Dame Journal of Formal Logic, Complexity, Theory of Computing Systems, Soochow Journal of Mathematics, Trends in Biotechnology, Journal of Symbolic Logic, Discrete Applied Mathematics, Journal of Logic, Language and Information, SIAM J. on Computing.
  2. Referee for DLT'99 (Developments in Language Theory), Aachen, Germany, 1999, 1999 IEEE Conference on Computational Complexity, USA, 1999, FCT'97 (Fundamentals of Computation Theory), Krakow, Poland, 1997, AFL'96 (8th Conference on Automata and Formal Languages), Salgotarjan, Hungary, 1996, CATS'96 (Computing: the Australian Theory Seminar), October, Australia, 1995.
  3. Referee, Natural Sciences and Engineering Reseaerch Council of Canada, December, 1998, Grant Agency, Academy of Sciences of the Czech Republic, Praha, Czech Republic, July 1998, Public Good Science Fund, Foundation for Research and Technology, Wellington, New Zealand, January 1998. Member, Marsden Fund Selection Panel, Foundation for Research and Technology, Wellington, New Zealand, July 1995.
  4. Referee for the Appointment Committee, University of Canterbury, New Zealand, October 1997, May 1996, Standing Committee of Senate, University of Manchester, United Kingdom, August, 1995, Collegiate Personnel Committee, University of Massachusetts, Boston, Ma., USA, May 1995.
  5. Reviewer for the section Algebra, Logic & Foundations of the Report New Zealand Knowledge Base Profiles: The Mathematical Sciences,  The Royal Society of New Zealand,  1997.
  6. Reviewer for Mathematical Reviews (from 1976 on), Zentralblatt für Mathematik (from 1979 on), Computing Reviews (from 1983 on).
  7. Referee for the publishing houses Academiei, and Stiintifica, (Romania), Springer-Verlag (Heidelberg), Scientific World (Singapore).

7.5  Reader of Ph.D. and Masters Theses

  1. Lynda E. Robbins. Modelling Cryptographic Systems, University of Western Ontario, London, Canada, 1998 (Ph.D. Thesis).
  2. Kahn Mason. Notes on the Parallel Decomposition Theory for Finite State Machines, Canterbury University, New Zealand, 1998 (Masters Thesis).
  3. John Pearson. Heuristic Search in Route Finding, University of Auckland, New Zealand, 1998 (Masters Thesis).
  4. Robin Siale Havea. Constructive Operator Theory on Hilbert Space, Waikato University, Hamilton, New Zealand, 1998 (Masters Thesis).
  5. Yuchuan Wang. Constructive Theory of Partial Differential Equations, Waikato University, Hamilton, New Zealand, 1996 (Ph.D. Thesis).
  6. Robert Blandford. Type Algebra, University of Auckland, New Zealand, 1996 (Masters Thesis).
  7. Hacic-Cristian Kevorchian. Reasoning by Analogy and Applications to Automated Theorem-Proving, Bucharest University, Romania, 1995 (Ph.D. Thesis).
  8. Klaus-Hilmar Sprenger. Hierarchies of Primitive Recursive Functions on Term Algebras, Universität-GH-Siegen, Germany, 1995 (Ph.D. Thesis).
  9. Rodica Ceterchi. Topology, Categories, Learning, Bucharest University, Romania, 1992 (Ph.D. Thesis).

7.6  Professional Societies

  1. American Mathematical Society, from 1976 on.
  2. Romanian Mathematical Society, from 1976 to 1990.
  3. European Association for Theoretical Computer Science, from 1983 on.
  4. New Zealand Computer Science Society, from 1993 to 1995.
  5. New Zealand Mathematical Society, from 1993 on.
  6. European Association for Computer Science Logic, from 1994 on.
  7. Kurt Gödel Society, from 1996 on.
  8. European Mathematical Society, from 1997 on.
  9. The Royal Society of New Zealand, from 1997 on. (member)
  10. International Scientific Council, Black Sea University, Bucharest, Romania, 1994 on.
  11. New York Academy of Sciences, 1994-1996.
  12. Council of the European Association for Theoretical Computer Science, 1995-2000.

8  Special Recognition

  1. Mathematical Student Prize, Faculty of Mathematics, Bucharest University, Romania, 1975.
  2. Computing Reviews Award, Association for Computing Machinery, New York, USA, 1986.
  3. Gheorghe Lazar Mathematics Prize, Romanian Academy, Romania, 1988.
  4. 1994 New Zealand Computer Science Visiting Lecturer.

File translated from TEX by TTH, version 2.25.
On 8 Mar 2000, 07:48.