Julian Gutierrez Research Postgraduate Student (PhD) Laboratory for Foundations of Computer Science (LFCS) School of Informatics University of Edinburgh Edinburgh, Scotland United Kingdom

Office: JCMB 3311. The King’s Buildings. Edinburgh EH9 3JZ. UK.
Tel: +44 (0)131 650 6013
Email: J.E.Gutierrez at ed.ac.uk

Research interests
Computational Logic and Concurrency Theory
Formal specification and verification of Concurrent, Distributed and Reactive Systems
Process Algebras and Independence Models

Education
Publications
Research and Teaching Experience
More...

Updated 17 Dec. 2007