SPLASH 2023 (series) / Luís Caires
![Luís Caires](https://2023.splashcon.org/getProfileImage/luiscaires/cd1144c1-f8a2-44dc-8425-c04df2423328/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
SPLASH 2023-profile
View general profile
View general profile