The University of Insubria.
The University of Insubria The University of Insubria The University of Insubria The University of Indubria
The University of Insubria The University of Insubria logo The University of Insubria image bar  
The University of Insubria
The Univsersity of Insubria

 
The University of Insubria CV
The University of Insubria CV
The University of Insubria CV The University of Insubria CV Robert Frank Carslaw Walters
The University of Insubria CV
 

Contact data

Associate Professor
Department of Computer Science and Communication
via Valleggio 11,
Tel: 0312386374
E-mail: robert.walters@uninsubria.it

 

Biography

Born in Brisbane, Australia, March 5,1943.
Married, with three children, Benjamin James, Michael Stuart, Sofia Elisabetta.
Resident in Italy from 1998.

Principal research interests: Theory of Continued Fractions, Universal Algebra, Topos Theory, Category Theory (2-categories, Enriched categories, categories, bicategories, distributive and extensive), Computational Algebra, Theory of Automata and of Concurrency.

In 1971 founder, with R.H. Street, of "The Sydney Category Seminar", still active to 2005.

Has participated, presenting works and as program committee member, at numerous Australian, Italian and international conferences.

Member of the editorial committee of the journals:
Bulletin of the Australian Mathematical Society, 1979-1982,
Theory and Applications of Category Theory, from 1995.

Has received research grants from the Australian Research Council, in the years 1986–1999. Has participated in projects COFIN MIUR (ex MURST): "Tecniche formali per la specifica, l'analisi, la verifica, la sintesi e la trasformazione di sistemi software", “Tipi di Ordine Superiore e Concorrenza” (TOSCA), “Metamodelli Computazionali” (COMETA).

Has held the positions of:
Research Associate, per Prof. Saunders Mac Lane, University of Chicago, in the period January-May 1970.
Lecturer in Pure mathematics, University of Sydney, N.S.W. Australia, 1970-1976.
Senior Lecturer in Pure mathematics, University of Sydney, 1977-1989.
Associate Professor, University of Sydney, 1989-1999.
Honorary Associate Professor, University of Sydney, from 1999.
Contract Professor, University of Insubria, for the corse of Algebra Computazionale, Corso di Laurea in Matematica, A.A.1998-99, 1999-2000, 2000-2001.
Associate Professor, at the University of Insubria, scientific sector INF-01, from 2001-2002.

 

Qualifications and awards

B.Sc.(Bachelor of Science) , University of Queensland, First Class Honours, 1964.

M.Sc.(Master of Science) , University of Queensland, 1966, with a thesis entitled "Some topics in the theory of diophantine approximation", supervisor Prof. C.S. Davis.

Ph.D., Australian National University, 1970, with a thesis entitled "A categorical approach to universal algebra", supervisors Professors Bernhard & Hanna Neumann.

 

Research interests

Principal research interests: Theory of Continued Fractions, Universal Algebra, Topos Theory, Category Theory (2-categories, Enriched categories, bicategories, distributive and extensive), Computational Algebra, Theory of Automata and of Concurrency.

 

Teaching experience and appointments

Has taught courses in Linear algebra, Theory of Numbers, Geometry, Category Theory, Complex analysis, Linear programming, Differential equations, Lebesgue integration, Logic, Sheaf theory, Calculus I, Mathematics for Agriculture students, Categories and Computer Science, Bicategories and concurrency, Computational algebra, Operating systems.

Has supervised 8 Ph.D. students.

Has written books on Calculus, Number Theory, and Categories for computer science.

 

Representative  publications

K. R. Matthews and R.F.C. Walters. Some properties of the continued fraction expansion of (m/n)e^(1/q). Cambridge Philosophical Society, 67:67--74, 1970.

R. H. Street and R.F.C. Walters. Comprehensive factorization of a functor. Bull. Amer. Math. Soc., 79:936-941, 1973.

R.H. Street and R.F.C. Walters. Yoneda structures on 2-categories. Journal of Algebra, 50:350--379, 1978.

R.F.C. Walters. Sheaves on sites as Cauchy-complete categories. Journal of Pure and Applied Algebra, 24:95-102, 1982.

R. Betti, A. Carboni, R.H. Street, and R.F.C. Walters. Variation through enrichment. Journal of Pure and Applied Algebra, 29:109-127, 1983.

