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