about me
[will maybe find a photo]
Aglaia Norza
rome, italy
university student
i'm currently finishing up the third year of my bsc in computer science @ sapienza; i'm very interested in logics (computational and classical), computability, formal methods, and anything related.
outside of uni, i spend most of my time making very specific playlists, drinking tea, and consuming any type of medium.
INTERESTS:
logics!!
- classical and computational logics
- formal methods, automata- + game-theoretic approaches
things i would love to explore (but don't know enough about yet):
- automated deduction
- type theory & category theory
- (more) semantics of programming languages
literature / poetry
- i am very weak to fitzcarraldo editions
- some of my favourite works (excluding obvious picks e.g. camus/dostoevsky) include the wasteland, the years, anything Han Kang, drive your plough over the bones of the dead, água viva, Anne Carson's works, Sarah Kane's pieces & various poetry
music
- i'm slowly building a CD collection !
- i enjoy anything from classic rock to more modern stuff (e.g. bowie, dire straits, bruce springsteen, air, italian cantautorato, nina simone, radiohead, daft punk, massive attack, fontaines dc... (i have most of the music i listen to on my spotify !))
cinema
- i enjoy melancholic, often dreamlike (sometimes existential ?) films
- wong kar-wai is probably my favourite director
visuals & design
- i make small graphics in my spare time
- i really like collages/mixed media/type-heavy designs
i'm extremely fascinated by language ! currently catching up with some philosophy of language and plan to learn about linguistics as well
- i am very fond of wittgenstein
my blog
a digital garden of sorts. a place where i talk about what i find interesting, share inspirations, and ramble about whatever's on my mind. [not very academic].
EDUCATION:
BSc in Computer Science
Sapienza University · Rome
September 2023 - July 2026
Classical High School
Liceo T. Tasso · Rome
2018 - 2023