![Luís Caires](https://icfp24.sigplan.org/getProfileImage/luiscaires/019ae02e-ff01-4b8f-93eb-356665812a5d/small.jpg?1711712833000)
Registered user since Fri 27 Apr 2018
Name:Luís Caires
Country:Portugal
Affiliation:INESC-ID / Instituto Superior Tecnico, University of Lisbon
Personal website: http://web.tecnico.ulisboa.pt/luis.caires
Research interests:Software Construction, Programming Languages, Concurrency, Trustworthy Computing, Software Verification
Contributions
Using general profile