Stefano Volpe

formal sciences addict

Mozart, Beethoven and Chopin never died. They simply became music.
(Nolan & Joy, 2016)

Hi there! Stefano here. I am a graduate student in Logic and Mathematics at the Institute for Logic, Language and Computation of the University of Amsterdam.

Worldview

While material resources may be limited on this planet, information can be shared for free nowadays. The more people can access a valuable piece of information, the more people verify its value and build upon it. This applies to scientific research (Open Access), software (Free Software), public institutions' data (Open Data), and much more. In my assessment, cooperation is necessary for us to take care of each other on a global scale. Tech Giants apparently have different idols, such as individualism, trade secrecy, junk science, opacity, monopoly, Kafkaesque user experience, Orwellian user tracking, tax dodges, social inequality, exploitation of the global South, consumerism, and social hypocrisy. As a student, a software user, and a citizen, I know it is part of my duty to responsibly keep my affiliation with their "products" to a minimum.

Tastes

Smash

Pass

logic machine learning
algebra computer networks
theoretical computer science cybersecurity
type theory databases
game theory statistics
algorithms engineering
functional programming big data
logic programming app/web development
linear programming operative systems
probability numerical computing

Curriculum Vitae

You may view and download my CV from here.

Contact

-----BEGIN PGP PUBLIC KEY BLOCK-----

mDMEZMAT2xYJKwYBBAHaRw8BAQdAgmKGQgmbys5PAp7uLvD22eFgyE2LE/RB974q
Kbk8lkS0OlN0ZWZhbm8gVm9scGUgKGZveHktbGFwdG9wKSA8c3RlZmFuby52b2xw
ZUBzdHVkZW50LnV2YS5ubD6IkwQTFgoAOxYhBEUSl0bSI0flY7of0URyXTi/1nyy
BQJkwBPbAhsDBQsJCAcCAiICBhUKCQgLAgQWAgMBAh4HAheAAAoJEERyXTi/1nyy
pNcBAJH5zOIyleYNUwCjxoulh8yNnDh/xNo8u/DT9ShhnwQ6AP9bSAFEX6t1PaKR
9G90w/2zQDOgq8QLY0Ph4b4yl//HDLg4BGTAE9sSCisGAQQBl1UBBQEBB0BBSa0y
BB0lGFCRqgCmcyTRxtiLKDW9wpH1gvvPIzjlAgMBCAeIeAQYFgoAIBYhBEUSl0bS
I0flY7of0URyXTi/1nyyBQJkwBPbAhsMAAoJEERyXTi/1nyyL0MA/3uTawC2wm0h
LXH2UAJXMWD2cR4UI9eY6RxayJJPiA1AAQCet3MwE7YILHKqiN+xLC/pArA5E6MC
JNWBmonwubAqCA==
=yfv2
-----END PGP PUBLIC KEY BLOCK-----