| PEOPLE 
            > Research Staff > Diana De Pinho Costa | 
             
             
            
             
            Diana De Pinho Costa 
             
            Role: 
            Research Assistant 
            (No photo available) 
            Contact Details: 
            University College London 
Computer Science 
Gower Street 
London WC1E 6BT 
United Kingdom 
			 
            Office: EFB3.08 
              Tel: +44 (0)20 7679 TBA (Direct Dial) 
              Internal: TBA 
              Fax: +44 (0)20 7387 1397 
              Email: D.DePinhoCosta (at) cs.ucl.ac.uk 
             
            Group: 
            Programming Principles, Logic, and Verification 
            Personal Pages: 
            http://www0.cs.ucl.ac.uk/staff/D.DePinhoCosta// 
             
           |