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
-
Professor (Personal Chair in Computer Science), Computer Science Department,
University of Auckland, Auckland, New Zealand, from April 1994 on.
-
Adjunct Professor, Faculty of Mathematics and Informatics, ``Ovidius"
University of Constanta, Romania, from November 1999 on.
-
Adjunct Professor, Department of Foundations of Computer Science, Faculty
of Mathematics, Bucharest University, Romania, from February 1994 on.
-
Associate Professor (May 1993 to March 1994), lecturer (December 1992 to
May 1993), Computer Science Department, University of Auckland, Auckland,
New Zealand.
-
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.
-
Mathematics and Computer Science Teacher, School for Computer Science,
Bucharest, Romania, from September 1975 to October 1978.
4.2 Research Positions
-
Research Associate, University of Canterbury, Christchurch, New Zealand,
from November 1999 on.
-
Associate Member of the International Solvay Institutes, Brussels Free
University, Brussels, Belgium, from June 1998 on.
-
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.
-
Head of the Symbolic Computation Division, Bucharest University, Romania,
from November 1991 to December 1994.
-
Senior Researcher and Scientific Secretary, Committee on Prospective Studies,
Romanian Academy, Bucharest, Romania, from April 1989 to September 1992.
-
Mathematics Researcher, Department of Mathematics, INCREST, Bucharest,
Romania, from September 1984 to February 1985.
-
Senior Computer Scientist, Department of Compiler Design, Research Institute
for Computer Technique, Bucharest and Cluj, Romania, from September 1981
to July 1982.
-
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
-
Monbusho Visiting Professor, Japan Advanced Institute of Science and Technology,
September-December, 1999.
-
Gastprofessor, Institut für Theoretische Physik, Technischen Universität
Wien, Austria, June, 1994, and May-June, 1999.
-
Visiting Researcher, Sandia National Laboratories, Albuquerque, USA, April,
1999.
-
Visiting Professor, Department of Computer Science, University of Western
Ontario, London, Canada, Fall 1992, October-November 1993, and February-March,
1999.
-
Visiting Professor, Department of Mathematics, University of Chicago, Chicago,
USA, February, 1999.
-
Visiting Researcher, International Solvay Institutes, Brussels Free University,
Brussels, Belgium, June 1998.
-
Visiting Researcher, Danish Mindship Foundation, Copenhagen, Denmark, June-July,
1996.
-
Visiting Professor, Department of Mathematics, Turku University, Turku,
Finland, April-May, 1991.
5 Research
5.1 Papers in Refereed Journals
-
C. S. Calude, P. Hertling, H. Jürgensen, K. Weihrauch. Randomness
on Full Shift Spaces, Chaos, Solitons & Fractals, 1 (2000),
1-13.
-
C. S. Calude. A characterization of c.e. random reals, Theoret. Comput.
Sci., in press.
-
C. S. Calude, G. Paun, Monica Tatarâm. A glimpse into natural computing,
J.
Multi-Valued Logic, 2000, in press.
-
C. S. Calude, Elena Calude, Terry Chiu, Monica Dumitrescu, R. Nicolescu.
Testing computational complementarity for Mermin automata,
J. Multi-Valued
Logic, 2000, in press.
-
C. S. Calude, P. Hertling, B. Khoussainov, Y. Wang. Recursively enumerable
reals and Chaitin W numbers, Theoret. Comput.
Sci., in press.
-
C. S. Calude, Elena Calude, B. Khoussainov. Finite nondeterministic automata:
simulation and minimality, Theoret. Comput. Sci. 215 (1999), in
press.
-
C. S. Calude, Marjo Lipponen. Computational complementarity and shift spaces,
Chaos,
Solitons & Fractals 11 (2000), 315-319.
-
C. S. Calude, G. J. Chaitin. Randomness everywhere, Nature, 400,
22 July (1999), 319-320.
-
C. S. Calude, F. W. Meyerstein. Is the universe lawful? Chaos, Solitons
& Fractals 10, 6 (1999), 1075-1084.
-
C. S. Calude, P. H. Hertling, K. Svozil. Embedding quantum universes into
classical ones, Foundations of Physics, 29, 3 (1999), 349-379.
-
D. Bridges, C. Calude, B. Pavlov, D. Stefanescu. The inverse function theorem-a
constructive approach, Chaos, Solitons & Fractals 10, 6 (1999),
927-934.
-
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.
-
C. S. Calude, T. Zamfirescu. Most numbers obey no probability laws, Publicationes
Mathematicae Debrecen, Tome 54 Supplement (1999), 619-623.
-
C. S. Calude, J. L. Casti. Silicon, molecules, or photons? Complexity
4, 1, (1998), 13.
-
C. S. Calude, Elena Calude, C. Stefanescu. Computational complementarity
for Mealy automata, EATCS Bull. 66 (1998), 139-149.
-
C. S. Calude, P. Hertling. Computable approximations of reals: An information-theoretic
analysis, Fundamenta Informaticae 33 (1998), 1-16.
-
C. S. Calude, J. L. Casti. Parallel thinking, Nature 392, 9 April
(1998), 549-551.
-
C. S. Calude, J. L. Casti, P. B. Gibbons, Marjo Lipponen. Unconventional
models of computation: A conventional report, Complexity 3, 4 (1998),
8-11.
-
C. S. Calude, P. H. Hertling, K. Svozil. Kochen-Specker theorem: Two geometric
proofs, Tatra Mt. Math. Publ. 15 (1998), 133-142.
-
C. Calude, T. Zamfirescu. The typical number is a lexicon, New Zealand
Journal Math. 27 (1998), 7-13.
-
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.
-
C. S. Calude, A. Nies. Chaitin W numbers and
strong reducibilities, J. UCS 3 (1997), 1161-1166.
-
C. S. Calude, I. Tomescu. Optimum extendible prefix codes, J. UCS
3 (1997), 1167-1179.
-
C. Calude, Elena Calude, B. Khoussainov. Deterministic automata: simulation,
universality and minimality, Annals of Applied and Pure Logic 90,
1-3 (1997), 263-276.
-
C. Calude, P. Hertling, B. Khoussainov. Do the zeros of Riemann's zeta-function
form a random sequence? EATCS Bull. 62 (1997), 199-207.
-
C. Calude, Elena Calude, K. Svozil, S. Yu. Physical versus computational
complementarity I, International Journal of Theoretical Physics
36 (1997), 1495-1523.
-
C. Calude, S. Yu. Language-theoretic complexity of disjunctive sequences,
Discrete
Appl. Mathematics 80 (1997), 199-205.
-
C. Calude. The finite, the unbounded and the infinite, J. UCS 2
(1996), 242-244.
-
C. Calude and C. Grozea. Kraft-Chaitin inequality revisited, J. UCS
2 (1996), 306-310. (MR 97c:68070)
-
C. Calude. Algorithmic information theory: Open problems, J. UCS
2 (1996), 439-441. (MR 97f:68080)
-
C. Calude, C. Câmpeanu. Are binary codings universal?, Complexity
1, 15 (1996), 47-50. (MR 97a:68086)
-
C. Calude, M. Zimand. Effective category and measure in abstract complexity
theory, Theoret. Comput. Sci. 154 (1996), 307-327. (MR 97a:68060)
-
G. J. Chaitin, A. Arslanov, C. Calude. Program-size complexity computes
the halting problem, EATCS Bull. 57 (1995), 198-200.
-
C. Calude. What is a random string? J. UCS, Vol. 1,1 (1995), 48-66.
-
C. Calude, M. Tataram. Three theories of computational complexity. Extended
abstract, An. Univ. Iasi, Inf. 3 (1994), 45-52.
-
C. Calude, H. Jürgensen, M. Zimand. Is independence an exception?,
Appl.
Math. Comput. 66 (1994), 63-76. (MR 96c:03113, Zbl 822# 03024)
-
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)
-
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)
-
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)
-
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)
-
C. Calude. Relativized topological size of sets of partial recursive functions,
Theoret.
Comput. Sci. 87 (1991), 347-352. (MR 92h: 03060, Zbl 814#0303)
-
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)
-
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)
-
C. Calude, Eva Kurta. On Kraft-Chaitin inequality, Rev. Roumaine Math.
Pures Appl. 35 (1990), 597-604. (MR 92C: 94004, Zbl 731#68056)
-
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)
-
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)
-
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)
-
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)
-
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)
-
C. Calude. Super-exponentials non-primitive recursive, but rudimentary,
Inform.
Process. Lett. 25 (1987), 311-315. (MR 88j: 03026, Zbl 632#03036)
-
C. Calude. Note on Ehrenfeucht's conjecture and Hilbert's basis theorem,
EATCS
Bull. 29 (1986), 18-22.
-
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)
-
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)
-
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)
-
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)
-
C. Calude, I. Chitescu. A class of universal P. Martin-Löf tests,
EACTS
Bull. 23 (1984), 15-22.
-
C. Calude, I. Chitescu. Representability of recursive P. Martin-Löf
tests, Kybernetika (Prague) 19 (1983), 526-536. (MR 85h: 03040,
Zbl 529#03021)
-
C. Calude. A simple non-uniform operation, EATCS Bull. 20 (1983),
40-46.
-
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)
-
C. Calude, Gh. Paun. Independent instances for some undecidable problems,
RAIRO
Inform. Theor. 17 (1983), 49-54. (MR 85d: 03087, Zbl 517#03022)
-
C. Calude. On a class of independent problems related to Rice theorem,
ACM
SIGACT News 15 (1983), 53-57. (Zbl 535#03020)
-
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)
-
C. Calude, I. Chitescu. On representability of P. Martin-Löf tests,
Kybernetika
(Prague) 19 (1983), 42-47. (MR 85h: 03040, Zbl 529#03020)
-
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)
-
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)
-
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)
-
C. Calude, I. Chitescu. Strong noncomputability of random strings, Internat.
J. Comput. Math. 11 (1982), 43-45. (MR 83h: 68066, Zbl 486#03026)
-
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)
-
C. Calude, Elena Calude. A metrical method for multicriteria decision making,
St.
Cerc. Mat. 34 (1982), 223-234. (in Romanian) (Zbl 523#90004)
-
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)
-
M. Andrasiu, C. Calude, Gh. Paun. Possibilities of multicriteria decision
making, St. Cerc. Mat. 34 (1982), 87-103. (in Romanian) (Zbl 505#90004)
-
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)
-
C. Calude, Gh. Paun. Global syntax and semantics for recursively enumerable
languages, Fund. Inform. 4 (1981), 245-254. (MR 83h: 68133, Zbl
473#68068)
-
C. Calude. Darboux property and primitive recursive functions, Rev.
Roumaine Math. Pures Appl. 26 (1981), 1187-1192. (MR 84h: 03100, Zbl
481#03028)
-
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)
-
C. Calude, Elena Calude. On the ``rationality'' of Onicescu's method for
multicriteria making, Rev. de Statistica 30 (1981), 58-60. (in Romanian)
-
C. Calude, S. Marcus. Man-computer communication, Rev. Roumaine Ling.
26 (1981), 103-112.
-
C. Calude, Gh. Paun. The absence of contextual ambiguities in programming
languages, Rev. Roumaine Ling. Cahiers Ling. Theor. Appl. 18 (1981),
91-110.
-
M. Andrasiu, C. Calude, Gh. Paun. Some extensions of the multicriteria
decision problem, Rev. de Statistica 29 (1980), 43-49. (in Romanian)
-
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)
-
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)
-
C. Calude, V. E. Cazanescu. On topologies generated by Moisil resemblance
relations, Discrete Math. 25 (1979), 109-115. (MR 80i: 54003, Zbl
412#54010)
-
C. Calude, S. Marcus, Gh. Paun. The universal grammar as a hypothetical
brain, Rev. Roumaine Ling. 27 (1979), 479-489.
-
C. Calude. Categorical methods in computability theory II, St. Cerc.
Mat. 30 (1978), 361-383. (in Romanian) (MR 80m: 03110a, Zbl 405#03025)
-
C. Calude. Categorical methods in computability theory I, St. Cerc.
Mat. 30 (1978), 253-277. (in Romanian) (MR 80m: 03110b, Zbl 381#03028)
-
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)
-
C. Calude. On the category of recursive languages, Mathematica (Cluj)
19 (42), (1978), 29-32. (MR 80b: 03056, Zbl 384#03029)
-
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)
-
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)
-
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)
-
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)
-
C. Calude. On the metrizability of a free monoid, Discrete Math.
16, 19 (1976), 307-310. (MR 58#22347, Zbl 337#68053)
-
C. Calude. On contextual distances in mathematical linguistics, St.
Cerc. Mat. 28 (1976), 31-35. (in Romanian) (MR 53#12092, Zbl 339#68050)
-
C. Calude. Some arguments against the formal character of programming languages,
Rev.
Roumaine Ling.-Cahiers Ling. Theor. Appl. 13 (1976), 257-264. (in French)
-
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)
-
C. Calude. A statistical experiment in Assembler 360, Cahiers Ling.
Theor. Appl. 11 (1974), 219-230. (in French)
-
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)
-
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
-
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).
-
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.
-
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.
-
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.
-
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.
-
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.
-
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)
-
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)
-
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.
-
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.
-
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.
-
C. S. Calude, P. Hertling, B. Khoussainov, Y. Wang. Recursively enumerable
reals and Chaitin W numbers, in M. Morvan, C.
Meinel, D. Krob (eds.).
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.
-
C. Calude. Computability and information, in E. Craig (ed.). Routledge
Encyclopedia of Philosophy, Routledge, London, Vol. 2 (1998), 477-482.
(invited)
-
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.
-
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)
-
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)
-
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.
-
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.
-
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)
-
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.
-
C. Calude, H. Maurer. Pocket mathematics, in Gh. Paun (ed.). Mathematical
Aspects of Natural and Formal Languages, Scientific World, Singapore,
1994, 13-41. (invited)
-
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)
-
C. Calude, A. Salomaa. Algorithmically coding the universe, in G. Rozenberg,
A. Salomaa (eds.). Developments in Language Theory, World Scientific,
Singapore, 1994, 472-492.
-
C. Calude. Borel normality and algorithmic randomness, in G. Rozenberg,
A. Salomaa (eds.). Developments in Language Theory, World Scientific,
Singapore, 1994, 113-129. (invited)
-
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)
-
C. Calude. Meanings and texts: An algorithmic metaphor, in M. Balat, J.
Deledalle-Rhodes (eds.). Signs of Humanity, Mouton de Gruyter, 1992,
95-97.
-
C. Calude. On B. Russell definition of mathematics, Proc. National Symposium
Info-Iasi'89, 52-59. (in Romanian) (invited)
-
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)
-
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)
-
C. Calude. Romanian results in recursive function theory: 1927-1987, Proc.
Computer Center Anniversary Symposium, Bucharest University,
1987, 16-22. (in Romanian) (invited)
-
C. Calude, D. Vaida. Ehrenfeucht's property and constructivity, Proc.
National Symposium Info-Iasi'87, 1-16. (in Romanian) (invited0
-
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)
-
C. Calude. Dilemmas of computational complexity, in C. Iacob (ed.). Mathematics,
Today and Tomorrow, Ed. Academiei, Bucharest, 1985, 63-73. (in Romanian)
(invited)
-
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)
-
C. Calude. On a class of independent problems related to Rice's theorem,
Proc.
National Symposium Info-Iasi'83, 29-32. (in Romanian)
-
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)
-
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.
-
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)
-
C. Calude, I. Chitescu. On Per Martin-Löf random sequences, Proc.
National Symposium Info-Iasi'81, 1-5. (in Romanian)
-
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.
-
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.
-
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)
-
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)
-
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)
-
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)
-
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
-
C. S. Calude, G. Paun. Computing with Cells and Atoms, Taylor &
Francis Publishers, London, 2000. (in progress)
-
C. S. Calude. Constructive Mathematics, Ed. stiintifica, Bucharest,
1995, 123 pp. (in Romanian)
-
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)
-
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)
-
C. Calude. Computational Complexity. Qualitative Aspects, Ed. stiintifica
si enciclopedica, Bucharest, 1982, 300 pp. (in Romanian) (Zbl 619#03029)
-
C. Calude. True, but Unprovable, Ed. stiintifica si enciclopedica,
Bucharest, 1988, 110 pp. (in Romanian) (Zbl 654#03001)
-
C. Calude, Gh. Paun. The Mathematical Model: Tool and Viewpoint,
Ed. stiintifica si enciclopedica, Bucharest, 1982, 140 pp. (in Romanian)
-
C. Calude. What Are the Programming Languages?, Ed. stiintifica
si enciclopedica, Bucharest, 1978, 100 pp. (in Romanian)
5.4 Proceedings Editor
-
C. S. Calude, G. Paun (eds.). Finite Versus Infinite. Contributions
to an Eternal Dilemma, Springer-Verlag, London, 2000, x+371 pp.
-
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.
-
C. S. Calude, M. Dinneen (eds.). Combinatorics, Computation, Logic,
Proceedings of DMTCS'99-CATS'99, Springer-Verlag, Singapore, 1999,
368 pp.
-
C. Calude, H. Maurer, A. Salomaa (eds.), J.UCS-The Journal of Universal
Computer Science, Vol. 3-1998, Springer, Berlin, 1998, 1417 pp.
-
C. S. Calude, J. L. Casti (eds.). Unconventional Models of Computation,
Complexity,
Vol. 4, 1, (1998), 13-42. (special issue)
-
C. S. Calude (ed.). People and Ideas in Theoretical Computer Science,
Springer-Verlag, Singapore, 1998, 341 pp.
-
C. Calude, H. Maurer, A. Salomaa (eds.), J.UCS-The Journal of Universal
Computer Science, Vol. 2-1996, Springer, Berlin, 1998, 860 pp.
-
C. S. Calude, J. Casti, M. Dinneen (eds.). Unconventional Models of
Computation, Springer-Verlag, Singapore, 1998, 416 pp.
-
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)
-
C. Calude, H. Maurer, A. Salomaa (eds.). J.UCS-The Journal of Universal
Computer Science, Vol. 1-1995, Springer, Berlin, 1996, 832 pp.
-
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.
-
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)
-
C. Calude, M. J. J. Lennon, H. Maurer (eds.). Salodays in Auckland,
Proceedings, Auckland University, Auckland, 1994, 115 pp.
-
C. Calude (ed.). How to Cope with Complexity, Ed. Academiei, Bucharest,
1993, 232 pp. (in Romanian)
-
A. Atanasiu, C. Calude (eds.). Salodays in Theoretical Computer Science,
Hyperion XXI Press, Bucharest, 1993, 150 pp.
-
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.
-
C. Calude, I. Tomescu (eds.). Scientific Papers Published by the Mathematics
Faculty Staff, Bucharest University, 1988, 474 pp. (in Romanian)
-
C. Calude, C. Nastasescu (eds.). Scientific Papers Published by the
Mathematics Faculty Staff, Bucharest University, 1984, 418 pp. (in
Romanian)
5.5 Research Reports
-
C. S. Calude, G. Paun, Monica Tatarâm. A Glimpse into Natural Computing,
CDMTCS
Research Report 117, 1999, 21 pp.
-
C. S. Calude, H. Ishihara, T. Yamaguchi. Minimal Programs Are Almost Optimal,
CDMTCS
Research Report 116, 1999, 7 pp.
-
C. S. Calude, Chaitin W Numbers, Solovay Machines
and Incompleteness, CDMTCS Research Report 114, 1999, 10 pp.
-
C. S. Calude, Elena Calude, Terry Chiu, Monica Dumitrescu, R. Nicolescu.
Testing Computational Complementarity for Mermin Automata,
CDMTCS Research
Report 109, 1999, 13 pp.
-
D.S. Bridges, C.S. Calude, L.S. Dediu (eds.). Constructivity, Complexity,
and Fuzziness (CCF '99), CDMTCS Research Report 108, 1999, 14 pp.
-
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.
-
C.S. Calude, Elena Calude, K. Svozil. Quantum Correlations Conundrum: An
Automaton-Theoretic Approach, CDMTCS Research Report 106, 1999,
11 pp.
-
C.S. Calude, P. Hertling, H. Jürgensen, K. Weihrauch. Randomness on
Full Shift Spaces, CDMTCS Research Report 100, 1999, 17 pp.
-
C.S. Calude, K. Salomaa, S. Yu. Metric Lexical Analysis,
CDMTCS Research
Report 099, 1999, 15 pp.
-
C. S. Calude. A Characterization of C.E. Random Reals,
CDMTCS Research
Report 095, 1999, 12 pp.
-
C. S. Calude, R. J. Coles. On a Theorem of Solovay, CDMTCS Research
Report 094, 1999, 14 pp.
-
C.S. Calude. A Glimpse into Algorithmic Information Theory, CDMTCS Research
Report 093, 1999, 14 pp.
-
C.S. Calude and Elena Calude. Bisimulations and Behaviour of Nondeterministic
Automata, CDMTCS Research Report 092, 1999, 9 pp.
-
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.
-
C. S. Calude, W. Merkle, Y. Wang, A Note on Pseudorandom Generators, CDMTCS
Research Report 086, 1998, 8 pp.
-
C. S. Calude, M. J. Dinneen. Breaking the Turing Barrier, CDMTCS Research
Report 084, 1998, 5 pp.
-
C. S. Calude, Elena Calude, C. Stefanescu. Computational Complementarity
for Mealy Automata, CDMTCS Research Report 083, 1998, 12 pp.
-
C. S. Calude, News from New Zealand (15); M. J. Dinneen. Group-Theoretic
Methods for Designing Networks, CDMTCS Research Report 082, 1998,
8 pp.
-
C. S. Calude and P.H. Hertling. Computable Approximations of Reals: An
Information-Theoretic Analysis, CDMTCS Research Report 074, 1997,
10 pp.
-
C. S. Calude and A. Nies. Chaitin W Numbers
and Strong Reducibilities, CDMTCS Research Report 062, 1997, 8 pp.
-
C. S. Calude, L. Priese and L. Staiger. Disjunctive Sequences: An Overview,
CDMTCS
Research Report 063, 1997, 40 pp.
-
C. S. Calude, P. Hertling, B. Khoussainov, Y. Wang. Recursively Enumerable
Reals and Chaitin W Numbers, CDMTCS Research
Report 055, 1997, 22 pp.
-
C. S. Calude, Elena Calude, B. Khoussainov. Finite Nondeterministic Automata:
Simulation and Minimality, CDMTCS Research Report 054, 1997, 18
pp.
-
C. S. Calude and Marjo Lipponen. Computational Complementarity and Sofic
Shifts, CDMTCS Research Report 053, 1997, 13 pp.
-
C. S. Calude. A Genius' story: Two books on Gödel, CDMTCS Research
Report 039, 1997, 8 pp.
-
C. S. Calude, P. H. Hertling, K. Svozil. Embedding Quantum Universes into
Classical Ones, CDMTCS Research Report 036, 1997, 24 pp.
-
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.
-
C. Calude, Elena Calude, B. Khoussainov. Deterministic Automata: Simulation,
Universality and Minimality, CDMTCS Research Report 025, 1996, 8
pp.
-
C. Calude, F. W. Meyerstein. Is the Universe Lawful?, CDMTCS Research
Report 021, 1996, 10 pp.
-
C. Calude, Elena Calude, K. Svozil, S. Yu. Physical versus Computational
Complementarity I, CDMTCS Research Report 015, 1996, 24 pp.
-
C. Calude. Algorithmic Information Theory: Open Problems, CDMTCS Research
Report 014, 1996, 3 pp.
-
C. Calude and C. Grozea. Kraft-Chaitin Inequality Revisited, CDMTCS
Research Report 013, 1996, 5 pp.
-
C. Calude, J. Hromkovic, Complexity: A Language-Theoretic Point of View,
CDMTCS
Research Report 009, 1995, 47 pp.
-
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.
-
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.
-
C. Calude, I. Tomescu. Optimum Extendible Prefix Codes, Technical Report
No 114, 1995, Department of Computer Science, University of Auckland,
New Zealand, 13 pp.
-
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.
-
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.
-
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.
-
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.
-
C. Calude, H. Jürgensen. Randomness and Coding, Report No. 437,
1994, Department of Computer Science, University of Western Ontario,
London, Canada, 5 pp.
-
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.
-
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.
-
C. Calude, C. Câmpeanu. Are Binary Codings Universal? Technical
Report No 98, 1994, Computer Science Department, University of Auckland,
New Zealand, 11 pp.
-
C. Calude. Computability and Information, Technical Report No 96, 1994,
Computer Science Department, University of Auckland, New Zealand, 13 pp.
-
C. Calude, H. Maurer. Pocket Mathematics, Technical Report No 90, 1994,
Computer Science Department, University of Auckland, New Zealand, 28 pp.
-
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.
-
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.
-
C. Calude. The Definition of Random Strings, Technical Report No 83,
1993, Computer Science Department, University of Auckland, New Zealand,
18 pp.
-
C. Calude, A. Salomaa. Algorithmically Coding the Universe, Technical
Report No 81, 1993, Computer Science Department, University of Auckland,
New Zealand, 21 pp.
-
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.
-
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.
-
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]
-
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.
-
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.
-
C. Calude, S. Marcus, Gh. Paun. The Universal Grammar as a Hypothetical
Brain, RS - Bucharest University, 1980, 25 pp.
-
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
-
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.
-
C. S. Calude, Elena Calude, C. Stefanescu. Computational complementarity
for Mealy automata, Extended abstract, An. Univ. Bucuresti, Mat.-Inf.
47
(1998), 35-39.
-
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.
-
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.
-
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.
-
C. Calude. Gödel's Incompleteness Theorem-An information-theoretic
perspective, Bull. Symbolic Logic 1 (1995), 352.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
C. Calude. Recursive Baire Classification, Speedable Functions and Independent
Statements, Mathematisches Forschungsinstitut Oberwolfach, Tagungsbericht
55/1990, Mathematisches Logik, 1990, 2.
-
C. Calude, Eva Kurta. On Kraft-Chaitin inequality, Abstracts of Logic
Colloquium'89, Berlin, 1989; also in J. Symbolic Logic 75 (1992),
289.
-
C. Calude, I. Chitescu. Random sequences: some topological and measure-theoretical
properties, Constructive Newsletter 1 (1988), 8.
-
C. Calude, Gh. Paun. Independent instances for some undecidable problems,
J.
Symbolic Logic 49 (1984), 686.
-
C. Calude, I. Chitescu. On a (too) general theory of random sequences,
Abstracts
Amer. Math. Soc. 3 (1982), 524.
-
C. Calude, I. Chitescu. Strong noncomputability of random strings, Abstracts
Amer. Math. Soc. 25 (1982), 528.
-
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
-
More than 450 reviews written for Mathematical Reviews, Computing Reviews
and
Zentralblatt für Mathematik.
-
C. S. Calude, Communication for a mobile millennium, 3rd Millennium,
in press.
-
C. Calude. News from New Zealand - 19, EATCS Bull. 69 (1999), 58.
-
C.S. Calude. Sudan's function, Academica, 1999 (in Romanian).
-
C. Calude. News from New Zealand - 18, EATCS Bull. 68 (1999), 57-58.
-
C. S. Calude, M. J. Dinneen. Breaking the Turing barrier, NZ Science
Monthly 10, 5 (1999), 9-10.
-
C. S. Calude. Sonic boom, London Review of Books, 4 February, 1999,
4.
-
C. Calude. News from New Zealand - 17, EATCS Bull. 67 (1999), 57-58.
-
C. Calude. News from New Zealand - 16, EATCS Bull. 66 (1998), 55-57.
-
C. S. Calude. Informatics in a quantum variant, Academica 6, 90
(1998), 31-32. (in Romanian)
-
C. Calude. News from New Zealand - 15, EATCS Bull. 65 (1998), 53.
-
C. Calude. News from New Zealand - 14, EATCS Bull. 64 (1998), 79-81.
-
C. Calude. Foreword to G. J. Chaitin. The Limits of Mathematics,
Springer-Verlag, Singapore, 1997, v.
-
C. Calude. News from New Zealand - 13, EATCS Bull. 63 (1997), 78-80.
-
C. S. Calude. The future of programming languages, PC Report, 1998.
(in Romanian)
-
C. Calude. News from New Zealand - 12, EATCS Bull. 62 (1997), 92-93.
-
C. Calude. News from New Zealand - 11, EATCS Bull. 61 (1997), 40-43.
-
C. Calude. News from New Zealand - 10, EATCS Bull. 60 (1996), 62-64.
-
C. Calude. A virtual letter to Gr. C. Moisil, Academica 5 (65) (1996),
3. (in Romanian)
-
C. Calude. News from New Zealand - 9, EATCS Bull. 59 (1996), 106-107.
-
C. Calude. News from New Zealand - 8, EATCS Bull. 58 (1996), 91-94.
-
C. Calude. News from New Zealand - 7, EATCS Bull. 57 (1995), 120-121.
-
C. Calude. News from New Zealand - 6, EATCS Bull. 56 (1995), 71-73.
-
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.
-
C. Calude. News from New Zealand - 5, EATCS Bull. 55 (1995), 108-110.
-
C. Calude, M. Jalobeanu. The Journal of Universal Computer Science, PC
Report, 34 (1995), 14-15. (in Romanian)
-
C. Calude, H. Maurer, A. Salomaa. The Journal of Universal Computer Science,
J.
UCS, Vol. 0 (1994), 109-115.
-
C. Calude. News from New Zealand - 4, EATCS Bull. 54 (1994), 119-123.
-
C. Calude. News from New Zealand - 3, EATCS Bull. 53 (1994), 157-158.
-
C. Calude. News from New Zealand - 2, EATCS Bull. 52 (1994), 175-178.
-
C. Calude. News from New Zealand - 1, EATCS Bull. 51 (1993), 88-90.
-
C. Calude, R. W. Doran. Does God play dice? EATCS Bull. 50(1993),
338-341.
-
C. Calude. Review of G. J. Chaitin. Information-Theoretic Incompleteness,
World Scientific, Singapore, 1992, in: EATCS Bull. 49 (1993), 387-389.
-
C. Calude. Mathematics at the end of the century, Academica 1, 14
(1991), 27. (in Romanian)
-
C. Calude. A mathematical issue related to the idea of democracy, Magazine
22 47 (7 December) (1990), 6. (in Romanian)
-
C. Calude. Dilemmas of artificial intelligence,
Contemporanul 18
(17 August) (1990), 2. (in Romanian)
-
C. Calude. The future of informatics, Contemporanul 17 (11 August)
(1990), 12. (in Romanian)
-
C. Calude. Review of G. J. Chaitin. Algorithmic Information Theory,
Cambridge University Press, 1987 in: Formal Aspects of Computing
1 (1989), 295-297.
-
C. Calude. Review of D. Bridges, F. Richman. Varieties of Constructive
Mathematics, Cambridge University Press, 1987 in: EATCS Bull.
34 (1988), 305-307.
-
C. Calude, Elena Calude. Traps of the infinity in elementary mathematics,
Gazeta
Matematica XCII (1988), 63-64. (in Romanian)
-
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.
-
C. Calude. Mathematics and computers, Gazeta Matematica (PMMMI)
1 (1986), 14. (in Romanian)
-
C. Calude. Gödel's theorem, a limit of formalization?, The Book
of Interferences, Ed. stiintifica si enciclopedica, Bucharest, 1985,
63-68. (in Romanian)
-
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)
-
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
-
C. S. Calude, B. Pavlov. Poincar\' e-Hardy inequality on a complement of
a Cantor set, 12 pp.
-
C. S. Calude, M. J. Dinneen, K. Svozil. Reflections on quantum computing,
6 pp.
-
C. S. Calude, G. Paun. Computing with cells and atom in a nutshell, 15
pp.
5.9 Research Grants
-
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.
-
Romanian Ministry of Education Research Grant, 1988-1992, US$18,000, for
the project Contributions to Descriptive Complexity.
-
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.
-
University Auckland Research Grant A18/XXXXX/62090/3414012, 1993, NZ$8,000,
for the project Random Numbers and Applications.
-
University Auckland Research Grant, A18/XXXXX/62090/F3414018, 1993, NZ$1,500,
for the project Random Numbers and Applications.
-
University Auckland Research Grant, A18/XXXXX/62090/F3414022, 1994, NZ$4,152,
for the project Random Numbers and Applications.
-
University Auckland Research Grant, A18/XXXXX/62090/F3414030, 1994, NZ$7,000,
for the project Random Numbers and Applications.
-
University Auckland Research Grant, A18/XXXXX/62090/F3414044, 1995, NZ$5,000,
for the project Randomness on Shift Spaces.
-
Auckland University Research Grant, A18/XXXXX/62090/F3414050, 1996, NZ$3,200,
for the project Randomness on Shift Spaces.
-
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.
-
Auckland University Research Grant, A18/XXXXX/62090/F3414056, 1996, NZ$3,200,
for the project Physical versus Computational Complementarity.
-
Auckland University Research Grant, A18/XXXXX/62090/F3414063, 1997, NZ$4,000,
for the project Physical versus Computational Complementarity.
-
Auckland University Research Grant, A18/XXXXX/62090/F3414069, 1997, NZ$2,000,
for the project Topics in Algorithmic Information Theory (with A.
Arslanov).
-
Auckland University Research Grant, A18/XXXXX/62090/F3414075, 1997, NZ$4,000,
for the project Physical versus Computational Complementarity.
-
Pukekohe Travel Research Grant for the Centre for Discrete Mathematics
and Theoretical Computer Science, 1997, NZ$25,000.
-
Auckland University Research Grant, A18/XXXXX/62090/F3414082, 1998, NZ$4,500,
for the project Physical versus Computational Complementarity.
-
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).
-
Monbusho (Japan Ministry of Education, Science, Sports and Culture), Research
and Travel Grant, 1999, Yen 727,000.
5.10 Lectures at Conferences (Some Invited)
-
C.S. Calude. Recent Results on Chaitin Omega Numbers, Workshop on
Constructivity, Complexity and Fuzzyness (CCF'99), Galati, Romania, August
1999. (invited)
-
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)
-
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.
-
C.S. Calude. Metric Lexical Analysis, Workshop ``Implementing Automata'99"
(WIA'99), Potsdam, Germany, July, 1999.
-
C.S. Calude. Quantum Correlations Conundrum: An Automaton-Theoretic
Approach, Workshop ``Implementing Automata'99" (WIA'99), Potsdam, Germany,
July 1999.
-
C.S. Calude. Bisimulations and Behaviour of Nondeterministic Automata,
``Developments in Language Theory" (DLT'99), Aachen, Germany, July 1999.
-
C.S. Calude. Sudan's function, Mathematics Section of the Romanian
Academy, Bucharest, Romania, May 1999 (invited).
-
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.
-
Recursively Enumerable Reals and Chaitin W
Numbers, STACS'98, The 15th Annual Symposium on ``Theoretical Aspects
of Computer Science'', Paris, France, January 1998.
-
Chaitin W Numbers and Strong Reducibilities,
The First Japan-New Zealand Workshop ``Logic in Computer Science'', CDMTCS,
Auckland, New Zealand, August 1997.
-
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)
-
Deterministic automata: simulation, universality and minimality,
``Developments in Language Theory'', DLT'97, Thessaloniki, Greece, July
1997.
-
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)
-
Automata for Physics, Workshop ``Computability and Related Matters
in Mathematics and Physics'', CDMTCS, Hamilton, New Zealand, February 1997.
-
Recollections on Paul Erdös, Paul Erdös Mini-Seminar,
Auckland University, New Zealand, September, 1996.
-
The Typical Number Is a Lexicon, AFL'96 (8th Conference on Automata
and Formal Languages), Salgotarjan, Hungary, July 1996.
-
The Concept of Complexity, Seminar ``Order, Complexity and Beauty'',
The Project ``Third Culture Copenhagen'', Danish Mindship Foundation, Copenhagen,
Denmark, July, 1996. (invited lecture)
-
The Web Attitude, Graduate Student Workshop, Auckland University,
New Zealand, March, 1996.
-
A Virtual Letter to Gr. C. Moisil, Symposium Dedicated to Gr. C.
Moisil, Romanian Academy, Bucharest, Romania, March, 1996.
-
Language-Theoretic Complexity of Disjunctive Sequences, CATS'97
(Computing: the Australian Theory Seminar), Melbourne, Australia, January,
1996.
-
Can Ignorance Help?, Ken Ashton Mini-Conference, Auckland University,
New Zealand, July, 1995.
-
Randomness-Preserving Transformations, Summer School ``Chaitin Complexity
and Applications'', Black Sea University, Mangalia, Romania, July 1995.
-
JUCS: A New Publication in Cyberspace, ``ROSE'94'', The Second Romanian
Conference on Open Systems, Bucharest, Romania, November, 1994.
-
What Is a Random String?, Symposium ``The Foundational Debate. Complexity
and Constructivity in Mathematics and Physics'', Vienna, Austria, September,
1994. (plenary invited address)
-
Gödel's Incompleteness Theorem-An Information-Theoretic Perspective,
``1994 George Hughes Memorial Conference'', Australasian Association for
Logic, Dunedin, New Zealand, August, 1994.
-
Randomness as an Invariant for Number Representations, Symposium
``Results and Trends in Theoretical Computer Science'', Graz, Austria,
June, 1994. (invited lecture)
-
Experimental Mathematics, Symposium ``Romania and Romanians in Contemporary
Science'', Sinaia, Romania, June, 1994. (invited lecture)
-
The Basics of LATEX, A Half-Day Course ``Getting
Started with LATEX'', Auckland University, New Zealand,
May, 1994.
-
On Recursive Bounds for the Exceptional Values in Speed-up, 1994
N. Z. Mathematics Colloquium, Hamilton, New Zealand, April, 1994.
-
Pocket Mathematics, Symposium ``Salodays in Auckland'', Auckland
University, New Zealand, March, 1994.
-
Information and Randomness-An Overview, Schloss Dagstuhl Seminar
on ``Structure on Complexity'', Dagstuhl, Saarbrücken, Germany, February,
1994. (invited lecture)
-
Coding Without Tears, Symposium on Combinatorics, Algebra and Topology
in Logic and Languages, Romanian Academy, Bucharest, Romania, January,
1994.
-
Three Theories of Computational Complexity, ROSYCS'93, Iasi, Romania,
November, 1993. (invited lecture)
-
More About the Halting Probability, Informatics Workshops 1993,
University of Auckland, New Zealand, August, 1993.
-
The Randomness Hypothesis, Conference ``Developments in Language
Theory'', University of Turku, Finland, July, 1993. (invited lecture)
-
Borel Normality and Algorithmic Randomness, Conference ``Developments
in Language Theory'', University of Turku, Finland, July, 1993.
-
How Should I Forget?, Symposium Dedicated to Gr. C. Moisil, Romanian
Academy, Iasi, Romania, May, 1993.
-
Two Questions on Chaitin's Model of Randomness, Conference ``Does
God Play Dice?'', University of Auckland, New Zealand, February, 1993.
-
Topological Methods in Complexity Theory, Computer Science Colloquium,
Waikato University, Hamilton, New Zealand, February, 1993.
-
Elementary Algorithmic Information Theory: Borel Normality and Algorithmic
Randomness, Workshop on Semigroups, Formal Languages and Combinatorics
on Words, Kyoto University, Japan, August, 1992.
-
On Three Theorems in Abstract Complexity Theory: A Topological Glimpse,
The Second International Colloquium on Words, Languages and Combinatorics,
Kyoto University, Japan, August, 1992.
-
Elementary Algorithmic Information Theory, Colloquium SALODAYS in
Theoretical Computer Science, Bucharest University, Romania, June, 1992.
-
Constructive Negligible Sets in Complexity Theory, Fifth International
Conference on Discrete Mathematics, Dortmund, Germany, September, 1991.
(invited lecture)
-
Recursive Baire Classification, Speedable Functions and Independent
Statements, Mathematical Logic Week, Oberwolfach, Germany, December,
1990. (invited lecture)
-
The Development of Computer Science in Romania, Future Trends in
Information Technology, Salzburg, Austria, September, 1990. (invited lecture)
-
Determining and Stationary Sets for Some Classes of Partial Recursive
Functions, Third Logical Biennial Summer School and Conference, Kleene'90,
Varna, Bulgaria, June, 1990.
-
Mathematics and Informatics: Some Lessons and Key Points of Reflection,
International Workshop On Informatics Curricula for the 1990s, Providence,
RI, USA, April, 1990.
-
On Kraft-Chaitin Inequality, Logic Colloquium'89, European Summer
Meeting of the Association for Symbolic Logic, West Berlin, Germany, July,
1989.
-
Descriptive Complexity and Natural Languages, PROCOMP'89, Central
Institute for Informatics, Bucharest, Romania, October, 1989. (invited
lecture)
-
Complexity as a Source of Randomness, Workshop ``How to Cope with
Complexity'', Romanian Academy, Bucharest, Romania, October, 1989.
-
On B. Russell Definition of Mathematics, National Colloquium Info-Iasi'89,
Romania, October, 1989. (invited lecture)
-
Ehrenfeucht Test Set Theorem and Hilbert Basis Theorem: A Constructive
Glimpse, Symposium Mathematical Foundations of Computer Science, Porabka-Kozubnik,
Poland, September, 1989.
-
Languages, Effectivity and Constructive Mathematics, Second National
Colloquium on Languages, Logic and Mathematical Linguistics, Brasov, Romania,
June, 1988.
-
Ehrenfeucht's Property and Constructivity, National Colloquium Info-Iasi'87,
Romania, October, l987. (invited lecture)
-
Romanian Results in Recursion Function Theory: 1927-1987, Computer
Center Anniversary Symposium, Bucharest University, Romania, February,
1987. (invited lecture)
-
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.
-
P. Martin-Löf Tests: Representability and Embeddability, National
Colloquium Info-Iasi'85, Romania, October, 1985. (invited lecture)
-
On a class of Independent Problems Related to Rice's Theorem, National
Colloquium Info-Iasi'83, Romania, October, 1983. (invited lecture)
-
Dilemmas of Computational Complexity, Symposium ``Mathematics, Today
and Tomorrow'', Romanian Academy, Bucharest, Romania, June, 1983. (invited
lecture)
-
Independent Instances for Some Undecidable Problems, Logic Colloquium'82,
European Summer Meeting of the Association for Symbolic Logic, Florence,
Italy, August, 1982.
-
On Per Martin-Löf Random Sequences, Workshop On Recursion Aspects
of Computer Science, Purdue University, USA, June, 1981.
-
On Per Martin-Löf Random Sequences, National Colloquium Info-Iasi'81,
Romania, October, 1981.
-
Knuth Test on Compiler Efficiency, The 4th International Conference
on Control Systems and Computer Science, Politechnical Institute, Bucharest,
Romania, July, 1981.
-
The Universal Grammar as a Hypothetical Brain, International Symposium
on Mathematics in System Theory, Brasov, Romania, November, 1978.
-
The Category of Cech Topological Spaces, Colloquium on Topology,
Budapest, Hungary, August, 1978.
-
Pompeiu's Distance Between Closed Sets, Symposium on Geometry and
Global Analysis, Romanian Academy, Bucharest, Romania, October, 1973.
5.11 Invited Seminar Presentations
-
What Is Algorithmic Information? Meijo University, Nagoya, Japan,
October, 1999.
-
Completeness, Decidability, Incompleteness, Massey University at
Albany, New Zealand, September, 1999.
-
Recent Results on Chaitin Omega Numbers, ``Ovidius'' University
of Constanta, Romania, August 1999.
-
The Incompleteness Phenomenon, Halle University, Germany, July 1999.
-
Recent Results on Chaitin Omega Numbers, Halle University, Germany,
July 1999.
-
Recent Results on Chaitin Omega Numbers, Open University, Hagen,
Germany, July 1999.
-
Quantum Correlations Conundrum: An Automaton-Theoretic Approach,
International Solvay Institutes, Brussels Free University, Brusssels, Belgium,
June 1999.
-
Recent Results on Chaitin Omega Numbers, Institut für Theoretische
Physik, Technischen Universität Wien, Austria, June, 1999.
-
Understanding Quantum Correlations via Automata, National Sandia
Laboratories, Albuquerque, USA, April 1999.
-
C.E. Reals: Complexity and Randomness, The Santa Fe Institute, Santa
Fe, USA, April 1999.
-
Recent Progress on the Complexity of C.E. Reals, Department of Computer
Science, University of New Mexico, Albuquerque, USA, April 1999.
-
Recent Progress on the Complexity of C.E. Reals, Department of Computer
Science and University of Massachusetts at Boston, USA, April 1999.
-
Recent Progress on the Complexity of C.E. Reals, Department of Mathematics,
Cornell University, USA, April 1999.
-
Recent Progress on the Complexity of C.E. Reals, Department of Computer
Science, Rochester University, USA, April 1999.
-
A Characterization of C.E. Random Reals, Department of Mathematics,
University of Chicago, USA, February 1999.
-
Recent Progress on the Complexity of C.E. Reals, Department of Mathematics,
University of Chicago, USA, February 1999.
-
Recursively Enumerable Reals: Computability, Complexity and Randomness,
Department of Computer Science, University of California at San Diego,
USA, December 1998.
-
Recursively Enumerable Reals: Computability, Complexity and Randomness,
Berkeley Logic Colloquium, University of California at Berkeley, USA, November
1998.
-
The Halting Problem and the Mathematical Practice, Logic Group Seminar,
Bucharest University, Romania, November, 1998.
-
Recursively Enumerable Reals: Computability, Complexity and Randomness,
Department
of Computer Science, Birmingham University, UK, October 1998.
-
Finite Automata: Complementarity, Simulation, Universality, Department
of Computer Science, Birmingham University, UK, October 1998.
-
The Computing Cell, Department of Computer Science, Birmingham University,
UK, October 1998.
-
Why Do We Believe in God? Three Non-Theological Arguments, Logic
Group Seminar, Bucharest University, Romania, July, 1998.
-
Symbolic Dynamics: Complexity, Entropy, Randomness, International
Solvay Institutes, Brussels Free University, Brusssels, Belgium, June 1998.
-
Complexity, Randomness, Independence and the Brain, Institute of
Mathematics, Academia Sinica, Taipei, Taiwan, June 1998.
-
Recursively Enumerable Reals: Computability, Complexity, Randomness,
Department of Mathematics, Turku University and Turku Centre for Computer
Science, Turku, Finland, March, 1998.
-
Automata as Toy Models for Uncertainty, ``Séminaire Complexité'',
Université Paris Sud, Orsay, France, February, 1998.
-
Recursively Enumerable Reals: Computability, Complexity, Randomness,
Bucharest University, Romania, February, 1998.
-
The Cost of Forgetting: Quantum Computation, Romanian Academy, February,
1998 (plenary address to the Academy).
-
Reversible Computation, University ``Dunarea de Jos'', Galati, Romania,
February, 1998.
-
New Trends in the Theory of Computation, National College ``V. Alecsandri'',
Galati, Romania, February, 1998.
-
A Brief Excursion in Algorithmic Information Theory, Babes-Bolyai
University, Cluj, Romania, April, 1997.
-
Automata for Physics, Department of Mathematics, University of Turin,
Italy, April, 1997.
-
Some Applications of Automata to Physics, Informal & Colloquial
Talks, Department of Mathematics, University of Auckland, April, 1997.
-
A Brief Excursion in Algorithmic Information Theory, University
of Chicago, USA, January 1997.
-
Minimal Universal Automata, Institute for Theoretical Physics, Technical
University of Vienna, Austria, January 1997.
-
Is the Universe Lawful?, Danish Mindship Foundation, Copenhagen,
Denmark, July, 1996.
-
Cyberspace, Bucharest University, Romania, July 1996.
-
Is Computer Science a Science?, University of Auckland, New Zealand,
March 1996.
-
Molecular Computation, Bucharest University, Romania, December 1995.
-
Algorithmic Information Theory, Leeds University, England, November
1995.
-
Disjunctive Sequences, University of Western Ontario, London, Canada,
November 1995.
-
Randomness-Preserving Transformations, Hagen University, Germany,
July 1995.
-
Randomness-Preserving Transformations, Siegen University, Germany,
July 1995.
-
Understanding our Universe: Randomness vs. Constructivity, Gödel
Society, Vienna, Austria, June 1995.
-
What Is a Random String?, University Koblenz-Landau, Germany, January,
1995.
-
Computability and Information, University of Waikato, Hamilton,
New Zealand, November, 1994.
-
Paradigms of Information, Technical University, Bucharest, Romania,
October, 1994.
-
Computability and Information, Lincoln University, Christchurch,
New Zealand, September, 1994.
-
Are Binary Codings Universal?, University of Canterbury, Christchurch,
New Zealand, August, 1994.
-
Computability and Information, University of Canterbury, Christchurch,
New Zealand, August, 1994.
-
Paper Computation vs. Real Computation, Otago University, Dunedin,
New Zealand, August, 1994.
-
Randomness as an Invariant for Number Representations, Victoria
University of Wellington, New Zealand, August, 1994.
-
Computability and Information, Victoria University of Wellington,
New Zealand, August, 1994.
-
Computability and Information, Massey University, Palmerston North,
New Zealand, August, 1994.
-
The Incompleteness Phenomenon: From Gödel to Chaitin, Institute
for Theoretical Physics, Technical University of Vienna, Austria, June,
1994.
-
Unimedia: An Overview, ``Ovidius'' University of Constanta, Romania,
May, 1944.
-
Statistics and Communication, Black Sea University, Mangalia, Romania,
May, 1994.
-
Information and Randomness-An Overview, University of Bucharest,
Romania, February, 1994.
-
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.
-
Information and Randomness-An Overview, University of Turin, Italy,
January, 1994.
-
Borel Normality and Algorithmic Randomness, Cornell University,
Ithaca, USA, November, 1993.
-
Invariants for Number Representations, University of Toronto, Canada,
October, 1993.
-
Invariants for Number Representations, University of Western Ontario,
London, Canada, October, 1993.
-
Fermat's Last Theorem, Romanian Academy, Romania, July, 1993.
-
Mathematics, from Axiomatics and Algorithmics to Experimental, Bucharest
University, Romania, July, 1993.
-
Randomness as a Universal Invariant, Auckland University, New Zealand,
June, 1993.
-
Randomness as a Universal Invariant, University of Waikato, Hamilton,
New Zealand, May, 1993.
-
Three Theories of Computational Complexity, University of Waikato,
Hamilton, New Zealand, May, 1993.
-
Topological Methods in Complexity Theory, University of Waterloo,
Canada, November, 1992.
-
Random Sequences and Strings, Hamburg University, Germany, June,
1991.
-
Random Strings and Sequences, Turku University, Finland, April,
1991.
-
A Topological Analysis of Gödel Independent Statements, Turku
University, Finland, April, 1991.
-
Random Strings and Sequences, University of Western Ontario, London,
Canada, April, 1990.
-
Algorithmic Randomness, Wesleyan University, Connecticut, USA, April,
1990.
-
Complexity as a Source of Randomness, Bucharest University, Romania,
November, 1988.
-
Gödel's Theorem: A Limit of Formalization?, Institute of Atomic
Physics, Magurele, Romania, October, 1984.
-
Kolmogorov Complexity and Applications, Babes-Bolyai University,
Cluj, Romania, June, 1980.
5.12 Post-Doctoral Fellows
-
Dr. Richard Coles, research in Algorithmic Information Theory, March
1998 - May 1999.
-
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.
-
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.
-
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
-
Complexity Theory, Bucharest University, Romania, 1980-1992.
-
(jointly with B. Doran), DNA Computation, University of Auckland,
New Zealand, 1995-1996.
-
(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
-
D. S. Bridges and C. S. Calude. Constructive mathematics, Radio Bucharest
1, 30 August 1999 (interviewer: C. Mihailescu) (in Romanian).
-
An interview with Professors D. S. Bridges and C. S. Calude, MegaTV
and ExpressTV, Galati, 26 August 1999 (interviewer: L. Serbanescu)
(in Romanian).
-
Reinventing the computer, Radio NZ, 27 July 1998 (interviewer: J.
Reynolds).
-
D. King. Scientists ponder future development of computers, NZ InfoTech
Weekly, January 1998; http://www.nzcs.org.nz/news.htm.
-
A. Gifford. Boffins seek quantum leap forward, NZ Herald 14 January
1998; http://www.cs. auckland.ac.nz/CDMTCS/docs/nzherald.pdf/.
-
R. Keenan. When a computing conference departs from the norm, Computerworld
New Zealand 30 June (1997), 10; http://www.idg.co.nz.
-
An interview with Professor Cristian Calude (interviewer: Irina Athanasiu),
PC
Report, 51 (1996), 18, 20. (in Romanian)
-
An interview with Professor Cristian Calude (interviewer: M. Jalobeanu),
PC
Report, 34 (1995), 16-17. (in Romanian)
5.16 Selected Recent Citations
-
D. S. Alberts, T. J. Czerwinski (eds.). Complexity, Global Politics,
and National Security, National Defense University, Washington, D.
C., 1997.
-
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.
-
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.
-
B. Apolloni, C. Gentile. Sample size lower bounds in PAC learning by algorithmic
complexity theory, Theoret. Comput. Sci. 209, 1-2 (1998), 141-162.
-
A. Arslanov. On a conjecture of M. Van Lambalgen, EATCS Bull. 62
(1997), 195-198.
-
E. Bach, J. Shallit. Algorithmic Number Theory, Vol. I: Efficient Algorithms,
MIT Press, Cambridge, Massachusetts, 1996.
-
J. Barrow. Impossibility-The Limits of Science and the Science of Limits,
Oxford University Press, Oxford, 1998.
-
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.
-
D. S. Bridges. Constructive mathematics and unbounded operators-a reply
to Hellman, J. Philosophical Logic 24 (1995), 549-561.
-
D. S. Bridges. Computability-A Mathematical Sketchbook, Springer
Verlag, Berlin, 1994.
-
Elena Calude and Marjo Lipponen. Minimal deterministic incomplete automata,
J.
UCS 11 (1997), 1180-1193.
-
C. Câmpeanu, Random numbers are Borel normal, EATCS Bull. 58
(1996), 155-158.
-
G. J. Chaitin. The Unknowable, Springer-Verlag, Singapore, 1999.
-
G. J. Chaitin. The Limits of Mathematics, Springer-Verlag, Singapore,
1997.
-
G. J. Chaitin. The Berry paradox, Complexity, 1 (1995), 26-30.
-
G. J. Chaitin. On the number of N-bit strings with maximum complexity,
Applied
Mathematics and Computation 59 (1993), 97-100.
-
J. Collier. Information, Stanford Encyclopedia of Philosophy, http://plato.stanford.edu/entries/information/,
16 pp.
-
E. CsuhajVarju, L. Kari, G. Paun. Test tube distributed systems based on
splicing Comput. Artif. Intell. 15, 2-3 (1996), 211-232.
-
F. Diacu. The solution of the N-body problem, The Mathematical Intelligencer
18, 3 (1996), 66-70.
-
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.
-
J. H. Dawson, Jr. Logical Dilemmas. The Life and Work of\ Kurt Gödel,
A K Peters, Wellesley, Massachusetts, 1997.
-
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.
-
N. Duta. Representability and embeddability of P. Martin-Löf tests,
Stud.
Cercet. Mat. 47 (1995), 245-262.
-
R. L. Epstein, W. A. Carnielli. Computability. Computable Functions,
Logic, and the Foundations of Mathematics, second ed., Wadsworth, Belmont,
1999.
-
H.-A. Esbelin and M. More. Rudimentary relations and primitive recursion:
A toolbox, Theoretical Computer Science, 193 (1-2) (1998), 129-148.
-
R. Freund, L. Kari, G. Paun. DNA computing based on splicing: The existence
of universal computers, Theor. Comput. Syst. 32, 1 (1999), 69-112.
-
C. Garola. Objectivity versus nonobjectivity in quantum physics, preprint,
June 1999, 26 pp.
-
F. Geurts. Compositional Analysis of Iterated Relations: Dynamics and
Computations, PhD Thesis, Université Catholique de Louvain,
March 1996.
-
C. Grozea. Free-extendible prefix-free sets and an extension of the Kraft-Chaitin
theorem, J. UCS 6, 1 (2000), 130-135.
-
J. Gruska. Foundations of Computing, Thomson International Computer
Press, Boston, 1997.
-
D. Hammer. Complexity Inequalities, Wissenschaft & Technik Verlag,
Berlin, 1998.
-
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.
-
P. Hertling. Disjunctive w-words and real numbers,
J.
UCS 2 (1996), 549-568.
-
P. Hertling, Y. Wang. Invariance properties of random sequences, J.
UCS 12 (1997), 1241-1249.
-
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.
-
M. Huhne. On the power of several queues, Theoret. Comput. Sci.
113, 1 (1993), 75-91.
-
L. Ilie, G.Paun, G. Rozenberg and A. Salomaa. On strongly context-free
languages, Discrete Applied Mathematics, to appear.
-
G. Istrate, G. Paun. Some combinatorial properties of self-reading sequences,
Discrete
Appl. Math., 55, 1 (1994), 83-86.
-
E. Jurvanen, Marjo Lipponen. Distinguishability, simulation and universality
of Moore tree automata, Fundamenta Informaticae 34 (1999), 1-13.
-
H. Jürgensen, L. Staiger. Local Hausdorff dimension, Acta Informatica
32, 5 (1995), 491-507.
-
H. Jürgensen, L. Robbins. Towards foundations of cryptography: Investigation
of perfect secrecy, J. UCS 5 (1996), 347-379.
-
M. Kojman, S. Shelah. Regressive Ramsey numbers are Ackermannian, J.
Comb. Theory A, 86, 1 (1999) 177-181.
-
M. Koshelev. Towards the use of aesthetics in decision: Kolmogorov complexity
formalizes Birkhoff's idea, EATCS Bull. 66 (1998), 166-170.
-
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.
-
I. Kramosil. Searching algorithms implemented on probabilistic systolic
arrays,
Int. J. Gen. Syst., 25, 1 (1996), 7-45.
-
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.
-
M. Kummer. Kolmogorov complexity and instance complexity of recursively
enumerable sets, SIAM J. Comput. 25 (1996), 1123-1143.
-
M. Li, P. M. Vitányi. An Introduction to Kolmogorov Complexity
and Its Applications, Springer Verlag, Berlin, 1993. Second edition
1997.
-
Marjo Lipponen. Computational complementarity and shift spaces, J. UCS
6, 1 (2000), 169-177.
-
J. Lennon, H. Maurer. Digital libraries and teaching support, J. UCS
5 (1995), 719-727.
-
J. Lennon, H. Maurer. Applications of hypermedia systems, Program Comput.
Soft.+, 21, 3 (1995), 121-134.
-
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.
-
L. Longpré and V. Kreinovich. Human visual perception and Kolmogorov
complexity: revisited, EATCS Bull. 64 (1998), 155-158.
-
V. Manca, C. Martin-Vide, G. Paun. New computing paradigms suggested by
DNA computing: computing by carving, Biosystems 52, 1-3 (1999),
47-54.
-
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.
-
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.
-
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.
-
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.
-
G. Markowsky. Introduction to algorithmic information theory, J. UCS
5 (1996), 245-269.
-
G. Markowsky. An introduction to algorithmic information theory. Its history
and some examples, Complexity 2,4 (1997), 14-22.
-
I. Mandoiu. Optimum extensions of prefix codes, Information Processing
Letters 66 (1998), 35-40.
-
I. Mandoiu. Kraft-Chaitin's theorem for free-extensible codes, Stud.
Cerc. Mat. 44 (1992), 497-501.
-
I. Mandoiu. On a theorem of Gacs, Intern. J. Computer Mathematics 48
(1993), 157-169.
-
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.
-
Yu. V. Matiyasevich. Hilbert's Tenth Problem, MIT Press, Cambridge,
Massachusetts, 1993.
-
H. Maurer. Hypermedia systems as Internet tools, Lect. Notes Comput.
Sc.. 1000 (1995), 608-624.
-
H. Maurer. Hyper-G Now Hyperwave. The Next Generation Web Solution,
Addison-Wesley, New York, 1996.
-
H. Maurer, K. Schmaranz. J. UCS - The next generation in electronic journal
publishing, J.UCS 0 (1994), 118-126.
-
Doris Nolte, L. Priese. Abstract fairness and semantics,
Theor. Comput.
Sci., 177, 1 (1997), 139-153.
-
P. Odifreddi. Classical Recursion Theory, North-Holland, Amsterdam,
New York, Vol. 2, 1999.
-
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.
-
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.
-
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.
-
Gh. Paun. String function based machines, ROMJIST 1 (1998), 73-84.
-
G. Paun, G. Rozenberg, A. Salomaa. DNA Computing. New Computing Paradigms,
Springer-Verlag,
Berlin, 1998.
-
G. Paun. DNA computing based on splicing: universality results Theory
Comput. Sci., 231, 2 (2000), 275-296.
-
S. Porrot, M. Dauchet, B. Durand, N. K. Vereshchagin. Deterministic rational
transducers and random sequences,
Lect. Notes Comput. Sc., 378 (1998),
258-272.
-
E. Rivals, J. -P. Delahaye. Optimal representation in average using Kolmogorov
complexity, Theoret. Computer Science 200 (1998), 261-287.
-
L. Robbins. Modelling Cryptographic Systems, Ph.D. Thesis, Faculty
of Graduate Studies, University of Western Ontario, London, Canada, 1998,
166 pp.
-
G. Rozenberg, A. Salomaa. Cornerstones of Undecidability, Prentice
Hall, Englewood Cliffs, 1994.
-
S. Rudeanu. Lectures on Predicate and Propositional Calculi, Bucharest
University Press, Bucharest, 1997. (in Romanian)
-
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.
-
M. Sipser. Introduction to the Theory of Computation, PWS Publishing,
Comp., Boston, 1997.
-
M. Schmidt. Time-bounded Kolmogorov complexity may help in search for extra
terrestrial intelligence (SETI), EATCS Bull. 67 (1999), 176-180.
-
T. A. Slaman. Randomness and recursive enumerability, manuscript, 5 April
1999, 13 pp.
-
C. Smory\'nski. Logical Number Theory I. An Introduction, Springer-Verlag,
Berlin, 1991.
-
K. H. Sprenger. Hierarchies of Primitive Recursive Functions on Term
Algebras, Shaker Verlag, 1995.
-
K. H. Sprenger. Some hierarchies of primitive recursive functions, Mathematical
Logic Quartly, 43 (1997), 251-286.
-
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.
-
L. Staiger. The Kolmogorov Complexity of Liouville Numbers, CDMTCS Research
Report 096, 1999, 11 pp.
-
L. Staiger. A Tight upper bound on Kolmogorov complexity by Hausdorff dimension
and uniformly optimal prediction, Theory Comput. Systems, 31 (1998),
215-229.
-
K. Svozil. One-to-one, Complexity 4,1 (1998), 25-29.
-
K. Svozil. Randomness & Undecidability in Physics, World Scientific,
Singapore, New Jersey, Hong Kong, 1993.
-
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.
-
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.
-
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.
-
K. Svozil. Halting probability amplitude of quantum computers, J. UCS,
1 (1995), 201-203.
-
K. Svozil. Quantum information theory, J. UCS 5 (1996), 311-346.
-
K. Svozil. Undecidability everywhere?, in J. L Casti, A. Karlqvist (eds.).
Boundaries
and Barriers, Addison-Wiley, New York, 1996, 215-237.
-
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.
-
K. Svozil. On self-reference and self-description, La Nuova Critica
29 (1997), 75-86.
-
K. Svozil. Quantum Logic, Springer-Verlag, Singapore, 1998.
-
K. Svozil, N. Neufeld. ``Linear" chaos via paradoxical set decompositions.
Chaos,
Solitons Fract. 7, 5 (1996), 785-793.
-
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.
-
I. Tomescu. On words containing all short subwords, Theoret. Comput.
Sci. 197 (1998), 235-240.
-
I. Tomescu. A threshold property concerning words containing all short
factors, EATCS Bull. 64 (1998), 166-170.
-
J. F. Traub, A. G. Werschulz. Complexity and Information, Cambridge
University Press, Cambridge, 1998.
-
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.
-
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.
-
V. A. Uspensky, A. Shen. Relations between varieties of Kolmogorov complexities,
Math.
Systems Theory 29 (1996), 271-292.
-
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.
-
G. Wiederhold. Digital libraries, value and productivity, Comm. ACM,
38, 4 (1995), 85-96.
-
M. Zimand. On the topological size of P-M-complete degrees,
Theoret.
Comput. Sci. 147, 1-2 (1995), 137-147.
-
Olivier J. Bousquet ``Kolmogorov complexity resources" page at:
http://www-stud.enst.fr/ obousque/.
-
Shikano Lab databse at
http://isw3.aist-nara.ac.jp/IS/Shikano-lab/database/library/book-B616.html.
-
Luc Devroye's ``Luc's library" at
http://www-cgrl.cs.mcgill.ca/ luc/lucbtcs.html.
-
Steven Finch's ``Favorite Mathematical Constants: Chaitin's Constant''
at
http://www.mathsoft.com/asolve/constant/chaitin/chaitin.html.
-
A bibliography on primality testing at
http://math.uwaterloo.ca/~shallit/bib/primes.bib
-
Entropy in Logic and the Theory of Algorithms at
http://www.unibas.ch/mdpi/entropy/.
-
Selected JACM citations at
http://theory.lcs.mit.edu/~jacm/References/ginsburg1958:266.html.
-
Selected Information and Computation citations at
http://theory.lcs.mit.edu/~iandc/References/solomonoff1964:224.html.
-
Lab 333, EE, NTU, Taiwan, bibliography on zero-knowledge at
http://crypto.ee.ntu.edu.tw/lab333/tech-rep/crypto/zero_knowledge/
-
Yonezawa Lab's WWW server, at the Department of Information Science of
the University of Tokyo, bibliography in quantum computation at
http://web.yl.is.s.u-tokyo.ac.jp/members/haruo/qc.html
-
C. Herring. ``Books Recently Read'' at
http://csl.ncsa.uiuc.edu/~herring/books.html
-
J. Borwein, P. Borwein, R. Girgensohn and S. Parnes. Experimental Mathematics:
A Discussion at
http://www.cecm.sfu.ca/organics/vault/expmath/expmath/html/expmath.html
-
Bibliography on the Busy Beaver Problem at
http://www.rpi.edu/ greeng3/interests/bb/bib/bib.html
-
R. Greg Lavender. ``Recommended Reading'' at
http://www.cs.utexas.edu/ users/lavender/reading.html
-
Nagoya selected home-page at
http://www.is.titech.ac.jp/labs/kobayasilab/ nagoya/URL-list.html.
-
``Who's Who In Combinatorics" at
http://www.combinatorics.net/who/.
-
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.
-
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.
-
L. Hemaspaandra and M. Ogihara. Reductions, Resources, and Robustness,
http://www.cs.rochester.edu/u/lane/complexity.html.
-
M. Gass' home-page at http://www.math.csbsju.edu/ mgass/info_theory/index.html.
-
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
-
C. Calude. Algorithmic Information Theory, Lecture Notes, University
of Western Ontario, London, 1992, 42 pp.
-
C. Calude. Introduction to Computing. Lecture Notes for Mathematics
Teachers, Bucharest University, Bucharest, 1988, 42 pp. (in Romanian)
-
C. Calude. Theory of Algorithms. Recursiveness, Complexity and Constructivity,
Bucharest University, Bucharest, 1987, 197 pp. (first edition), 1988, 208
pp (second edition). (in Romanian)
-
C. Calude, V. E. Cazanescu. Introduction to Computing. Mathematical
Logic Lecture Notes, Bucharest University, Bucharest, 1984, 96 pp.
(in Romanian)
-
C. Calude. Introduction to Computing. Laboratory Themes, Bucharest
University, Bucharest, 1982, 66 pp. (in Romanian).
6.4 Ph.D. Students
-
Marian Baroni. Quantum Computation, Bucharest University, Romania.
(in progress)
-
Mihaela Baroni. Quantum Computation, Bucharest University, Romania.
(in progress)
-
Cristian Grozea. Non-Binary Codings, Bucharest University, Romania.
(in progress)
-
Chi-Kou Shu. Special Problems in Algorithmic Information Theory,
University of Auckland, New Zealand. (in progress)
-
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.
-
Luminita Dediu. Constructive Theory of Operator Algebras, University
of Canterbury, New Zealand (co-supervised with D. S. Bridges) (in progress).
-
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.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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
-
Qinghui Zeng. Randomness as an Invariant for Number Representations,
University of Auckland, New Zealand, in progress.
-
Margaret Ng. A Metric Lexical Analysis, University of Auckland,
New Zealand, in progress.
-
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)
-
Peiming Liang. Randomness and Cellular Automata, University of Auckland,
New Zealand, in progress.
-
Yongyi Hu. Information-Theoretic Incompleteness, University of Auckland,
New Zealand, 1998.
-
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.
-
Shane Legg. Solomonov Induction and Algorithmic Information Theory,
University of Auckland, New Zealand, 1996. He is currently with Intelligenesis
Corporation, New York, USA.
-
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.
-
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.
-
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.
-
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.
-
Eva Kurta. An Extension of Kraft-Chaitin Theorem, Bucharest University,
Romania, 1989.
-
Cezar Câmpeanu. Variants of Post Correspondence Problem, Bucharest
University, Romania, 1988. See his current status in subsection 6.4.
-
Marius Zimand. Complexity of Probabilistic Algorithms, Bucharest
University, Romania, 1983. (co-supervision with D. Vaida) See his current
status in subsection 6.4.
-
Valentin Vieru. Recursion and Iteration. Efficient Translations,
Bucharest University, Romania, 1981. He is currently with Canada Computers,
Toronto, Canada.
-
Brâdusa Fântâneanu. Recursive and Non-Primitive Recursive
Functions, Bucharest University, Romania, 1978.
6.6 Other Graduate Supervision
-
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)
-
Gerard P. Atkinson (1997-8): Information-Theoretic Incompleteness,
University of Auckland, New Zealand.
-
Gordon Alford (1996): Modeling DNA Computation, University of Auckland,
New Zealand. See his current status in subsection 6.5.
-
Luminita Dediu (1990-1994): Constructive Algebra. She has currently
a lectureship position with the University ``Dunarea de Jos'', Galati,
Romania.
-
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.
-
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.
-
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.
-
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.
-
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.
-
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:
-
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.
-
``AT02.20 Theory of Computation'' at Asian Institute of Technology is using
the book Theories of Computational Complexity,
http://cs.ait.ac.th/csinfo/courses.html.
-
``Complejidad Algoritmica'', ``Modelos de Informatica Teorica'' and ``Introduccion
a la complejidad algoritmica'' at Universidad De Granada are using Theories
of Computational Complexity:
http://decsai.ugr.es/docencia/li_complejidad.html,
http://decsai.ugr.es/~castro/CA/node20.html.
-
The book Information and Randomness is used for the following courses:
Algorithmische
Informationstheorie at the University of Ulm
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.
-
Standford University: ``Papers and Books for CS 446 and Beyond'' at
http: //www-db.stanford.edu/pub/gio/CS446/biblio.html.
-
Former students home-pages:
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/.
-
S. Wray. Evolutionary Computation, Masters Thesis, University of
Victoria in Wellington,
http://www.mcs.vuw.ac.nz/ stevew/thesis/.
-
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
-
Member, Department Staffing Committee, Department of Computer Science,
University of Auckland, New Zealand, 1998-9.
-
Chair, Graduate Student Support Committee, Department of Computer Science,
University of Auckland, New Zealand, from August 1994 to December 1996.
-
Member, University of Auckland Senate, University of Auckland, New Zealand,
from April 1994 on.
-
Member, Hyper-Media Unit, University of Auckland, New Zealand, from January
1994 to December 1995.
-
Member, Pure Mathematics Committee, School of Mathematical & Information
Sciences, University of Auckland, New Zealand, from May 1993 to December
1999.
-
Member, Standing Committee on Informatics, Board of Studies in Mathematical
& Information Sciences, University of Auckland, New Zealand, from
August 1993 on.
-
Chair, Working Group on Theoretical Computer Science, University of
Auckland, Auckland, New Zealand, from April 1993 on.
-
Dean, Faculty of Mathematics, Hyperion University, Bucharest, Romania,
from October 1991 to October 1992.
-
Member, Appointment and Promotion Committee, Bucharest University, Romania,
from September 1990 to September 1992.
-
Member, Committee on Mathematics Education, Bucharest University, Romania,
from September 1990 to September 1992.
-
Member, Computer Science Ph.D. Committee, Bucharest University, Romania,
from April 1990 on.
-
Member, Library Committee, Faculty of Mathematics, Bucharest University,
Romania, from September 1988 to November 1990.
-
Member, Graduation Executive Committee, Bucharest University, Romania,
from September 1981 to September 1990.
-
Head of the Computer Science Department, School for Computer Science, Bucharest,
Romania, from January 1978 to October 1978.
7.2 Editorial Activity
-
Book Series Editor: Discrete Mathematics and Theoretical Computer Science
Series, Springer-Verlag, Singapore (from 1996 on).
-
Editor-in-Chief, Journal of Universal Computer Science, Springer-Verlag
(from 1994 on).
-
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).
-
Associate-Editor, Handbook of Formal Languages, Springer-Verlag,
Berlin, 1997.
7.3 Conferences and Workshops
7.3.1 Programme Committee
-
First Conference on Theoretical Computer Science and Informatics Technologies,
Eforie, Romania, May 2000.
-
The 8-th International Conference on Algebraic Methodology And Software
Technology (AMAST'2000), Iowa City, USA, May 2000.
-
Third International Colloquium on Words, Languages and Combinatorics,
Kyoto,
Japan, March 2000.
-
Workshop on Constructivity, Complexity and Fuzzyness (CCF'99), Galati,
Romania, August 1999.
-
12th International Symposium on Foundations of Computation Theory (FCT'99),
Iasi, Romania, August-September, 1999.
-
Molecular Computing, A Satellite Workshop to MFCS'98, Brno,
Czech Republic, August, 1998.
-
Randomized Algorithms, A Satellite Workshop to MFCS'98, Brno,
Czech Republic, August, 1998.
-
Computing: the Australian Theory Seminar (CATS'98), Perth, Australia,
January, 1998.
-
Romanian Internet Learning Workshop (``Internet as a Vehicle for Teaching''),
Ilieni, Romania, June 1997.
-
Twentieth Australasian Computer Science Conference (ACSC'97), Sydney,
Australia, February, 1997.
-
Computing: the Australian Theory Seminar (CATS'97), Sydney, Australia,
January, 1997.
-
International Conference Discrete Mathematics and Theoretical Computer
Science (DMTCS'96), Auckland, New Zealand, December, 1996.
-
Summer School ``Chaitin Complexity and Applications'', Black Sea
University, Mangalia, Romania, July 1995.
-
The 22nd International Colloquium on Automata, Languages, and Programming
(ICALP'95), Szeged, Hungary, July 1995.
-
Symposium Salodays in Auckland, The University of Auckland, Auckland,
New Zealand, February, 1994.
-
The 9th Romanian Symposium on Computer Science'93 (ROSYCS'93), Iasi,
Romania, 1993.
-
National Colloquium Info-Iasi, Iasi, Romania, 1983, 1985, 1987,
1989.
7.3.2 Organising Committee
-
Workshop on Multiset Processing (Mathematical, Computer Science, Molecular
Computing Approaches), Curtea de Arges, Romania, August 2000.
-
Workshop on Constructivity, Complexity and Fuzzyness (CCF'99), Galati,
Romania, August, 1999.
-
DMTCS'99-CATS'99, University of Auckland, Auckland, New Zealand,
January, 1999. (Chair)
-
The Second Japan-New Zealand Workshop on Logic In Computer Science,
University of Auckland, Auckland, New Zealand, October, 1998. (Co-chair)
-
The First International Conference UMC'98, Unconventional Models of
Computation, University of Auckland, Auckland, New Zealand, January,
1998. (Chair)
-
The First Japan-New Zealand Workshop on Logic In Computer Science,
University of Auckland, Auckland, New Zealand, August, 1997. (Co-chair)
-
International Conference DMTCS'96, Discrete Mathematics and Theoretical
Computer Science, Auckland, New Zealand, December, 1996. (Co-chair)
-
Summer School ``Chaitin Complexity and Applications'', Black Sea
University, Mangalia, July, 1995. (Chair)
-
Symposium Salodays in Auckland, University of Auckland, Auckland,
New Zealand, February, 1994. (Chair)
-
Conference Does God Play Dice?, University of Auckland, Auckland,
New Zealand, February, 1993. (Chair)
-
Symposium SALODAYS in Theoretical Computer Science, Bucharest University,
Bucharest, Romania, June, 1992. (Co-chair)
-
Workshop There Are Only 3000 Days Before the Year 2000, Romanian
Academy, Bucharest, Romania, 1991. (Co-chair)
-
Workshop on Mathematics and Computer Science Education for the 21th
Century, Romanian Academy and CEPES-UNESCO, Bucharest, Romania, 1990.
(Co-chair)
-
Workshop How to Cope with Complexity, Romanian Academy, Bucharest,
Romania, 1988. (Chair)
-
Symposium on Mathematics and Computer Science dedicated to the 60th
Birthday Anniversary of Professor Solomon Marcus, Bucharest University,
Bucharest, Romania, March, 1985.
-
Symposium on Human Needs (Project GPID), UNU, Tokyo and CEPES-UNESCO,
Bucharest, Romania, 1980.
7.3.3 Session Chair
-
DLT'99 (Developments in Language Theory), Aachen, Germany, July
1999.
-
ITALLC'98, Third International Conference on Information-Theoretic
Approaches to Logic, Language, and Computation, Hsi-tou, Taiwan, June,
1998.
-
CATS'96 (Computing: the Australian Theory Seminar), Melbourne, Australia,
January, 1996.
-
Open Problem Session, Summer School ``Chaitin Complexity and Applications'',
Black Sea University, Mangalia, July 1995.
-
Symposium Results and Trends in Theoretical Computer Science, Graz,
Austria, June, 1994.
-
Symposium Salodays in Auckland, University of Auckland, Auckland,
New Zealand, March, 1994.
-
Section P4: Theory of Computer Science-Research & Teaching, Informatics
Workshops 1993, University of Auckland, New Zealand, August, 1993.
-
Section: Formalism and Software Engineering, 13th N.Z. Computer Society
Conference, Auckland, New Zealand, August, 1993.
7.4 External Evaluator
-
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.
-
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.
-
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.
-
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.
-
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.
-
Reviewer for Mathematical Reviews (from 1976 on), Zentralblatt
für Mathematik (from 1979 on), Computing Reviews (from
1983 on).
-
Referee for the publishing houses Academiei, and Stiintifica,
(Romania), Springer-Verlag (Heidelberg), Scientific World
(Singapore).
7.5 Reader of Ph.D. and Masters Theses
-
Lynda E. Robbins. Modelling Cryptographic Systems, University of
Western Ontario, London, Canada, 1998 (Ph.D. Thesis).
-
Kahn Mason. Notes on the Parallel Decomposition Theory for Finite State
Machines, Canterbury University, New Zealand, 1998 (Masters Thesis).
-
John Pearson. Heuristic Search in Route Finding, University of Auckland,
New Zealand, 1998 (Masters Thesis).
-
Robin Siale Havea. Constructive Operator Theory on Hilbert Space, Waikato
University, Hamilton, New Zealand, 1998 (Masters Thesis).
-
Yuchuan Wang. Constructive Theory of Partial Differential Equations,
Waikato University, Hamilton, New Zealand, 1996 (Ph.D. Thesis).
-
Robert Blandford. Type Algebra, University of Auckland, New Zealand,
1996 (Masters Thesis).
-
Hacic-Cristian Kevorchian. Reasoning by Analogy and Applications to
Automated Theorem-Proving, Bucharest University, Romania, 1995 (Ph.D.
Thesis).
-
Klaus-Hilmar Sprenger. Hierarchies of Primitive Recursive Functions
on Term Algebras, Universität-GH-Siegen, Germany, 1995 (Ph.D.
Thesis).
-
Rodica Ceterchi. Topology, Categories, Learning, Bucharest University,
Romania, 1992 (Ph.D. Thesis).
7.6 Professional Societies
-
American Mathematical Society, from 1976 on.
-
Romanian Mathematical Society, from 1976 to 1990.
-
European Association for Theoretical Computer Science, from 1983
on.
-
New Zealand Computer Science Society, from 1993 to 1995.
-
New Zealand Mathematical Society, from 1993 on.
-
European Association for Computer Science Logic, from 1994 on.
-
Kurt Gödel Society, from 1996 on.
-
European Mathematical Society, from 1997 on.
-
The Royal Society of New Zealand, from 1997 on. (member)
-
International Scientific Council, Black Sea University, Bucharest,
Romania, 1994 on.
-
New York Academy of Sciences, 1994-1996.
-
Council of the European Association for Theoretical Computer Science,
1995-2000.
8 Special Recognition
-
Mathematical Student Prize, Faculty of Mathematics, Bucharest University,
Romania, 1975.
-
Computing Reviews Award, Association for Computing Machinery, New
York, USA, 1986.
-
Gheorghe Lazar Mathematics Prize, Romanian Academy, Romania, 1988.
-
1994 New Zealand Computer Science Visiting Lecturer.
File translated from TEX by TTH,
version 2.25.
On 8 Mar 2000, 07:48.