Simão Melo de Sousa

Registered user since Fri 19 Jun 2020

Name:Simão Melo de Sousa
Bio:

Learning stuff, doing things and explaining them.

Affiliation:NOVA LINCS & Universidade da Beira Interior, Portugal

Contributions

OCaml 2021 Author of Deductive Verification of Realistic OCaml Code within the OCaml 2021-track
MSR 2019 Author of GreenHub Farmer: Real-world data for Android Energy Mining within the MSR 2019 Data Showcase-track