Gabriel Dos Reis
0000-0002-1908-1424
Publication & Citation Trends
Publications
0 total
No publications found.
Research Topics
Logic, programming, and type systems
(24)
Parallel Computing and Optimization Techniques
(15)
Advanced Software Engineering Methodologies
(12)
Software Engineering Research
(8)
Formal Methods in Verification
(5)
Affiliations
Délégation Paris 5
University of North Carolina at Chapel Hill
École Normale Supérieure Paris-Saclay
Universidade Federal do Rio de Janeiro
Microsoft (United States)