Charles Alexander Stewart

Personal Information

I am a postdoctoral researcher in theoretical computer science associated with the International Centre for Computational Logic at Technische Universitaet Dresden. In the past, I have been associated with the Theory and Formal Specifications group of Technische Universitaet Berlin, the Linear Naming and Computation section of the Church Project at Boston University, the Department of Computer Science at Brandeis University, and the Foundations of Computation section of the Programming Research Group at Oxford University.

Research Interests

My research interests include:

• Structural proof theory:
  • Deep inference and the Calculus of structures;
  • Natural deduction, sequent calculus, and applications to programming language design and implementation;
  • Modal logic and display logic;
• Programming language theory:
  • Optimal reductions in the lambda calculus;
  • Linear naming and graph reduction, interaction nets;
  • Continuations in theory and practice;
  • Relationships between functional and logic programming;
• Graph transformation:
  • Graph transformation and the design of distributed algorithms;
  • Expressing sharing using graph formalisms;
  • Expressing transformations between graph rewrite systems by means of graph rewrite systems;
  • Modularity;
• Semantics of logic:
  • Inferential role semantics;
  • Proof-theoretic semantics, formulae-as-types correspondence for equality and classical logic;
  • Martin-Loef's type theory, impredicative type theory;
  • Relationships to the philosophy of language.

You can see a more detailed summary of my research interests, the chronology from my resumé, and my publications and abstracts of talks delivered by following the links. These may be somewhat out of date.

My teaching activity, both current and past is summarised here, together with an overview of my refereeing policy and activity.

How to reach me

Department Mailing Address

Knowledge Representation and Reasoning Group
Artificial Intelligence Institute
International Centre for Computational Logic
Technische Universitaet Dresden
Fakultaet Informatik
D - 01062 Dresden
GERMANY

Telephone, Fax and Email

• Office in Dresden: Room 404, Hans-Grundig-Str. 25, Dresden-Johannstadt
• Telephone:
  • Daytime in Dresden: International +49 (351) 463-38520
  • Fax in Dresden: International +49 (351) 463-38342
    
  • Daytime in Berlin: International +49 (30) 81896170
  If I am not in either Dresden or Berlin, it is normally possible to leave messages, either voice or SMS, on the Berlin number above.
• Email: cas@janeway.inf.tu-dresden.de

Research Interests | Chronology | Publications and Talks