photo

Dr. John Glauert

Information Systems Staff



Personal Details

Education:    1973-1976    Cambridge University: BA in Natural Sciences
              1976-1977    Manchester University: MSc in Computer Science
              1980         Cambridge University: MA in Natural Sciences
              1978-1981    Cambridge University: PhD in Computer Science
Employment:   1981-1983    Research Associate, Manchester University 
              1984-1990    Information Technology Lecturer, University of East Anglia
              1991-Present Senior Lecturer in Computing Science, University of East Anglia

Dr Glauert is a member of the Declarative Systems Engineering research group.


Recent Research Grants:

1992-1995 "Multi-Paradigm Programming through Graph Rewriting" ~ £76k
SERC

1992-1994 "SemaGraph II: The Semantics and Pragmatics of Extended Term Graph Rewriting"
ESPRIT III Working Group: Lead Partner with Imperial College, University of Nijmegen, CWI Amsterdam, European Computer-Industry Research Centre, (with Prof. M.R. Sleep and Dr. J.R. Kennaway)

Research Interests

Reasearch background of the Principal Investigator.

Here is a manifesto statement I made some time ago:


A manifesto for the Multi-Paradigm approach to Declarative Systems

Selected Recent Publications

1994

"On Relative Normalisation in Orthogonal Expression Reduction Systems" J.R.W. Glauert, and Z. Khasidashvili
CTRS Workshop (ICALP 94, Jerusalem, July 14-15)
LNCS, To Appear, 1994.

1993

"A New Process Model for Functions" J.R.W. Glauert, L. Leth, and B. Thomsen
in "Term Graph Rewriting: Theory and Practice",
M.R. Sleep, M.J. Plasmeijer, and M.C.J.D. van Eekelen (eds), Chapter 18,
Wiley, 1993.

1992

"Parallel Implementation of Functional Languages Using Small Processes" J.R.W. Glauert
Proceedings, International Workshop on Parallel Implementation of Functional Languages, RTWH Aachen, September 1992.

"Asynchronous Mobile Processes and Graph Rewriting" J.R.W. Glauert
Proceedings PARLE'92, Champs Sur Marne, Paris, June 1992.
Lecture Notes in Computer Science Vol 605, Springer-Verlag, 1992.

1991

"Unifying Concurrent Logic and Functional Languages in a Graph Rewriting Framework" J.R.W. Glauert and G.A. Papadopoulos.
Proceedings, 3rd Panhellenic Computer Science Conference, Athens, May 1991.

"Dactl: An Experimental Graph Rewriting Language" J.R.W. Glauert, J.R. Kennaway, and M.R. Sleep.
Proceedings, 4th International Workshop on Graph Grammars, Bremen, 1990.
Lecture Notes in Computer Science Vol 532, Springer-Verlag, 1991.

1989

"Lean: An Intermediate Language Based on Graph Rewriting" H.P. Barendregt, M.C.J.D. van Eekelen , J.R.W. Glauert, J.R. Kennaway, M.J. Plasmeijer, and M.R. Sleep.
Parallel Computing, Vol 9, p163-177. 1989.

Recent External Reports and Presented Papers

"Process Models for Functions" J.R.W. Glauert, L. Leth, B. Thomsen,
Magic Note Nr.25,
European Computer-Industry Research Centre, Munich, March 1992.

Theses

"Evaluating Recursive Relational Queries Modelled by Networks of Coroutines" J.R.W. Glauert.
PhD Thesis, University of Cambridge, January 1984.

"A Single-Assignment Language for Dataflow Computing" J.R.W. Glauert.
MSc Thesis, Victoria University of Manchester, January 1978.

External Research Seminar Presentations


Staff List / SYS Home
John Glauert / www.admin@sys.uea.ac.uk