Nikos Mylonakis (Research Student)


Email: nikos@dcs.ed.ac.uk
Phone: (+44) (0)131-650-5168
Room: 1414
Non-dcs contact: Universitat Politecnica de Catalunya (UPC) in Barcelona (SPAIN).
Department of Computer Science
The University of Edinburgh
James Clerk Maxwell Building
The King's Buildings
Edinburgh EH9 3JZ, UK

Department Office: (+44) (0)131-650-5129
Department Fax: (+44) (0)131-667-7209

Research Interests

Algebraic Specifications and Type Theory.

My Home Page

The department's telephone list