M.S. Johnson and R.F.C. Walters. The nerve of an n-category. Cahiers de Top. et G'eom. Diff., 257-282, 1987.

A. Carboni and R.F.C. Walters. Cartesian bicategories I. Journal of Pure and Applied Algebra, 49:11-32, 1987.

R.F.C. Walters. Categories and Computer Science. Cambridge University Press, 1992.

S. Carmody and R.F.C. Walters. Computing quotients of actions of a free category. Springer Lecture Notes in Mathematics, 1488:63-78, 1991.

M.S. Johnson and R.F.C. Walters. Algebra objects and algebra families for finite limit theories. Journal of Pure and Applied Algebra, 83:283-293, 1992.

W. Khalil and R.F.C. Walters. An imperative language based on distributive categories II. Informatique Th'eorique et Applications, 27, 503-522, 1993.

A. Carboni, S. Lack, and R.F.C. Walters. Introduction to extensive and distributive categories. Journal of Pure and Applied Algebra, 84:145-158, 1993.

G. M. Kelly, S. Lack, and R.F.C. Walters. Coinverters in categories with structure. Applied Categorical Structures, 1:95-102, 1993.

M. Leeming, R.F.C. Walters, A new application of the Todd-Coxeter procedure: computing left adjoints of algebraic functors. Proceedings CANT 1992, Ed W

Bosma, A van der Poorten, Mathematics and its Applications, 325:53-73, 1995

W. Khalil, E. Wagner, R.F.C. Walters, Fixpoint semantics for programs in distributive categories. Fundamenta Informaticae, 22:187-202, 1995

S. Bloom, N. Sabadini, R.F.C. Walters, Matrices, machines and behaviors. Applied Categorical Structures, 4, 343-360, 1996

N. Sabadini, S. Vigna, R.F.C. Walters, A note on recursive functions, Mathematical Structures in Computer Science, 6:127-139, 1996.

P. Katis, N. Sabadini, R.F.C. Walters, Bicategories of processes. Journal of Pure and Appled Algebra, 115:141-178, 1997.

P. Katis, N. Sabadini, R.F.C. Walters, Span(Graph): an algebra of transition systems, Proceedings AMAST '97, SLNCS 1349, 322-336, 1997

R. Rosebrugh, N. Sabadini, R.F.C. Walters, Minimal realization in bicategories of automata, MSCS, 8:93-116, 1998

P. Katis, N. Sabadini, R.F.C. Walters, A formalisation of the IWIM Model. in: Proc. COORDINATION 2000,(Eds.) Porto A., Roman G.-C., LNCS 1906:267-283, Springer Verlag, 2000.

P. Katis, N. Sabadini, R.F.C. Walters, On the algebra of systems with feedback & boundary, Rendiconti del Circolo Matematico di Palermo Serie II, Suppl. 63
(2000), 123-156

P. Katis, R.F.C. Walters, The compact closed bicategory of left adjoints, Math. Proc. Camb. Phil. Soc., 130, 77-87, 2001.

F. Gadducci, U. Montanari, P. Katis, N. Sabadini, R.F.C. Walters, Comparing Cospan-spans & Tiles via a Hoare-style process calculus, 152-171,
ENTCS 62, TOSCA Udine November 2001.

P. Katis, N. Sabadini, R.F.C. Walters, Feedback, trace and fixed-point semantics , Theoret. Informatics Appl. 36:181-194 (2002)

N. Sabadini, R.F.C. Walters, Hierarchical automata and P systems, CATS ’03, ENTCS 78, 1-15, 2003.

M.R. Bush, M. Leeming, R.F.C. Walters, Computing left Kan extensions, 35/2 107-126, J. Symbolic Computation, 2003.

P. Katis, N. Sabadini, R.F.C. Walters, Compositional minimization in Span(Graph): Some examples, Electronic Notes in Theoretical Computer Science 104C, pp. 181-197, 2004.

A. Cherubini, N. Sabadini, R.F.C. Walters, Timing in the Cospan-Span Model, Electronic Notes in Theoretical Computer Science 104C, pp. 81-97, 2004.

R. Rosebrugh, N. Sabadini, R.F.C. Walters, Generic commutative separable algebras and cospans of graphs, Theory and Applications of Categories, 15, 264-177, 2005.

 
   
leftmenu univ of insubria
 
 
 
CV CV