Theoretical Computer Science Group at CSE (AKA the Theory Group)

Members maintain their own pages where research interests, publications, etc can be found.

Membership

At CSE:

• Ralf Huuck
• Aleksandar Ignjatovic
• Eric Martin
• Ron van der Meyden
• Carroll Morgan

At Data61:

• Rob van Glabbeek

Current Students

• Robert Sison

Former members:

• Franck Cassez
• Kai Englehardt
• Peter Höfner
• Xiaowei Huang
• John Plaice
• Arthur Ramer