Personal profile
Research areas
This webapp is proprietary software provided by yet another parasitic publisher, Elsevier. They commit too many crimes to list them all in this textbox:
- https://ijmsweb.com/who-are-the-real-parasite-publishers-and-journals-what-prevents-all-medical-data-from-being-open-access-in-real-time/
- https://pmc.ncbi.nlm.nih.gov/articles/PMC6740196/
- ...
Good taxpayers' money got slurped by Elsevier's criminal wallet for this webapp.
Education/Academic qualification
Logic, M.Sc., University of Amsterdam
1. Sept 2023 → 27. Aug 2025
Computer Science, B.Sc., University of Bologna
30. Sept 2020 → 17. Jul 2023
Keywords
- Programming Languages And formal Models
- semantics
- higher-order languages
- structured operational semantics
- operational semantics
- mathematical structured operational semantics
- formalisation
- proof assistants
- Modern Logic
- category theory
- type theory
- formalisation
- proof assistants
- Functional Programming
- higher-order languages
Fingerprint
Dive into the research topics where Stefano Volpe is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Researchers