_people/cerone.md · c50e41893e03bcf1e1b04bab822417191ee88926 · xr119 / psvg.doc.ic.ac.uk · GitLab

Snippets Groups Projects

Forked from Verified Software / psvg.doc.ic.ac.uk

1258 commits behind the upstream repository.

8 years ago
c50e4189

Add Andrea. · c50e4189
Shale XIONG authored 8 years ago

c50e4189

History

Add Andrea.
Shale XIONG authored 8 years ago

  cerone.md  173 B 
  
   
Edit single file  
              Edit this file only.
            
 
         

firstname: Andrea
lastname: Cerone
position: Research Associate
webpage: https://www.doc.ic.ac.uk/~acerone/
email: a.cerone@imperial.ac.uk
projects:
  - concurrency